Three ways formally verified code can go wrong in practice
buttondown.com·1d
📜Proof Carrying Code
Linux 6.18 Lands Retpoline Optimization To Help With Intel E Cores
phoronix.com·10h
⚡CPU Microarchitecture
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·1d
🔄Reproducible Builds
AWS RDS Data API Deep Dive
proactiveops.io·16h·
Discuss: Hacker News
🌊Streaming Databases
The Day I Hacked XCTrack
blog.syrac.org·1d·
Discuss: Hacker News
🔐PKI Archaeology
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com·3d·
Discuss: Hacker News
🔓Reverse engineering
[P] PKBoost: Biologically-Inspired Rust Gradient Booster for Drift/Adversarial ML (“Out-of-the-Box” Wins vs XGBoost/LGBM/CB)
reddit.com·16h·
Discuss: r/MachineLearning
⚡Homebrew CPUs
Red Hat will begin to integrate even further into IBM. About to get into enshittification?
reddit.com·12h·
Discuss: r/linux
🐧FOSS
Harness CEO Jyoti Bansal on Why AI Coding Doesn’t Help You Ship Faster
thenewstack.io·1d
🔄Language Evolution
Quantifying Narrative Coherence: A Hybrid Symbolic-Neural Approach for Automated Literary Evaluation
dev.to·1h·
Discuss: DEV
🔤Character Classification
Trying to find an app to overview my homelab
reddit.com·12h·
Discuss: r/homelab
🏠Homelab Archaeology
Why The Future of Code Is More Human Than Ever
dev.to·1d·
Discuss: DEV
📏Code Metrics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·13h·
Discuss: DEV
📊Multi-vector RAG
Building on vibes: Lessons from three years with LLMs
world.hey.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·16h·
Discuss: DEV
📊Quantization
The Machine Learning Practitioner’s Guide to Agentic AI Systems
machinelearningmastery.com·1d
🤖Grammar Induction
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·7h·
Discuss: DEV
📊Multi-vector RAG
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1h·
Discuss: DEV
🌀Brotli Internals
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1d·
Discuss: DEV
🔍Concolic Testing