weinholt
Notes of a technical nature
Fediverse name: Text copied!
Fediverse URL: Text copied!
Feed URL: https://weinholt.se/feed.xmlWebsite: https://weinholt.se
Refreshed at: 5/15/2026, 3:47:12 PM
Entries
- Faster Dynamic Type Checks
Posted at: 11/2/2025, 8:59:13 PM - Supercompiling Erlang
Posted at: 11/2/2025, 8:59:13 PM - Shiny new website layout
Posted at: 11/2/2025, 8:59:13 PM - Internals of Zabavno the x86 emulator
Posted at: 11/2/2025, 8:59:13 PM - Efficient computation of the "man or boy" test
Posted at: 11/2/2025, 8:59:13 PM - Compact Encoding of Routing Prefixes
Posted at: 11/2/2025, 8:59:13 PM - AI Solver for Coded Crosswords
Posted at: 11/2/2025, 8:59:13 PM - Debugging PC Boot Sectors
Posted at: 11/2/2025, 8:59:13 PM - Make Test Inputs with Prolog
Posted at: 11/2/2025, 8:59:13 PM - AI for the Columns Game
Posted at: 11/2/2025, 8:59:13 PM