RTL generation for custom CPU Mrav
popovicu.com·4d
⚙️Modern Assembly
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·19h·
Discuss: Hacker News
👑Isabelle
Inside Zig's New Writer
joegm.github.io·6h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Quality Precision
lesswrong.com·2d·
Discuss: Hacker News
✅FLAC Verification
Grand Challenges in Trustworthy Computing at 20: A Retrospective Look at the Second CRA Grand Challenges Conference
cacm.acm.org·5h
🌐Network Security
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.org·1d
⚖️RISC-V Formal
Enhanced MRE Wave Propagation Analysis via Adaptive Kalman Filtering and Spectral Decomposition
dev.to·2h·
Discuss: DEV
🧲Magnetic Resonance
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·9h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Chaos or comfort: a reflection on the engineer's quest
carette.xyz·2d·
Discuss: Hacker News
🔐Capability Systems
Notes on Autograd
aschrein.github.io·2d·
Discuss: Hacker News
⚡Incremental Computation
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·2d·
Discuss: Hacker News
⚡Proof Automation
The Gold Standard of Cloud Security: Why Our SOC2 Type 2 Compliance Sets Backblaze Apart
backblaze.com·5h
✅Archive Fixity
Mojo Vision
docs.modular.com·1d·
Discuss: Hacker News
🔩Systems Programming
Day 13: AI-Driven Quality Assurance - The Systematic Breakthrough
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
**High-Performance Packet Processing: Combining eBPF, XDP, and Go for Million-Packet-Per-Second Throughput**
dev.to·2d·
Discuss: DEV
🛡️eBPF Programs
PRISM: Robust VLM Alignment with Principled Reasoning for Integrated Safety in Multimodality
arxiv.org·16h
💻Local LLMs
AI Native Infrastructure Automation
systeminit.com·5h·
Discuss: Hacker News, r/devops
🏠Homelab Automation
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.org·1d
🕸️Network Topology
Make the Easy Change Hard
blog.appliedcomputing.io·2d·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Building your own CLI Coding Agent with Pydantic-AI
martinfowler.com·9h
⚡Proof Automation