Nov 13 2025 : Linux Install Party
nycresistor.com·7h
⚙️DIY Electronics
Flag this post
ELISA seminar recap : Introduction to Requirements Engineering – Pete Brink, UL Solutions
elisa.tech·15h
📋Formal Verification
Flag this post
Error Codes for Control Flow
matklad.github.io·1d·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Introducing the Web Thing Protocol
tola.me.uk·19h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
original ↗
jamesoclaire.com·1d·
Discuss: Hacker News
🏠Personal Archives
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·4d·
Discuss: Lobsters, Hacker News
⚖️Verification Calculi
Flag this post
How I Leverage LLMs
indiethinkers.com·20h·
Discuss: Hacker News
💻Local LLMs
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·4d·
Discuss: Hacker News
🎯Dependent Types
Flag this post
I built sbsh: Persistent terminal sessions with discovery, profiles, and an API
news.ycombinator.com·2d·
Discuss: Hacker News
🐚Nordic Shell
Flag this post
The Hackers Manifesto (The Conscience of a Hacker) (1986)
phrack.org·2d·
Discuss: Hacker News
🔓Hacking
Flag this post
Archinstall 3.0.13 Adds WiFi Connection Menu To Arch Linux Installer
phoronix.com·16h
🔌Operating system internals
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·2d·
Discuss: Hacker News
⚙️Batch Processing
Flag this post
QSPI on EK-RA6M5
hackster.io·1d
🔌Single Board PC
Flag this post
Shiroa: MdBook for Typst
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Show HN: Polyglot Docker dev environment setup – C/C++/Rust/Python
github.com·3d·
Discuss: Hacker News
🕸️WebAssembly
Flag this post
Quantum-Resistant Federated Learning: Securing Distributed Model Training Against Future Cryptanalytic Attacks
dev.to·1d·
Discuss: DEV
🔐Quantum Security
Flag this post
Show HN: I'm open sourcing my Chrome extension that uses AI to modify websites
github.com·1d·
Discuss: Hacker News
🎬WebCodecs
Flag this post
AMD Contributes BFloat16 Support To LLVM's SPIR-V Target
phoronix.com·2d
🛡️RISC-V Security
Flag this post
Valve just made Steam Deck downloads much easier – and I hope this feature comes to all SteamOS handhelds
techradar.com·22h
🖥️Modern Terminals
Flag this post
Tortoise and Hare Guidance: Accelerating Diffusion Model Inference with Multirate Integration
arxiv.org·6h
📊Quantization
Flag this post