Three ways formally verified code can go wrong in practice
buttondown.com·1d
📜Proof Carrying Code
XProc 3 Steps as XSpec Test Helper Functions
medium.com·1d
🔀XSLT
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·1d
🔄Reproducible Builds
AWS RDS Data API Deep Dive
proactiveops.io·13h·
Discuss: Hacker News
🌊Streaming Databases
The Day I Hacked XCTrack
blog.syrac.org·1d·
Discuss: Hacker News
🔐PKI Archaeology
Picking an AI Code Reviewer
markmarkoh.com·1d·
Discuss: Hacker News
📏Code Metrics
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·1d·
Discuss: Lobsters, Hacker News
📊APL Heritage
[P] PKBoost: Biologically-Inspired Rust Gradient Booster for Drift/Adversarial ML (“Out-of-the-Box” Wins vs XGBoost/LGBM/CB)
reddit.com·13h·
Discuss: r/MachineLearning
⚡Homebrew CPUs
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·20h·
Discuss: DEV
📊Multi-vector RAG
Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
arxiv.org·2d
🛡Cybersecurity
Why Go (Golang) Is Worth Learning in 2025
dev.to·10h·
Discuss: DEV
🧠Lisp Dialects
Autonomous AI Hacking and the Future of Cybersecurity
schneier.com·1d·
Discuss: Hacker News
🎯Threat Hunting
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·2d
🔲Cellular Automata
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·1d·
Discuss: r/programming
🧠Lisp Dialects
Enhanced Arc-Fault Current Detection via Dynamic Bayesian Network Inference
dev.to·17h·
Discuss: DEV
🌊Stream Processing
Harness CEO Jyoti Bansal on Why AI Coding Doesn’t Help You Ship Faster
thenewstack.io·1d
🔄Language Evolution
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com·8h·
Discuss: Hacker News
🌀Brotli Internals
Trying to find an app to overview my homelab
reddit.com·9h·
Discuss: r/homelab
🏠Homelab Archaeology
Why The Future of Code Is More Human Than Ever
dev.to·1d·
Discuss: DEV
📏Code Metrics