Quality and Food Safety Consultant – Emilia Wardach
emiliawardach.com·8h·
Discuss: Hacker News
🤖Program Synthesis
Image Optimization for Next.js with Imgproxy
imgproxy.net·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Rsyslog Goes AI First – A New Chapter Begins
rsyslog.com·2d·
Discuss: Hacker News
👁️System Observability
Red Hat just expanded free access to RHEL for business developers
zdnet.com·4d·
Discuss: Hacker News, r/programming
🔬Unikernels
Programming Language Theory has a public relations problem
happyfellow.bearblog.dev·12h·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
OpenTelemetry from 0 to 100
nais.io·6d·
Discuss: Hacker News
👁️System Observability
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·3d·
Discuss: Hacker News
🤖Program Synthesis
LOON - Label Oriented Object Notation
github.com·15h·
Discuss: Hacker News, r/programming
🐫OCaml
Del R730XD fan noise solution
reddit.com·14h·
Discuss: r/homelab
🍎XNU Internals
Proxmox on main pc.
reddit.com·31m·
Discuss: r/homelab
📦Unikernel Systems
How AWS is Working to Help Developers with AI Reality
thenewstack.io·2d
🖥️Self-hosted Infrastructure
Graph Convolutional Branch and Bound
arxiv.org·1h
➡️Category Theory
UGREEN NAS preferred OS - migrating PROXMOX
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
KG-Attention: Knowledge Graph-Guided Attention at Test-Time via Bidirectional Information Aggregation
arxiv.org·1h
✓Automated Theorem Proving
New to Homelab : need advice :)
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
CoreCodeBench: A Configurable Multi-Scenario Repository-Level Benchmark
arxiv.org·5d
🔄Reproducible Builds
"Amazing, They All Lean Left" -- Analyzing the Political Temperaments of Current LLMs
arxiv.org·1h
🐫OCaml
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·2d·
Discuss: Substack
🔍Formal Verification
Fine-tuning ORBGRAND with Very Few Channel Soft Values
arxiv.org·1h
🐫OCaml
Data Depth as a Risk
arxiv.org·1h
🔠Type-Level Programming