Dynamic Scoring – bringing komidashi to chess
quadibloc.com·4h·
Discuss: Hacker News
🎮Verification Games
Flag this post
It isn't Easy to Remove the GIL (2007)
artima.com·5h·
Discuss: Hacker News
📝Nix Language
Flag this post
🧠 The Simplest "Decision": Is AI Always Rational?
dev.to·12h·
Discuss: DEV
⏱️Computational Complexity
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·1d
🧮SMT Solvers
Flag this post
De Bruijn Numerals
text.marvinborner.de·2d·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔧ppx
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·20h·
Discuss: Hacker News
📦OPAM
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·4d·
Discuss: Hacker News
🔢Computability Theory
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Unlocking AI Speed: The Hidden Symmetries in Reinforcement Learning
dev.to·20h·
Discuss: DEV
🔲Cellular Automata
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·7h·
Discuss: Substack
⚡Process Calculi
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·2d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·1d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·3d·
Discuss: Hacker News
🔧ppx
Flag this post
AI scrapers request commented scripts
cryptography.dog·1d·
Discuss: Lobsters, Hacker News
🔒Protocol Verification
Flag this post
Resolving Newcomb's Problem Perfect Predictor Case
lesswrong.com·4d
🔢Computability Theory
Flag this post
We May Have Fixed Python's 25-Year-Old Vulnerability
iyehuda.substack.com·2d·
Discuss: Substack
🌐Network Protocols
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·1d·
Discuss: Hacker News
❄️NixOS
Flag this post