The Covert Hardware Implant: Part 1
rift.stacktitan.com·1d·
Discuss: Hacker News
💾Retro Computing
Dumb-init, an init system for Docker containers
engineeringblog.yelp.com·16h·
Discuss: Hacker News
⎈Kubernetes
Coded my homelab from scratch using Ansible
i.redd.it·23h·
Discuss: r/homelab
🏠HomeLab
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Navigating AI in translation: Why human expertise still matters
gulf-times.com·2d·
Discuss: Hacker News
🐫OCaml
LLM Failures
funcall.blogspot.com·4d·
Discuss: Hacker News
🐫OCaml
Computer Scientists Figure Out How To Prove Lies
quantamagazine.org·4d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🎮Verification Games
Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
c3-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·3d·
Discuss: Hacker News
❄️Nixified Development
Jcorp Nomad: ESP32-S3 Offline Media Server in a Thumbdrive
hackaday.com·6h
🔬Unikernels
A Mental Model for C++ Coroutine
uvdn7.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·2d
✓Automated Theorem Proving
How Unified Orchestration Helps Cut Cloud Costs by 40%
thenewstack.io·2d
🔄Reproducible Builds
Beyond the Dataset – Deep tech data science
aneeshsathe.com·2d·
Discuss: Hacker News
👁️System Observability
Detour: A detour through the Linux dynamic linker
github.com·56m·
Discuss: Lobsters, Hacker News
🔬Unikernels
My roommates and I are in the process of buying a home, and I am researching the things I can do to facilitate a home lab of my own.
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Cache Benchmarks
github.com·1d·
Discuss: Hacker News
👁️System Observability
AI First Hiring, Teamwork and Org Structures, Staying Relevant in an an AI World
madhavajay.com·4d·
Discuss: Hacker News
🎮Verification Games
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·2d
🔍Formal Verification
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·4d
✓Automated Theorem Proving