LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Method Iteration: An LLM Prompting Technique
lesswrong.com·3d
📚Automata Learning
Chicken Scheme internals: the garbage collector
more-magic.net·3d·
Discuss: Hacker News
🤖Program Synthesis
Processors are getting wider
lemire.me·19h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
The Paradigm
nonint.com·13h·
Discuss: Hacker News
📚Automata Learning
HealthProcessAI: A Technical Framework and Proof-of-Concept for LLM-Enhanced Healthcare Process Mining
arxiv.org·1d
🧩Parser Combinators
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫OCaml
Richard Pryor Stole a Lot of Half Cents and Bought a Ferrari
news.alvaroduran.com·1h·
Discuss: Hacker News
💎Refinement Types
Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com·12m·
Discuss: Hacker News
🐫Embedded OCaml
The Origins of Python
inference-review.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Solving the compute crisis with physics-based ASICs
arxiviq.substack.com·1d·
Discuss: Substack
🩹Self-Healing Systems
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Whodunit: LLM Murder Mysteries
blog.apartment304.com·3d·
Discuss: Hacker News
🎮Verification Games
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·1d·
Discuss: Hacker News
👁️System Observability
Context Engineering: A Primer
okigu.com·23h·
Discuss: Hacker News
🔍Formal Verification
The Wetware Crisis: The Thermocline of Truth (2008)
brucefwebster.com·6h·
Discuss: Hacker News
🩹Self-Healing Systems
The Immutable Linux Paradox
jnsgr.uk·16h·
Discuss: Hacker News
🔬Unikernels
Data-Driven Bifurcation Handling in Physics-Based Reduced-Order Vascular Hemodynamic Models
arxiv.org·1d
🏹Effect Systems
Proper Error Handling for Your Node.js Application
masteringbackend.com·1d·
Discuss: Hacker News
📊Runtime Verification
A quantum equivalent to Bayes' rule
lesswrong.com·1d
🧮Lambda Calculus