Sensor Logger with Email Reports in 10 min (No coding)
hackster.io·1d
🔌Single Board PC
OpenSSL 3.6 Released with New FIPS, LMS Signatures
linuxiac.com·3d
📜Proof Carrying Code
Online Retro IDE: x86 and BBC Micro Updates
retrogamecoders.com·1d·
Discuss: Hacker News
📼Retro Games
Reversing the Technical Interview (2017)
aphyr.com·3d·
Discuss: Hacker News
🎮Switch Archaeology
Daniel Stenberg's note on AI assisted curl bug reports
simonwillison.net·2d
🚀Indie Hacking
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·1d·
Discuss: Hacker News
🔬Lean
Level Up your Rust pattern matching
blog.cuongle.dev·5d·
🦀Rust Verification
Be Worried
dlo.me·1d·
Discuss: Hacker News
🤖AI Curation
Microsoft scrambles to fix annoying Defender issue that demands users update their devices
techradar.com·1d
🔒Secure Boot
Big Ball of Mud: What You Need to Know About the Antipattern, How to Avoid It, and More
hackernoon.com·2d
🧩WASM Components
Quantum Entanglement Unlocks Unbreakable Randomness for Next-Gen Cryptography
hackernoon.com·4d
🔐Quantum Security
Native iOS SwiftUI Client for Actual Budget
github.com·15h·
🍎XNU Internals
Foremost, Fastest, Shortest: Temporal Graph Realization under Various Path Metrics
arxiv.org·2d
🕸️Network Topology
VidGuard-R1: AI-Generated Video Detection and Explanation via Reasoning MLLMs and RL
arxiv.org·2d
📊Learned Metrics
Detoxifying Large Language Models via Autoregressive Reward Guided Representation Editing
arxiv.org·2d
💻Local LLMs
Smarter Valves: Automating Compliance with AI-Powered Specifications
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Building My First Large Language Model from Scratch
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·12h·
Discuss: DEV
🌀Brotli Internals
Efficient Quantum Field Theory Simulations via Hybrid Tensor Network & Variational Autoencoder Approach
dev.to·15h·
Discuss: DEV
🕸️Tensor Networks