Weak-To-Strong Generalization
lesswrong.comยท21h
๐ML Language
Flag this post
Hidden Gems of Game Design Vol 41
superjumpmagazine.comยท9h
๐ฌNanopasses
Flag this post
Linux/WASM
๐WASM Runtimes
Flag this post
Dependencies: addicted to quick wins
medium.comยท2d
๐ฆDependency Analysis
Flag this post
This is a description of a test for markov chain program in a book I'm reading...
๐ฒProperty Testing
Flag this post
Joy & Curiosity #60
registerspill.thorstenball.comยท16h
๐Gradual Effects
Flag this post
Probabilistic fault tree analysis and dynamic redundancy optimization for next-generation avionic flight control systems
sciencedirect.comยท1d
โกControl Synthesis
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
โจEffect Inference
Flag this post
Migration Made Easy: Transitioning from Traditional AI Libraries to Low-Code Solutions in Q4 2025
๐ฎLanguage Ergonomics
Flag this post
Feeling the Vibes with Verifi
๐Cranelift IR
Flag this post
The extra time is worth it: Use Claude (or other AI or a mix of both) to create a comprehensive instruction set for what you are trying to accomplish instead of...
๐ฌInteractive REPLs
Flag this post
From Corporate Burnout to Side Hustle: I Shipped DinkySub in 2 Months with an AI Co-Pilot (and its Terrible Business Ideas)
โกLive Programming
Flag this post
JetBrains ReSharper for Visual Studio
๐Code Migration
Flag this post
GraphMD โ LLMs Powered Literate Programming Environment for Markdown Documents
๐Self-Documenting Code
Flag this post
Loading...Loading more...