Alcides Fonseca
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Haskell will be the old wise man in the scifi movie that the hero needs to learn from to save the post-apocalyptic world.
@zooko2.bsky.social · 3w agoInteresting. It sounds like Haskell is about to get left behind because it has anti-AI culture. I also suspect the same thing is about to happen to Zig. avi.press/posts/2026-0...
Wrote a simple guide on how to add RAG to an open-weights (Portuguese government sponsored) LLM. wiki.alcidesfonseca.com/blog/como-ad...
Como adicionar RAG à Amália by Alcides Fonseca
wiki.alcidesfonseca.com
I have really, really loved @ryannorth.ca’s larger run on Fantastic Four, but this beat in Fantastic Four #11 from North and Pat Boutin was particularly delightful. I agree with Sue!
@simonwillison.net has detected another AI inflation point. My thoughts on its implications on the economy of tokens: wiki.alcidesfonseca.com/blog/llm-apr...
LLM April Inflection Point by Alcides Fonseca
wiki.alcidesfonseca.com
Why you probably do not need git worktrees: wiki.alcidesfonseca.com/blog/you-pro...
You probably don't need git worktrees by Alcides Fonseca
wiki.alcidesfonseca.com
Claude code, obey this rite: uv alone should see the light. Ban import star, cast em-dash out, Put pandas, pip, and print to rout. Polars flourish, f-strings burn, Docstrings, hints, at every turn. Clean thy lint, make patterns stand, Hold thy peace and serve my hand!
#Ubuntu 26.04 LTS (Resolute Raccoon) Is Now Available for Download 9to5linux.com/ubuntu-26-04... #Linux #OpenSource
Ubuntu 26.04 LTS (Resolute Raccoon) Is Now Available for Download - 9to5Linux
Ubuntu 26.04 LTS (Resolute Raccoon) is now available for download powered by Linux kernel 7.0 and GNOME 50 desktop environment.
9to5linux.com
How can I properly review a paper if I don't have access to the code that generated the results? I should be able to analyze it and check that the results are fair. If that comes at the cost of single-blindness, that's fine with me.
@rcarmo.bsky.social A colleague of mine just got mis-flagged as an AI bot on github, and all of his work github pages are down for everyone else. Proper channels have not worked for weeks. Sorry to bother you, but do you know if there is any alternative?
Slightly underreported aspect of the Mythos stuff
Colin@colin-fraser.net · 4mo agoIf anything my read is that the bigger problem is false negatives. It cost, I assume, $19,999.99, and took 1000 attempts to find the OpenBSD vulnerability. If there happened to not be that vulnerability, or if it wasn’t found in the first 1000 tries and they gave up, that’s 20 grand down the toilet.
I wanted a way to explore Unicode by visual similarity, not just by name or codepoint, so I built Charcutrie. It lets you browse characters that look alike, search across scripts and symbols, and even sketch a shape to find matching glyphs. (pretty badly for now :D) charcuterie.elastiq.ch#U+221E
Country that put backdoors into Cisco routers to spy on world bans foreign routers
US bans any new consumer-grade routers not made in America
: Unfortunately, there aren't many options unless you're Starlink
theregister.com
My first IDE had LLMs support already?
Sean@flyingwalruss.bsky.social · 5mo agoMicrosoft is removing CoPilot from Notepad
I needed z3 Python bindings in the browser for demos. Claude built it in 10 minutes of my time, and it's now available: wiki.alcidesfonseca.com/blog/z3-pyth...
Z3 Python in the Browser in 10 minutes by Alcides Fonseca
wiki.alcidesfonseca.com
We're running a user study, maybe you can help! We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.
Played The Castles of Burgundy: Special Edition on 2026-03-14 boardgamegeek.com/boardgame/36... #bggplay via @boardgamegeek.com app
The Castles of Burgundy: Special Edition
Plan, trade, and build your Burgundian estate to prosperity and prominence.
boardgamegeek.com