📐 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification

Show HN: MoebiusXBIN – ASCII and text-mode art editor with custom font support
blog.glyphdrawing.club·2d·
Discuss: Hacker News
💻programming
Gemini Embedding: Powering RAG and context engineering
developers.googleblog.com·2d·
Discuss: Hacker News
🔨Compilers
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.com·2d·
Discuss: Hacker News, Hacker News
🔗P2P Networks
500 virtual Linux devices on ARM 64
underjord.io·2d
⚙️Systems Programming
Writing memory efficient structs in C
tomscheers.github.io·3d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
⚡Zig
Onshape – Product Development Platform
onshape.com·13h·
Discuss: Hacker News
🧩WebAssembly
Show HN: Mcp-use – Connect any LLM to any MCP
github.com·1d·
Discuss: Hacker News
🤖ai
clj-coll: Clojure collections and sequences in Common Lisp
github.com·6d·
Discuss: Lobsters, Hacker News
🧮Functional Programming
TraceRoot: Find the Root Cause in Your Code's Trace
github.com·22h·
Discuss: Hacker News, Hacker News
🚀JIT Compilation
Hawaiian petroglyphs reemerge on Oahu's shores after years of being hidden
archaeologymag.com·1d·
Discuss: Hacker News
🧮Functional Programming
Opsqueue: Lightweight batch processing queue for heavy loads – now open-source
channable.com·2d·
Discuss: Lobsters, Hacker News
🔄Concurrency
Why I’m not letting the juniors use GenAI for coding
lukeplant.me.uk·6d
⚡Zig
Deep Think in the Gemini app
simonwillison.net·7h
🔄Concurrency
We Asked 100+ AI Models to Write Code. Here’s How Many Failed Security Tests
veracode.com·23h·
Discuss: Lobsters, Hacker News
🤖ai
Poor child process management in Rust terminal apps leads to terminal corruption
fiveonefour.com·3d·
Discuss: Hacker News, r/programming
⚡Zig
How to Secure a Linux Server
github.com·13h·
Discuss: Hacker News
🔍eBPF
Reverse engineering some updates to Claude
simonwillison.net·1d
💻programming
Making Libcurl Work in WebAssembly
jeroen.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News
🧩WebAssembly
Show HN: KubeForge – A GUI for Kubernetes YAMLs
github.com·21h·
Discuss: Hacker News
❄️Nix
Playing with open source LLMs
alicegg.tech·3d·
Discuss: Hacker News
🧩WebAssembly