Linux 6.18 Lands Retpoline Optimization To Help With Intel E Cores
phoronix.comยท12h
โšกCPU Microarchitecture
AWS RDS Data API Deep Dive
proactiveops.ioยท18hยท
Discuss: Hacker News
๐ŸŒŠStreaming Databases
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.comยท1d
๐Ÿ”„Reproducible Builds
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ยท
๐Ÿ“œProof Carrying Code
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.comยท3dยท
Discuss: Hacker News
๐Ÿ”“Reverse engineering
Show HN: Plural โ€“ Bringing AI to DevOps the way Cursor did for coding
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Three ways formally verified code can go wrong in practice
buttondown.comยท1dยท
๐Ÿ“œProof Carrying Code
I analyzed 70 Data Breaches. Three controls would have stopped 65% of them
securityblueprints.ioยท2dยท
Discuss: Hacker News
๐Ÿ”Capability Systems
Red Hat will begin to integrate even further into IBM. About to get into enshittification?
reddit.comยท15hยท
Discuss: r/linux
๐ŸงFOSS
Lobsters Interview with Zdsmith
lobste.rsยท2dยท
Discuss: Lobsters
๐Ÿ”—Concatenative Programming
Markdown2pdf โ€“ pure md to pdf transpiler implementation in Rust
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“„PDF Internals
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ยท10hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.toยท4hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Title: Anthropic's Claude AI Model Now Supports Longer Prompts with a Million-Token Context Window
dev.toยท7hยท
Discuss: DEV
๐Ÿค–Lisp Machines
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.comยท1dยท
๐Ÿ› ๏ธGreaseweazle
Real-time Anomaly Detection in Financial Transactions via Hybrid Reinforcement Learning and Graph Neural Networks
dev.toยท15hยท
Discuss: DEV
๐Ÿ”Vector Forensics
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Concolic Testing
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.toยท14hยท
Discuss: DEV
โšกProof Automation