aDyslecticCrow

11 ms·

1.
by aDyslecticCrow 3d ago
... Darn. (read my username)
2.
by aDyslecticCrow 4d ago
I have the habbit to serach for words to verify their spelling. Very costly habbit when i got kagi. When i do actually use it for search; it's amazing... assuming I've not already burnt my quota.
3.
by aDyslecticCrow 4d ago
contract is way wider than simple refinement types. Refinement types are just a very specific group of invariants. Contracts are an attempt to include formal specification languages into the implementation languages. You can enforce valid a
4.
by aDyslecticCrow 9d ago
Mabie hand-rolling LLVM IR representations would count.
5.
by aDyslecticCrow 9d ago
> You could attempt to make the claim that assembly is no longer a low-level language Assembly expose instructions that C was never meant to work with. Compilers force C to do so anyway. If you had a compiler that converted 8086 x86 asse
6.
by aDyslecticCrow 9d ago
The article does make an example quite early; > GPUs achieve very high performance without any of this logic, at the expense of requiring explicitly parallel programs. GPU cores are in some ways closer to "PDP-11", they're
7.
by aDyslecticCrow 10d ago
> You should not use LLMs without disclosure because LLMs at bad at writing. That's not how i read the article. The author more-so claims that the proof of effort by a human was large part of the credibility to the writing; Proof th
8.
by aDyslecticCrow 11d ago
> 6-deep nested if/else blocks We found a 4000 Loc single-file single-function c program running a functional safety domain. With nesting so deep that you need to change the font-size or get a wider monitor. We're not allowed t
9.
by aDyslecticCrow 11d ago
> LLMs, there’s really no excuse I'd phrase it differently; we're now able to accumulate technical debt faster than ever, without even building the institutional knowable needed to keep it sane. While the models writes novels a
10.
by aDyslecticCrow 14d ago
Low cost of wealth accumulating snowballs those that have alot of said wealth accumulated. Look at swedens wealth inequality (gini coefficient) statistics to get a somber example. Counter intuitive enough; making borrowing harder, and wealt
11.
by aDyslecticCrow 14d ago
Gah! the first two graphs were fair so i dropped me guard. Ye this piss me off.
12.
by aDyslecticCrow 24d ago
That workflow itself is what the author is calling a "vibetax". Models are getting worse for users that must review every line of code the models edits or adds. Models are writing more line of code, changing more lines of code,exe
13.
by aDyslecticCrow 24d ago
Forgot where i saw it discussed; If you observe recent model benchmarks over the past year; the performance is slowly climbing, but if you divide by the token count; the score per token is dropping. The current trend in state-of-art LLM cod
14.
by aDyslecticCrow 1mo ago
LLMs are surprisingly bad at basic CMake, but i don't see why they should be. Much of the truly LLM-difficult code is probably hiding in the libraries we import. Database engines, compilers, efficient data parser, control theory, sign
15.
by aDyslecticCrow 1mo ago
You didn't read the whole article; it's not a scam, it's a new official cloud-flare product.
16.
by aDyslecticCrow 1mo ago
> "The high end - the real talent - still stands out" It's a shame we made it economically infeasible to ever more produce or pursue. The value of even mediocre art used to be that it still took a human somewhere hundreds
17.
by aDyslecticCrow 1mo ago
Most artists would prefer you to steal their art than paying a multi billion dollar company to steal it for you and make a worse inaccurate copy. And there are petabytes large free or cheap archives of clip-art, diagrams, and illustrations
18.
by aDyslecticCrow 3mo ago
> jobs displaced by industrialization This argument is cute and all, but ... does a data-point of 1 from 200 years ago really give us much confidence? We replaced physical labor with a massive service sector. Now we're automating t
19.
by aDyslecticCrow 3mo ago
Yes, that's very nice. But that's very different models from LLMs and slop image generators. AI as a term has been butchered beyond recognition; when mentioning the current harm of AI investor hype and job automation, people are t
20.
by aDyslecticCrow 4mo ago
An inference only platform selling good open weight model inference without the research overhead could capture a-lot of market for lower size model uses (haiky, gemeni flash). Diffusion-transformers and clever cashing can drop inference ev
21.
by aDyslecticCrow 4mo ago
LEB128 can only trick you by at most one byte, (depending on the followup data). Bijou64 can consistently trick you by 8 bytes. In a contrived example of a pbuf {length:int, payload:byte[1]} LEB128 can trick you into reading the payload as
22.
by aDyslecticCrow 4mo ago
Clever, but one thought crossed my mind; An adveserial package can claim to have a 255 tagged integer but not actually have any followup, tricking the payload parser into an incorrect offset and reading straight off into followup memory. It
23.
by aDyslecticCrow 4mo ago
So we should give up regulating them? All stored are internet stores.
24.
by aDyslecticCrow 4mo ago
But western brands can be sued or made liable with fines when a house burns down, which force them a minimum level of caution or risk-assessment when designing and selling their product. A random Chinese drop-shipper that vanish into smoke
25.
by aDyslecticCrow 4mo ago
Neither does; Mercury lamps, Asbestos insulation, Freon refrigerant. It poses issues when disposed off, and is banned for a reason.
26.
by aDyslecticCrow 4mo ago
Passing the CE certification is annoying, but hardly a significant cost compared to design of the product. Notably, the law forces companies to put their ass on the line if things to wrong, by registering their name to the product they prod
27.
by aDyslecticCrow 4mo ago
Could we interest you in some amazons choice fuses? never more be concerned about replacing a fuse! as these ones, simply wont need replacing! (they survive 5-10x their rated current) https://youtu.be/B90_SNNbcoU
28.
by aDyslecticCrow 4mo ago
And architectures. Probably a bunch of build servers or a swarm of docker, qemu, and VMs, with a good test coverage to detect behaviour differences. In practice, the compiler is an often an omitted dependency of any c code.
29.
by aDyslecticCrow 4mo ago
Patents is not the issue here. Not even close. The up-front investment of a memory fab is measured in billions, and takes years to construct and get running. The margin on the chips themselves is terrible, so without scale its not worth eve
30.
by aDyslecticCrow 4mo ago
Not using JavaScript would also make the crawler fail on squarespace and wix website builders. The age where the web was usable at all without JavaScript is long gone. No scraper would get much scraping done without JavaScript these days.

More ›