Literate testing with pytest-bashdoctest helps keep your Bash examples up-to-date
danielnouri.org·3h
📝Shell Parsing
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
Avalue EPC-ASL Intel N97 fanless industrial mini PC is designed for 24/7 operation
cnx-software.com·1d
🔌Single Board PC
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com·20h·
Discuss: Hacker News, r/hardware
🖥️Terminal Renaissance
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·2d·
Discuss: Hacker News
🔐Hash Functions
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·20h·
Discuss: Hacker News, r/programming
🛡️Byzantine Fault Tolerance
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3d·
Discuss: Hacker News
🎯Performance Proofs
Sync PUBG and Hardware IDs
github.com·5h·
Discuss: Hacker News
🔒Hardware Attestation
Static Bundle Object: Modernizing Static Linking
medium.com·4d·
Discuss: Hacker News, Hacker News
🔗Static Linking
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·2h·
Discuss: DEV
📊Quantization
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·22h·
Discuss: Hacker News
🛡️RISC-V Security
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·18h·
Discuss: DEV
⚙️Proof Engineering
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·3d
💨Cache Optimization
Fears over AI bubble bursting grow in Silicon Valley
bbc.com·14h·
Discuss: Hacker News, r/news
🖥️Modern Terminals
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·17h·
Discuss: Hacker News
⚡Proof Automation
Padding
reddit.com·12h·
Discuss: r/golang
🔧KAITAI
Stop Worrying and Love the Bomb
bitbytebit.substack.com·2h·
Discuss: Substack
⚙️Build Archaeology
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔐Quantum Cryptography
Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects
github.com·1d·
Discuss: Hacker News
📦Git LFS