The Signal Protocol Explained #1: Implementing the Post-Quantum Extended Diffie-Hellman (PQXDH) protocol in Rust
kerkour.com·1d·
Discuss: Hacker News
🔐Quantum Security
Nvidia's CUDA Platform Now Support RISC-V
hardware.slashdot.org·1d
📊RISC-V Vectors
Want Discriminated Unions in Kotlin? Use a Sealed Class.
spin.atomicobject.com·1d·
Discuss: Hacker News
💧Liquid Types
Use Qwen3-Coder (Or Any Other LLM) with Claude Code
old.reddit.com·1d·
Discuss: r/LocalLLaMA
🔒Linear Types
Software Sprawl, the Golden Path, and Scaling Teams with Agency
charity.wtf·9h·
Discuss: Hacker News
🦋Format Evolution
Agentic AI Threat Modeling Framework: Maestro
cloudsecurityalliance.org·6h·
Discuss: Hacker News
🎯Threat Hunting
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·1d
🌐NetworkProtocols
The Epochalypse: It’s Y2K, But 38 Years Later
hackaday.com·2d
🌳Archive Merkle Trees
The Linux Kernel Seeing Rare Code Activity Around SPARC64
phoronix.com·12h·
Discuss: Hacker News
🔍eBPF
Rickrolling Turso DB (SQLite rewrite in Rust)
avi.im·4d·
Discuss: Lobsters, Hacker News, r/programming
💾SQLite
[D] problems with pytorch's mps backend
reddit.com·1d·
Discuss: r/MachineLearning
🗃️Punch Card Recovery
A 27M-param model that solves hard Sudoku/mazes where LLMs fail, without CoT
github.com·2d·
Discuss: Hacker News
🎯Emulator Accuracy
Top AI Agent Protocols for Developers in 2025
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
systemd 258-rc1 Is A Massive Feature Release With New Tools, More Than 260 Changes
phoronix.com·1d·
Discuss: Lobsters, Hacker News
🔌Operating system internals
MultiNRC: A Challenging and Native Multilingual Reasoning Evaluation Benchmark for LLMs
arxiv.org·18h
🧮SMT Solvers
Building RideLink with Bolt.new: From Frustration to Functional App in One Month
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
💻Vibe Coding Helped Me Move Fast, but...
dev.to·1d·
Discuss: DEV
📏Code Metrics
Automate Doc Maintenance: Detect and Update Outdated Docs Using Algolia MCP Server, n8n, and LLM
dev.to·17h·
Discuss: DEV
🤖Archive Automation
Cursor AI Pricing: 2025 Complete Guide Analysis to Plans
dev.to·3d·
Discuss: DEV
🖥️Modern Terminals
[AutoBE] We made AI Friendly Compilers for Vibe Coding
dev.to·1d·
Discuss: DEV
📜Proof Carrying Code