System Administrator Appreciation Day
sysadminday.com·1h·
Discuss: Hacker News
🏠HomeLab
Simple Way to Find Co-Founders – Business Partner Finder App
findpartner.app·18h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
More Than Code
deadprogrammersociety.com·18h·
Discuss: Hacker News
🔬Static Analysis
Google and Microsoft Trusted Them. 2.3M Users Installed Them. They Were Malware
blog.koi.security·15h·
Discuss: Hacker News
📦Unikernel Systems
Cheaper AI does not mean greener AI
wimvanderbauwhede.codeberg.page·2d·
Discuss: Hacker News
🔬Unikernels
Eureka! I've Hacked You: About a University Lesson and How It Shaped My Career
krthr.co·3d·
Discuss: Hacker News
🎮Verification Games
Building Devu a platform to help devs contribute to open source without the overwhelm
devu.dev·20h·
Discuss: DEV, Hacker News
🔄Reproducible Builds
How Shawn (swyx) Wang Defines the AI Engineer [audio]
redmonk.com·18h·
Discuss: Hacker News
🔤DSLs
Rampant Noncompliance (~50%) with California Privacy Laws (CCPA)
news.uci.edu·1d·
Discuss: Hacker News
📡Network Protocol Design
Agentic Coding Is A Fundamental Shift
saewitz.com·3d·
Discuss: Hacker News
🤖Program Synthesis
eslint-config-prettier Compromised: How npm Package with 30 Million Downloads Spread Malware
safedep.io·3d·
Discuss: Hacker News, Hacker News, r/opensource, r/programming
❄️Nixified Development
Humanoid Robot Whole-body Geometric Calibration with Embedded Sensors and a Single Plane
arxiv.org·2d
🔍Formal Verification
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·3d·
Discuss: Hacker News
🔍Formal Verification
My Budget DIY Mini Lab
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Notes on Image Generation with GPT-4.1
taoofmac.com·4d·
Discuss: Hacker News
🍎Apple
Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
arxiv.org·1d
🏹Effect Systems
LLM-in-a-Box: A Templated, Self-Hostable Framework for Generative AI
github.com·4d·
Discuss: Hacker News
🐫OCaml
Ask HN: Looking for alpha testers for HRAM (asm)
news.ycombinator.com·4d·
Discuss: Hacker News
🍎XNU Internals
Rethinking Memorization Measures and their Implications in Large Language Models
arxiv.org·3d
🎮Verification Games
Comparison of Optimised Geometric Deep Learning Architectures, over Varying Toxicological Assay Data Environments
arxiv.org·11h
➡️Category Theory