Bazel and action (non-) determinism
jmmv.dev·2d
🔄Reproducible Builds
The Signal Protocol Explained #1: Implementing the Post-Quantum Extended Diffie-Hellman (PQXDH) protocol in Rust
kerkour.com·22h·
Discuss: Hacker News
🔐Quantum Security
Using a Decision Tree to Find the Tipping Point for Elite MLB Hitters
runningonnumbers.com·6h·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Tailscale: The State of Zero Trust
tailscale.com·19h·
Discuss: Hacker News, Hacker News
🌐Network Security
Thinking Machines and the Second Wave: Why $2B Says Everything About AI's Future
decodingdiscontinuity.com·12h·
Discuss: Hacker News
✓Automated Theorem Proving
Display Next Hackfest 2025
zamundaaa.github.io·1d·
Discuss: Lobsters, Hacker News, r/linux
🖥️Modern Terminals
Vacation Outfit Packing: What’s Trending and How to Style It in 2025
dev.to·19h·
Discuss: DEV
📖Nordic Typography
How complicated is the code of the borrow checker?
reddit.com·15h·
Discuss: r/rust
🦀Rust Borrowing
Forcing Myself to Vibe Code
kevinhighwater.com·2d·
Discuss: Hacker News
⚔️Lean Tactics
China's CXMT reportedly delays mass production of DDR5 chips to late 2025 — state-backed manufacturer could still be disruptive market force
tomshardware.com·18h
⚡Hardware Transactional Memory
Green ammonia revolution: New electrolyte strategy boosts sustainable fertilizer production
phys.org·13h
🌈Spectroscopy
Dynamic Simulation Framework for Disinformation Dissemination and Correction With Social Bots
arxiv.org·40m
🤝Consensus Networks
Are you thinking about homelabbing but have little technical experience? Start small!
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Building Sentient Space(a social media platform): A Story of AI Speed, Human Grit, and a Bug That Wouldn't Die
dev.to·22h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
A 27M-param model that solves hard Sudoku/mazes where LLMs fail, without CoT
github.com·1d·
Discuss: Hacker News
🎯Emulator Accuracy
MultiNRC: A Challenging and Native Multilingual Reasoning Evaluation Benchmark for LLMs
arxiv.org·40m
🧮SMT Solvers
Recent research explores maximizing circularity in plastics supply chains
phys.org·2d
💰Preservation Economics
Content-based 3D Image Retrieval and a ColBERT-inspired Re-ranking for Tumor Flagging and Staging
arxiv.org·40m
🧮Vector Embeddings
Proton's New AI Assistant Lumo Offers Encrypted Chat Alternative
macrumors.com·17h
🔌Operating system internals
SharePoint under fire: new ToolShell attacks target enterprises
securityaffairs.com·1d
🛡Cybersecurity