Make Your Own Backup System – Part 1: Strategy Before Scripts
it-notes.dragas.net·1d
💿Backup Strategies
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·2d
🔄Reproducible Builds
Python Fundamentals: case
dev.to·2d·
Discuss: DEV
✅Format Verification
Machine Learning Fundamentals: ensemble learning
dev.to·1h·
Discuss: DEV
🎵Audio ML
A PhD's Apology
cappadokes.github.io·3d·
Discuss: Hacker News
🧮Theoretical Computer Science
Automated Function ID Database Generation in Ghidra on Windows
blog.mantrainfosec.com·2d·
Discuss: Hacker News
🔓Decompilation
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.org·1d
📊APL Heritage
We Do Not Break Userspace
lore.kernel.org·16h·
Discuss: Hacker News
🐧FOSS
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·2d·
Discuss: Hacker News
🔗Concatenative Programming
In the long run, GPL code becomes irrelevant (2015)
josephg.com·1d·
Discuss: Hacker News
🔓Open Source Software
How i ditched LangChain to create my own custom RAG
dev.to·6h·
Discuss: DEV
🤖Archive Automation
How to write Rust in the Linux kernel: part 3
lwn.net·19h·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·3d·
Discuss: Hacker News
🎯Interactive Provers
Are We Cooked?
bonnycode.com·20h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Zig Interface Revisited
williamw520.github.io·3d·
Discuss: Hacker News
🧩WASM Components
Why We Develop EloqDB Mainly in C++
eloqdata.com·2d·
Discuss: Hacker News
🦀Rust Borrowing
GPT-4.1 Beast Prompt
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·1d
🛡️Proof-Carrying Archives
SIOF (Scheme in One File) – A Minimal R7RS Scheme System
github.com·6h·
Discuss: Hacker News
🧠Lisp Dialects
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·1d·
Discuss: Hacker News
📊Quantization