Bug in Circuit: Learn Debugging with This IoT Relay Board
hackster.io·7h
🔌Single Board PC
Speeding up sideeffects with JIT in mountaineer
pierce.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Building static websites for dummies (2024)
kirancodes.me·1h·
Discuss: Hacker News
🌀Brotli Internals
Memory Safety Is Merely Table Stakes
usenix.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Adaptive Hybrid Sort: Dynamic Strategy Selection for Optimal Sorting Across Diverse Data Distributions
arxiv.org·1d
🌳Trie Structures
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·2d·
Discuss: Hacker News
🧭Content Discovery
The Heart of Software Engineering Still Beats
annievella.com·2d·
Discuss: Hacker News
📏Code Metrics
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·4d
⚖️Hoare Logic
Feedback wanted: We’re auto-generating Kubernetes operators from OpenAPI specs (introducing oasgen-provider)
reddit.com·4h·
Discuss: r/kubernetes
🔓Open Source Software
How to Banish Anxiety, Lower MTTR, and Stay on Budget During Incident Response
dev.to·1d·
Discuss: DEV
👁️System Observability
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·3d·
Discuss: DEV
✓Automated Theorem Proving
Day 18: When Automation Goes Wrong
dev.to·4h·
Discuss: DEV
⚡Proof Automation
From Painful API Testing to AI-Powered Ease with Keploy
dev.to·23h·
Discuss: DEV
⚡Proof Automation
Deep Learning Framework Testing via Model Mutation: How Far Are We?
arxiv.org·4d
🧪Property-Based Testing
IDGraphs: Intrusion Detection and Analysis Using Stream Compositing
arxiv.org·1d
🦠Malware Analysis
Juris.js: Non-Blocking Rendering: The Game-Changer in Modern Web Development
dev.to·1d·
Discuss: DEV
🌊Stream Processing
My Keploy Testing Experience
dev.to·14h·
Discuss: DEV
🔄Reproducible Builds
Implementing Multi-tenancy with Keycloak and NestJS
dev.to·20h·
Discuss: DEV
🏺Kerberos Archaeology
Navigating the 'It Works on My Machine' Maze: A Developer's Guide to Consistent Local Environments
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·2d·
Discuss: DEV
🌊Stream Processing