A Guide to Creative Automation with CE.SDK & Javascript
img.ly·9h
🤖Archive Automation
<p>I saw someone online mention <a href="https://www.zo.computer">Zo Computer</a> so I though I&rsquo;d give it a try. Asked it to produce a Go function based o...
lmika.org·19h
🧮Z3 Solver
How to Ruin Your Weekend: Building a DIY EDR
infosecwriteups.com·14h
🔍eBPF
[NodeBook] Inside the v8 Javascript Engine
thenodebook.com·2d·
Discuss: Hacker News, r/node, r/webdev
🏗️Compiler Archaeology
Powering PyPI with Advanced Traffic Engineering: How Fastly is addressing performance through network addressing
fastly.com·20h·
Discuss: Hacker News
🌐IPFS
Dependency Hell: The Hidden Costs of Dependency Bloat in Software Development
oneuptime.com·3d·
Discuss: Hacker News, r/javascript, r/programming, r/webdev
📦Package Managers
Cloud Is No Longer a Specialty — It’s the Operating System of Modern Engineering
dev.to·8h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·14h·
Discuss: Substack
🎯Gradual Typing
Carbon Language: An experimental successor to C++
github.com·13h·
Discuss: Hacker News
🔩Systems Programming
The Aider Local Model Experience
hexeditreality.com·4h·
Discuss: Hacker News
⚡Proof Automation
DeepQuali: Determining Software Quality with AI
blog.qaware.de·4d·
Discuss: Hacker News
📏Code Metrics
Stop Burning Money on Performance Firefighting
blog.platformatic.dev·1d·
Discuss: Hacker News, r/webdev
⚡Performance Tools
The Next Generation of Compound on GroqCloud
groq.com·1d·
Discuss: Hacker News
🌀Brotli Internals
The quiet software tooling Renaissance
pdx.su·4d·
Discuss: Hacker News, r/rust
🌳Git Internals
The Top 10 AI Tools Every Programmer Needs in 2025
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Semantically Reflected Programs
arxiv.org·1d
🔢Denotational Semantics
NVIDIA Dynamo LLM Inference Framework
multimodalai.substack.com·7h·
Discuss: Substack
🌊Streaming Systems
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·1d
📏Linear Logic
Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch
databend.com·2h·
Discuss: Hacker News
🗄️Database Sharding
Serving AI from the basement part I
ahmadosman.com·1d·
Discuss: Hacker News
⚡Homebrew CPUs