Computational understanding of Li-ion batteries (2016)
nature.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Cocoindex: Data Transformation for AI
cocoindex.io·3d·
Discuss: Hacker News
🛡️seL4
Apple Trace Cache
realworldtech.com·2d·
Discuss: Lobsters, Hacker News
👁️System Observability
Generating Swagger Documentation from Source Code with ChatGPT
gist.github.com·17h·
Discuss: Hacker News
⚙️PL Implementation
Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
c3-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
A deep dive into deeply recursive Go
mattermost.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Large Hadron Collider: When Quantum and AI Collide
perimeterinstitute.ca·19h·
Discuss: Hacker News
📦Unikernel Systems
Orca Build System
orca-app.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Google Cloud Creates 3 Levels Of Agentic Software Coding
forbes.com·3d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Hypercapitalism and the AI Talent Wars
blog.johnluttig.com·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AI Native Software Factories
heavybit.com·6d·
Discuss: Hacker News
⎈Kubernetes
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·3d
🔍Formal Verification
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·6d·
Discuss: Hacker News
🔬Unikernels
MoSAiC: Multi-Modal Multi-Label Supervision-Aware Contrastive Learning for Remote Sensing
arxiv.org·48m
🔠Type-Level Programming
A http parser single-header library written in C89 which is 50 lines total.
github.com·1d·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Proxmox on main pc.
reddit.com·18m·
Discuss: r/homelab
📦Unikernel Systems
How to Write Rust Code Like a Rustacean
thenewstack.io·4d·
Discuss: Hacker News
🔬Static Analysis
A Mental Model for C++ Coroutine
uvdn7.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·3d·
Discuss: r/programming
🐫OCaml
Understanding Everything as Code: A Taxonomy and Conceptual Model
arxiv.org·6d
🔬Static Analysis