Virus-loaded patches successfully kill bacteria in contaminated food
phys.org·4h
🧮Algorithmic Cooking
Flag this post
Video Player Server (.NET, Serverside)
forums.anandtech.com·7h
🎬WebCodecs
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·1d
🔧RISC-V Assembler
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
🔄Language Evolution
Flag this post
From VS Code to Helix
🎯Gradual Typing
Flag this post
Reflection for Aggregates (2020)
🔒Type Safety
Flag this post
A Short Introduction to Categorical Logic
youtube.com·2d
🔀Category Theory
Flag this post
I accidentally created digital life. Now I need to figure out how to tune it.
📲syncthing
Flag this post
WASM-Adventure
🛡️WASM Security
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
📝Log Parsing
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·18h
⚡Proof Automation
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
🔒Linear Types
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
🗄️Database Internals
Flag this post
A prvalue is not a temporary
🔒Type Safety
Flag this post
Making Every 5x5 Nonogram: Part 1
🧮Z3 Solver
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
🔗Concatenative Programming
Flag this post
601: Game Theory
🔲Cellular Automata
Flag this post
Loading...Loading more...