⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·2d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Is Sass Dead Yet? CSS Mixins & Functions &c
conffab.com·2d·
Discuss: Lobsters
🔗Concatenative Programming
Wait, why are we paying more for VSCode forks again?
trunk.io·1d·
Discuss: Hacker News
🦀Rust Macros
Formal Inertia
daedeluskite.com·2d·
Discuss: Hacker News
λLambda Formalization
Inside the relentless race for AI capacity
ig.ft.com·2d·
Discuss: Hacker News
🏠Homelab Archaeology
The Reanimated Renaissance, C-Speed Compression, and JSON-Loving LLMs
thereactnativerewind.com·3d·
Discuss: Hacker News
🎬WebCodecs
China’s AI Security Ecosystem
digitalforensicsmagazine.com·10h
🇨🇳Chinese Computing
Ask HN: Why do so many developers dislike C when I find it inspiring?
news.ycombinator.com·3d·
Discuss: Hacker News
🔩Systems Programming
Smart Segments: Krita plugin that adds Segment Anything object selection using
github.com·3d·
Discuss: Hacker News
⟷Bidirectional Programming
How I Set Up Qwen3-Coder with Claude Code (and Why You Should Too)
dev.to·5h·
Discuss: DEV
🚀Indie Hacking
Machine Learning Fundamentals: k-nearest neighbors tutorial
dev.to·3d·
Discuss: DEV
🧠Machine Learning
From Sufficiency to Reflection: Reinforcement-Guided Thinking Quality in Retrieval-Augmented Reasoning for LLMs
arxiv.org·2d
🔍Information Retrieval
Linux 6.17 Memory Management Optimizations, DAMON_STAT & Other Improvements
phoronix.com·6h
🔩Systems Programming
Radio Adversarial Attacks on EMG-based Gesture Recognition Networks
arxiv.org·3d
🔍Vector Forensics
A Hands-On Guide to Model Context Protocol (MCP)!
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Survey on Operator Discoverability
reddit.com·3d·
Discuss: r/kubernetes
📦Container Security
Show HN: AgentOS-An Early OS for Coding Agents Memory and Execution and Learning
news.ycombinator.com·2d·
Discuss: Hacker News
🌐WASI
From Nope to "Yes, Mom, I Applied." Or almost.
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Which AI Reigns? GPT‑4, Claude, LLaMA, Perplexity & AI Studio
dev.to·1d·
Discuss: DEV
🤖AI Curation
MCIF: Multimodal Crosslingual Instruction-Following Benchmark from Scientific Talks
arxiv.org·4d
🎙️Whisper