Nim 2.2.6
nim-lang.orgยท15hยท
Discuss: Hacker News
๐Ÿ“ฆOpam
Flag this post
Unlocking AI Speed: The Hidden Symmetries in Reinforcement Learning
dev.toยท4hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.orgยท4hยท
Discuss: Hacker News
๐Ÿ”งUnikernel Development
Flag this post
[R] We found LRMs look greatโ€ฆuntil the problems get harder (AACL 2025)
reddit.comยท1dยท
Discuss: r/MachineLearning
๐ŸงฎSMT Solvers
Flag this post
Ghosts in the Compilation
predr.agยท1dยท
Discuss: Lobsters, Hacker News, r/rust
๐Ÿ”Formal Verification
Flag this post
Reinventing Assertions
beust.comยท18hยท
Discuss: Hacker News
๐ŸŽฎVerification Games
Flag this post
Oops, My UUIDs Collided
alexsci.comยท11hยท
Discuss: Hacker News
๐ŸŽฏGADT
Flag this post
A functional programming course in 6 books
ericnormand.substack.comยท2dยท
Discuss: Substack
ฮปFunctional Programming
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท15hยท
Discuss: Lobsters, Hacker News
๐Ÿ”ขAlgebraic Data Types
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.comยท7hยท
Discuss: r/golang
๐ŸŽฏGADT
Flag this post
The Same App in React and Elm: A Side-by-Side Comparison
cekrem.github.ioยท2dยท
Discuss: r/programming, r/reactjs, r/webdev
๐Ÿ“Nix Language
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.toยท1dยท
Discuss: DEV
๐Ÿง Automated Reasoning
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ยท1dยท
Discuss: Hacker News
๐ŸงฎLambda Calculus
Flag this post
We May Have Fixed Python's 25-Year-Old Vulnerability
iyehuda.substack.comยท1dยท
Discuss: Substack
๐ŸŒNetwork Protocols
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.devยท4dยท
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ยท2dยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท21hยท
Discuss: Lobsters, Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.comยท4hยท
Discuss: Hacker News
๐Ÿ“ฆOPAM
Flag this post