← Feed

Posts

• View post

  Did anybody notice the Anthropic article the other day demonstrating instruction-level formal verification of FOSS libraries? I notice that one of the target libs was `simdjson`. Their compilation target was riscv64gc, an instruction set that does not even support SIMD. So, their 'formal verification' skips basically all of the useful functionality provided by the library. Yes, that's right, they spent (presumably?) millions of dollars of tokens proving the memory safety of a fallb...

• View post

  I want to remind you: these bastards have spent $1.5 trillion of society's money on this technology. That it's produced *something* should not be surprising. That's 'solve aging', 'cure cancer', 'eliminate all poverty', 'shift climate change into reverse', or 'send a probe to another solar system' money. It's not 'write shit software 20% faster' money.

• View post

  I really think that crates.io needs a way for crate authors to independently publish advisories without having to go through advisory DB: it's a bottleneck. I can understand that that bottleneck helps to dissuade overzealous publishing of advisories for trivial matters, but I don't think that's an acceptable reason to not have a maintainer-driven system too. #rustlang

• View post

  I have been thinking recently about how language is a high entropy latent space and what it means. Latent spaces are sort of magic: they don't just reduce the dimensionality of a higher dimensional space, they also constrain it such that arbitrary movement in the latent space maps to some *meaningful* position in the higher dimensional space. Think about how almost any textual prompt you give to an image generator results in a picture with recognisable shape and form, yet the vast majo...

• View post

  Has anybody noticed that their ~/.cargo/config.toml jobs = suddenly stopped working recently? Cargo seems to be spawning a job for every core I have going despite me setting a job limit much lower. #rustlang

• View post

  @MastodonEngineering@mastodon.social Is there an easy way to determine which version my instance is currently running?

• View post

  @kornel@mastodon.social Code is not the artifact and has never been the artifact though: the real artifact is the specification the code implements and the practices and rituals that allow it to be comprehended by human beings. Sometimes that specification exists in a form that can be written down, and sometimes it's an informal set of ideas in somebody's head, but the code is functionally impossible to integrate into wider systems without it. LLMs might remove the need for boilerplate -...

• View post

  I am getting really, really sick of how trying to discover useful information on the web is becoming impossible. Even simple queries return with a deluge of SEO-ed AI slop, even on subjects that sorely deserve much more care and attention. I'm reading about the best ways to safely introduce a dog to a baby, and mutually-contradictory vibes are not sufficient for such an important topic. God-rot everybody that's had a hand in producing this outcome. Time to visit the library aga...

• View post

  I had someone email me today trying to sell me a product that does Zero Knowledge Proofs for CV/résumé references and if that isn't a harbinger of an impending intellectual and economic crisis, I don't know what is.

• View post

  The Second Amendment (that I have conveniently adhered to the First Amendment with a small metal fixer) gives me the right to own a staple gun

• View post

  Union Pacific No 119 in @veloren, because why not. You can drive it around too. #trains #gamedev #foss

• View post

  For those that use my parser library Chumsky: I've recently finished migrating the project to Codeberg, from GitHub. Please open any new issues/PRs there. I've also established a contribution policy that disallows the use of AI-generated code. https://codeberg.org/zesterer/chumsky

• View post

  I am seriously impressed by #Forgejo's (the software powering #Codeberg and other GitHub alternatives) migration tool. Git history, issues, PRs, wiki data; all migrated perfectly from GitHub. You can link your GitHub account afterwards, and all migrated things move over to your user - so you can edit things like comments you originally wrote on GitHub. It's like the migration never happened. It even migrates tiny details like comment reactions. And because the account linking...

• View post

  The first batch of this year's seedlings are approaching escape velocity now the seasons are changing. From the left: tomato, salad mix, a mixture of red and white onion, and celery. #gardening

• View post

  RE: https://hachyderm.io/@katemorley/116288787449370038 Certain politicians and most of the private media in the UK keep talking about how a green transition is impossible and yet, as far as the national grid is concerned, it's basically already happened and nobody has noticed.

• View post

  @root What is a bitmap if not a group of Scalable Vector Rectangles?