Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·12h·
Discuss: r/programming
🔬Static Analysis
LLM Inference Handbook
bentoml.com·8h·
Discuss: Hacker News
🛡️seL4
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Mastra is now Apache 2.0 licensed
mastra.ai·15h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Building Your First ETL Pipeline in Rust
ryuru.com·2d·
Discuss: r/programming
🔬Static Analysis
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·18h·
Discuss: r/programming
📦Unikernel Systems
Beyond Console.log: Smarter Debugging with Modern JavaScript Tooling
blog.appsignal.com·1d·
Discuss: Hacker News
👁️System Observability
The XINU Page
xinu.cs.purdue.edu·11h·
Discuss: Hacker News
📦Unikernel Systems
Investigate your dependencies with Deptective
blog.trailofbits.com·3d·
Discuss: Hacker News
📦Unikernel Systems
KDE ISO Image Writer is finally getting a UI redesign and new features
neowin.net·37m·
Discuss: Hacker News
🔬Unikernels
Reliable Distributed Applications
docs.temporal.io·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Replicant status and report of the 37C3 and FOSDEM 2024 conferences
lists.osuosl.org·1d·
Discuss: Hacker News
🔬Unikernels
Complete guide to implementing OpenTelemetry in Nextjs applications - Traces, Metrics & Logs
signoz.io·2d·
Discuss: Hacker News, r/programming
👁️System Observability
AI Tooling, Evolution and the Promiscuity of Modern Developers
redmonk.com·19h·
Discuss: Hacker News
👁️System Observability
Iceberg, the Right Idea – The Wrong Spec – Part 2 of 2: The Spec
database-doctor.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Personal Reflections on Immutable Linux
hackaday.com·18h·
Discuss: Hacker News
🔬Unikernels
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·3h·
Discuss: Substack
🔬Static Analysis
Data Science Weekly – Issue 607
datascienceweekly.substack.com·7h·
Discuss: Substack
👁️System Observability
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·11h·
Discuss: Hacker News
🌐NetworkProtocols
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis