Compiling a Functional Language to LLVM
danieljharvey.github.io·4h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Underdetermined Fourier Extensions for Surface Partial Differential Equations
arxiv.org·1d
🔠Type-Level Programming
New parametric CAD BREP kernel attempt
github.com·4h·
Discuss: Hacker News
💎Refinement Types
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·21h·
Discuss: r/javascript, r/programming
💎Refinement Types
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·20h
💎Refinement Types
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·1h·
Discuss: Hacker News
💎Refinement Types
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·15h·
Discuss: Hacker News
📚Automata Learning
NPM debug and chalk packages compromised
aikido.dev·19h·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🍎Apple
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·1d
🛡️seL4
Show HN: Modular, LLM-optimized OpenAPI docs – deterministic URLs
news.ycombinator.com·7h·
Discuss: Hacker News
💎Refinement Types
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·15h·
Discuss: Hacker News
🧮Lambda Calculus
Clojure's Solutions to the Expression Problem
infoq.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Parameters and binding forms should be mutually recursive
samestep.com·3d·
Discuss: Hacker News
🧩Parser Combinators
Show HN: Conformal – Type-safe FormData parsing and canonical submission flow
github.com·20h·
Discuss: Hacker News
💎Refinement Types
Algebraic Effects in Practice with Flix
relax.software·1d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.com·3d·
Discuss: Hacker News, r/rust
🔠Type-Level Programming
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·1d
💻CS
Kleene's Recursion Theorem
en.wikipedia.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·1d·
Discuss: r/LocalLLaMA
➡️Category Theory
Show HN: A local first AI engine and orchestrator
krionis.com·1d·
Discuss: Hacker News
👁️System Observability