Machine Scheduler in LLVM โ€“ Part II
myhsu.xyzยท16hยท
Discuss: Hacker News
๐ŸƒEscape Analysis
Flag this post
A functional programming course in 6 books
ericnormand.substack.comยท4dยท
Discuss: Substack
ฮปFunctional Programming
Flag this post
Magisterium
isaacbowen.comยท2dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท3dยท
Discuss: Hacker News, r/rust
๐Ÿ—๏ธDune
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.comยท1dยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
Flag this post
Ajla Tutorial
ajla-lang.czยท2dยท
Discuss: Hacker News
๐Ÿ”ฌStatic Analysis
Flag this post
Bedrock, a modular, WAN-replicated database based on SQLite
bedrockdb.comยท1dยท
Discuss: Hacker News
๐ŸŒActivityPub
Flag this post
๐Ÿš€ Exploring Goโ€™s Core Features in Depth
dev.toยท9hยท
Discuss: DEV
ฮปFunctional Programming
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
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ”ขAlgebraic Data Types
Flag this post
The Development of Pie
terathon.comยท1dยท
Discuss: Hacker News
๐Ÿ”€Brzozowski Derivatives
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.orgยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ—๏ธDune
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท3dยท
Discuss: Hacker News
๐Ÿ”ฌStatic Analysis
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.orgยท8hยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.nameยท2dยท
Discuss: Hacker News
๐Ÿ” Type-Level Programming
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Flag this post
When Logs Become Chains: The Hidden Danger of Synchronous Logging
systemdr.substack.comยท15hยท
Discuss: Substack, r/programming
๐Ÿ‘๏ธSystem Observability
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.orgยท2d
๐Ÿง Automated Reasoning
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
github.comยท13hยท
Discuss: r/programming
๐Ÿ”€OCaml Multicore
Flag this post
GraphMD โ€“ LLMs Powered Literate Programming Environment for Markdown Documents
github.comยท10hยท
Discuss: Hacker News
โœ“Automated Theorem Proving
Flag this post