Jackknife Transmittance and MIS Weight Estimation
momentsingraphics.de·1d·
Discuss: Hacker News
🎨GADTs
Flag this post
A toy model of corrigibility
lesswrong.com·7h
⏰Timed Automata
Flag this post
The Evolutionary Argument Against Reality
quantamagazine.org·12h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
MobileNetV3 Paper Walkthrough: The Tiny Giant Getting Even Smarter
towardsdatascience.com·12h
🔲Cellular Automata
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·2d
🧠Automated Reasoning
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
The Development of Pie
terathon.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Unlocking LLMs: The Self-Steering Revolution
dev.to·10h·
Discuss: DEV
🔄Finite State Machines
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·2d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·11h·
Discuss: DEV
λFunctional Programming
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
dev.to·9h·
Discuss: DEV
📚Automata Learning
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·1d
❄️Nixified Development
Flag this post
Walkie Talkie, an open source peer-to-peer iOS communicator
github.com·2h·
Discuss: Hacker News
🍎Apple
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🧠Automated Reasoning
Flag this post
MCP standard
dev.to·9h·
Discuss: DEV
💬Mach Messages
Flag this post
I ****Ing Hate Science
buttondown.com·1h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·1d·
Discuss: Hacker News
📦Opam
Flag this post
🔐 ZK Proofs: The Hidden Engine Behind Web3 Privacy
dev.to·18h·
Discuss: DEV
🔗Curry-Howard
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·7h·
Discuss: DEV
🎯Complexity Classes
Flag this post