Exploring the frontiers of the periodic table: Bismuth Catalysis's applications
chemistryworld.com·39m·
Discuss: Hacker News
🐫Embedded OCaml
Debian Trixie: the 2025 flavor release
collabora.com·41m·
Discuss: Hacker News
🔬Unikernels
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·1d
💻CS
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·1d·
Discuss: r/LocalLLaMA
➡️Category Theory
Kleene's Recursion Theorem
en.wikipedia.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: A local first AI engine and orchestrator
krionis.com·1d·
Discuss: Hacker News
👁️System Observability
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·3h·
Discuss: Substack
🎮Verification Games
A new experimental Go API for JSON
go.dev·17h·
Discuss: Lobsters, Hacker News, r/golang
🌐NetworkProtocols
Rewriting Val Town's editor
blog.val.town·17h·
Discuss: Hacker News
⚙️PL Implementation
The Expression Problem and its solutions
eli.thegreenplace.net·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
OCR and RAG for Tables
mrm1001.github.io·4h·
Discuss: Hacker News
🐫Embedded OCaml
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·23h·
Discuss: Hacker News
📐Denotational Semantics
Demystifying Tensor Parallelism
robotchinwag.com·20h·
Discuss: Hacker News
🧩Separation Logic
IO is special
blog.ploeh.dk·1d·
Discuss: Lobsters
💎Refinement Types
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·58m·
Discuss: Hacker News
🌐NetworkProtocols
Targeting 25 years of Windows with Visual Studio 2019 (2021)
colinfinck.de·1d·
Discuss: Hacker News
🔧Unikernel Development
How to Build Python Code with Bazel (and Why)
ohadravid.github.io·11h·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Deploying AI to the Balkans
hapseer.com·3h·
Discuss: Hacker News
🩹Self-Healing Systems
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·1d·
Discuss: r/javascript, r/programming
💎Refinement Types
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·1d·
Discuss: Hacker News
👁️System Observability