About 24 results
https://anil.recoil.org/notes/aoah-2025-15 · 15 Dec 2025
Vibespiling JustHTML from Python to pure OCaml, achieving 100% pass rate on the browser html5lib test suite using agentic workflows.
https://benswift.me/blog/2025/12/11/neon-perceptron-digital-twin · 11 Dec 2025
import NeonPerceptron from '../../../../src/components/svelte/NeonPerceptron.svelte' I'm about to design and build a modern interpretation of Rosenblatt's…
https://benswift.me/blog/2025/12/02/switching-from-jekyll-to-vitepress · 2 Dec 2025
This site has run on Jekyll since 2014 (or even before, I think; but some secrets are lost to time). Ten years is a good run for any technology choice, but…
https://hacdias.com/2025/07/21/internet-nooks/ · 21 Jul 2025 · 🦋 Bluesky
You know when you are sometimes just browsing the web, and you stumble upon a fascinating place that could be an art piece in a museum? Yes, those weird, odd, interesting websites, either because their old and charming, or because they're trying with a dif...
https://hacdias.com/2024/03/27/bought-numeronym-domain-name/ · 27 Mar 2024
Some weeks ago, I read a post from Jan-Luka's where he talked about what to do with his new domain. The most interesting part for me was not what to do with the domain, or the domain itself, but what the domain is: a numeronym.
https://www.marcobonomo.dev/blog/la-complessita-si-conserva · 12 Jan 2024
Di quando ho creduto di aver inventato qualcosa
https://hacdias.com/2023/11/25/website-level-color-scheme-preferences/ · 25 Nov 2023 · 🦋 Bluesky
Since a few months ago, my website has a dark theme. So today I decided to casually open a PR to the darktheme.club website. On this PR, it is asked what mechanism is used to enable the dark mode. I selected JavaScript. It is unfortunate, but it is a reali...
https://www.byjp.me/posts/mental-poker/randomness · 25 Jul 2023
How can people in different places trust the other's dice-rolls?
https://www.byjp.me/posts/mental-poker/open-games · 16 Jul 2023
How can people play (board/card) games without a trusted third party, and without cheating?
https://www.byjp.me/posts/link-shortener · 8 Jul 2023
Using IPFS to build a trivial link shortener that doesn't hide & hoard the destination from the world.