Introduction to Unikernel: Building, Deploying Lightweight, Secure Applications
tallysolutions.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔓Open Source
Symbol-Level Editing
sysprogs.com·14h·
Discuss: Hacker News
🔤Text Algorithms
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·1d·
Discuss: Hacker News
🏗️Compiler Design
GenosDB: Distributed Graph-Based Database
genosdb.com·1d·
Discuss: Hacker News
🔓Open Source
Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.com·1d·
Discuss: Hacker News
💿OS
Mun Programming Language
mun-lang.org·1d·
Discuss: Hacker News
⚙️Language Implementation
Show HN: Accelerate AI agent development by grounding AI assistant in local docs
github.com·5h·
Discuss: Hacker News
⚙️Language Implementation
Playing with open source LLMs
alicegg.tech·4d·
Discuss: Hacker News
⚙️Language Implementation
Code with LLMs and a Plan
richstone.io·1d·
Discuss: Hacker News
🔬PLT
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
🔍Type Systems
Blog series on creating an OS in Rust
os.phil-opp.com·3d·
Discuss: Hacker News
💻Programming
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍Type Systems
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
🔍Type Systems
BitVMX New Open Source Components: Key Management, Storage, and Configuration
bitvmx.org·3d·
Discuss: Hacker News
💻Programming
PatchworkOS: A from-scratch NON-POSIX OS strictly adhering to the "everything is a file" philosophy that I've been working on for..
github.com·10h·
Discuss: Hacker News
💿OS
Show HN: NameFast – Generate names for your SaaS idea in seconds
news.ycombinator.com·1h·
Discuss: Hacker News
🔓Open Source
Why build a domain-specific agent for front end tasks?
kombai.com·2d·
Discuss: Hacker News
⚡Systems Performance
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·2d·
Discuss: Hacker News, r/programming
⚙️Language Implementation
Building AI flag cleanup
bucket.co·2d·
Discuss: Hacker News, r/programming
🚀JIT Compilation
Iceberg I/O performance comparison at scale (Bodo vs. PyIceberg, Spark, Daft)
bodo.ai·2d·
Discuss: Hacker News
⚡Systems Performance