Effects as Capabilities in Scala
nrinaudo.github.io·7h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Algebraic Effects in Practice with Flix
relax.software·3d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·1d
🧮Lambda Calculus
Context Pruning in Conversational Agent
poonai.xyz·9h·
Discuss: Hacker News
✓Automated Theorem Proving
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·2h·
Discuss: Hacker News
🧮Lambda Calculus
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·6h·
Discuss: Lobsters, Hacker News, r/programming
🧠Automated Reasoning
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·4h·
Discuss: Hacker News
👁️System Observability
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·2d·
Discuss: Hacker News
📚Automata Learning
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·5h·
Discuss: Hacker News
🧠Automated Reasoning
How OpenAI Operator Works with AI Agents
anchorbrowser.io·1h·
Discuss: Hacker News
🧠Automated Reasoning
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·1d·
Discuss: r/programming
💎Refinement Types
Performance Improvements in .NET 10
devblogs.microsoft.com·6h·
Discuss: Lobsters, Hacker News, r/programming
📊Runtime Verification
You Can Just Do Things
elite-ai-assisted-coding.dev·2h·
Discuss: Hacker News
✓Automated Theorem Proving
The Expression Problem and its solutions
eli.thegreenplace.net·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧩Parser Combinators
Self-Assembly Gets Automated in Reverse of ‘Game of Life’
quantamagazine.org·5h·
Discuss: Hacker News
🩹Self-Healing Systems
Allocations Are a Dependency
clipperhouse.com·1h·
Discuss: Hacker News
🔬Static Analysis
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·6h·
Discuss: Hacker News
🧮Lambda Calculus
Improving state machine code generation
trifectatech.org·1d·
Discuss: r/rust
🐫Embedded OCaml
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·15h
🔍Formal Verification
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols