Compiling a Functional Language to LLVM
danieljharvey.github.io·18h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Underdetermined Fourier Extensions for Surface Partial Differential Equations
arxiv.org·1d
🔠Type-Level Programming
Rich Answered That
gist.github.com·9h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·11h·
Discuss: r/programming
💎Refinement Types
The bloat of edge-case first libraries
43081j.com·4h·
Discuss: Lobsters, Hacker News
💎Refinement Types
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io·11h
🧩Parser Combinators
New parametric CAD BREP kernel attempt
github.com·18h·
Discuss: Hacker News
💎Refinement Types
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·2h·
Discuss: r/programming
🔬Unikernels
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·5h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Holding It Together
onelook.com·1h·
Discuss: Hacker News
📝Term Rewriting
An Interactive Guide to TanStack DB
frontendatscale.com·5h·
Discuss: Hacker News
🔄Reproducible Builds
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·15h·
Discuss: Hacker News
💎Refinement Types
Using Haskell in Production
agentultra.com·6h·
Discuss: Hacker News
🔠Type-Level Programming
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·1d
🛡️seL4
An Introduction to XForms
xml.com·10h·
Discuss: Hacker News
⚙️PL Implementation
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·3h·
Discuss: Hacker News
⚙️PL Implementation
NPM debug and chalk packages compromised
aikido.dev·1d·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🍎Apple
Show HN: Modular, LLM-optimized OpenAPI docs – deterministic URLs
news.ycombinator.com·20h·
Discuss: Hacker News
💎Refinement Types