Reading List 08/02/2025
construction-physics.com·7h
🏠Home Automation
IMO 2024 and 2025
blog.evanchen.cc·4d
⚙️Proof Engineering
Is your phone spying on you? | Unlocked 403 cybersecurity podcast (S2E5)
welivesecurity.com·1d
🛡Cybersecurity
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·1d·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Show HN: JavaScript algorithm prep that teaches language-specific patterns
memoized.io·3d·
Discuss: Hacker News
⚡Proof Automation
Mun Programming Language
mun-lang.org·1d·
Discuss: Hacker News
🔩Systems Programming
Hijacking multi-agent systems in your PajaMAS
blog.trailofbits.com·2d·
Discuss: Hacker News
🔒WASM Capabilities
Live coding interviews measure stress, not coding skills
hadid.dev·1d·
Discuss: Hacker News
📏Code Metrics
The fastest thing known to man is all set to make your PCs & phones "1000 times faster"
neowin.net·11h·
Discuss: Hacker News
⚛️Quantum Tape
Vibe Coding but not what you think
amritpandey.io·2d·
Discuss: Hacker News
📏Code Metrics
🔧 DIY 3x3 Macropad (RP2040-Zero + CircuitPython) – Work in Progress! 🎉
dev.to·1d·
Discuss: DEV
⌨️Mechanical Keyboards
Buying Snapchat Accounts: The Ultimate Guide for Businesses and Influencers
dev.to·1h·
Discuss: DEV
📡RSS Readers
Hackaday Podcast Ep 331: Clever Machine Tools, Storing Data in Birds, and the Ultimate Cyberdeck
hackaday.com·1d
🧪Cassette Hacks
Safe Place to Buy Airbnb Host Accounts Online – ID Verified & Activated in 2025
dev.to·23h·
Discuss: DEV
✅Format Verification
"Blockchain-Enabled Zero Trust Framework for Securing FinTech Ecosystems Against Insider Threats and Cyber Attacks"
arxiv.org·4d
🤝Distributed Consensus
AI's Architecture: Infrastructure Realities Behind the Hype | Electricity or Bubble?
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Comparing Normalizing Flows with Kernel Density Estimation in Estimating Risk of Automated Driving Systems
arxiv.org·2d
🧠Machine Learning
From Prompt to Pipeline: Large Language Models for Scientific Workflow Development in Bioinformatics
arxiv.org·4d
🦀Rust Macros
Transforming Legacy Insurance with Neo4J,Redis and AI — robust, scalable, low latency — Smart Crawling Legacy Portal.
dev.to·3d·
Discuss: DEV
🌊Apache Kafka
Post-Training Large Language Models via Reinforcement Learning from Self-Feedback
arxiv.org·3d
💻Local LLMs