... Darn. (read my username)
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.
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.…
Mabie hand-rolling LLVM IR representations would count.
> 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…
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",…
> 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…
> 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…
> 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…
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…
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…
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,…
You didn't read the whole article; it's not a scam, it's a new official cloud-flare product.
> "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…
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,…
> 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…
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,…
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…
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…
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…
So we should give up regulating them? All stored are internet stores.
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…
Neither does; Mercury lamps, Asbestos insulation, Freon refrigerant. It poses issues when disposed off, and is banned for a reason.
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…
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
... Darn. (read my username)
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.
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.…
Mabie hand-rolling LLVM IR representations would count.
> 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…
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",…
> 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…
> 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…
> 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…
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…
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…
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,…
You didn't read the whole article; it's not a scam, it's a new official cloud-flare product.
> "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…
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,…
> 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…
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,…
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…
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…
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…
So we should give up regulating them? All stored are internet stores.
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…
Neither does; Mercury lamps, Asbestos insulation, Freon refrigerant. It poses issues when disposed off, and is banned for a reason.
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…
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