Exploring the frontiers of the periodic table: Bismuth Catalysis's applications
chemistryworld.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: I made GraphQL Editor VS Code extension free
marketplace.visualstudio.com·16h·
Discuss: Hacker News
💎Refinement Types
Master Foo and LLM Mountain
tusshah.github.io·2d·
Discuss: Hacker News
⚙️PL Implementation
Using RPI 5 Compute Module for FPGA Test
hackster.io·2d·
Discuss: Hacker News
🐫Embedded OCaml
Using Claude Code to modernize a forgotten Linux kernel driver
dmitrybrant.com·3d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Developing a Space Flight Simulator in Clojure
wedesoft.de·6d·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
High Dimensional Optimization Remains Hard
win-vector.com·1d·
Discuss: Hacker News
🏹Effect Systems
The Case for Cowboy Coding
bevel.work·1d·
Discuss: Hacker News
💎Refinement Types
GLM 4.5 with Claude Code is a killer combination
docs.z.ai·5d·
Discuss: Hacker News
🧩Parser Combinators
The (sometimes rocky) road to a paper
lmao.bearblog.dev·6d·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Gram: Open-Source platform to create, curate and host MCP servers
github.com·1d·
Discuss: Hacker News
🖥Self-Hosting
You Can Just Do Things
elite-ai-assisted-coding.dev·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Evaluating NL2SQL via SQL2NL
arxiv.org·2d
🧩Parser Combinators
How OpenAI Operator Works with AI Agents
anchorbrowser.io·6h·
Discuss: Hacker News
🧠Automated Reasoning
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·1d
➡️Category Theory
Agentic AI Runs on Tools
simplicityissota.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Ask HN: What did you obtain from learning compilers?
news.ycombinator.com·3d·
Discuss: Hacker News
💻CS
Plantbot: Integrating Plant and Robot through LLM Modular Agent Networks
arxiv.org·1d
🩹Self-Healing Systems
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·5d·
Discuss: Hacker News
💎Refinement Types