Tooling for Maintaining YAML Files
stuartellis.name·3d
📦Package Managers
What Is Anti-Phishing? Tools and Tactics to Protect Your Organization
vmray.com·1d
🎯Threat Hunting
Announce: Gentoo Build Publisher 3.0.0
lunarcowboy.com·1d
🔌Operating system internals
The Hacker Webring
ring.acab.dev·6h·
Discuss: Lobsters
🚀Indie Hacking
Hacking Electronic Safes
schneier.com·10h
🔓Hacking
Safe Platform to Buy Old Gmail Accounts Accounts in 2025
dev.to·5h·
Discuss: DEV
🔗Data Provenance
Lapsoss: Vendor-neutral error tracking for Rails apps
telebugs.com·11h·
Discuss: Hacker News
❄️Nix Flakes
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·17h
⚔️Lean Tactics
Portable C++ Guideline
github.com·7h·
Discuss: Hacker News
🦀Rust Borrowing
PHP: A fractal of bad design (2012)
eev.ee·1d·
Discuss: Hacker News
📝Concrete Syntax
AI App Builders: From Demos to Durability. The Case for Code Quality
blog.withwoz.com·6h·
Discuss: Hacker News
📏Code Metrics
Rerun 0.25 released, with transparency and improved tables
github.com·11h·
Discuss: Hacker News
📊Performance Profiling
Compiling with Continuations
swatson555.github.io·17h·
Discuss: Hacker News
💻Programming languages
Build ClickHouse-Powered APIs with React and MooseStack
clickhouse.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Ask HN: How can I test FTS5 engine in SQLite3?
news.ycombinator.com·1d·
Discuss: Hacker News
🗄️SQLite Internals
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧮Z3 Solver
Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.to·19h·
Discuss: DEV
🔍Concolic Testing
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·1d
🧮Algebraic Datatypes
Layout-Aware OCR for Black Digital Archives with Unsupervised Evaluation
arxiv.org·17h
🤖Advanced OCR
Securing Node.js development environment with AppArmor
dmitrychekanov.com·3h·
Discuss: Hacker News
🛡️CLI Security