How to set up Emacs as an SVG editor
💾Classic Mac OS
Flag this post
How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
❄️Nix Flakes
Flag this post
Reflection
🔲Cellular Automata
Flag this post
Is cryptography in Go hard?
🔒Protocol Verification
Flag this post
Beyond Numbers: How to Humanize Your Data & Analysis
towardsdatascience.com·4h
📵Digital Minimalism
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
🔒Protocol Verification
Flag this post
Weak-To-Strong Generalization
lesswrong.com·5d
🔤Kleene Algebra
Flag this post
Alpamayo-R1: Bridging Reasoning and Action Prediction for Generalizable Autonomous Driving in the Long Tail
arxiv.org·3d
🧩Separation Logic
Flag this post
Addressing divergent representations from causal interventions on neural networks
arxiv.org·13h
🏹Effect Systems
Flag this post
Reading Between the Lines: The One-Sided Conversation Problem
arxiv.org·1d
📚Automata Learning
Flag this post
Day 26: Python Book Sorter, Sort a Library by Page Count with Lambda Keys
λFunctional Programming
Flag this post
Hybrid Quantum-Classical Detection for RIS-Assisted SC-FDE via Grover Adaptive Search
arxiv.org·13h
🔢Matrix Decomposition
Flag this post
Hardening against AI takeover is difficult, but we should try
lesswrong.com·2d
🩹Self-Healing Systems
Flag this post
Automated Prompt Generation for Code Intelligence: An Empirical study and Experience in WeChat
arxiv.org·1d
🤖Program Synthesis
Flag this post
Loading...Loading more...