<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·22h
🧮Z3 Solver
'Huge architectural change' to JetBrains ReSharper cuts Visual Studio freezes
theregister.com·2d
📏Code Metrics
Introduction to the dependency graph
tweag.io·1d
📊Dependency Graphs
LLMs to Blaze a Trail
blogger.com·3d
💾Persistence Strategies
Home server from old office PCs
reddit.com·4h·
Discuss: r/homelab
🏠Homelab Archaeology
getumbrel/umbrel-apps
github.com·22h
🔌Interface Evolution
Microsoft is turning Rust into a first-class language for developing secure Windows drivers
techspot.com·5h
🔩Systems Programming
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·5h·
Discuss: Hacker News
🗄️Database Sharding
Serving AI from the basement part I
ahmadosman.com·2d·
Discuss: Hacker News
⚡Homebrew CPUs
Unifying real-time analytics and observability with OpenTelemetry and ClickStack
clickhouse.com·1d·
Discuss: Hacker News
📊Homelab Monitoring
Portable Targeted Sampling Framework Using LLVM
arxiv.org·1d
🎯Emulation Accuracy
DiVerify: Hardening Identity-Based Software Signing with Programmable Diverse-Context Scopes
arxiv.org·1d
🔐PKI Archaeology
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·17h·
Discuss: Hacker News
🔒WASM Capabilities
Pipeline Wizards and Cloud Whisperers: DevOps Demystified 🚀
dev.to·2d·
Discuss: DEV
❄️Nix Adoption
[D] Performance overhead of running ML inference in hardware-isolated environments - production metrics
reddit.com·1d·
Discuss: r/MachineLearning
📊Performance Profiling
New Rust-Based Tool Installs Ruby in Seconds
thenewstack.io·1d
🔗Dependency Resolution
Pydantic AI Reaches V1
pydantic.dev·23h·
Discuss: Hacker News
⚙️Proof Engineering
[Question] How to test remotely?
reddit.com·1d·
Discuss: r/golang
🏠Homelab Pentesting
Vibe Coding Our Way to Disaster
softwarearthopod.substack.com·1d·
Discuss: Substack
⚔️Lean Tactics