Bugcrowd CTF 2025
infosecwriteups.com·58m
⚡Proof Automation
From Linux Primitives to Kubernetes Security Contexts
learnkube.com·17h
📦Container Security
Deleting the Wrong Part or Process: Concrete Thinking in Software Organizations
blog.colinbreck.com·1d
💾Persistence Strategies
Condition Systems in an Exceptional Language by Chris Houser
gist.github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Building Modern Proxmox Infrastructures in 2025: Automated, Scalable, and Open for Everyone
gyptazy.com·16h
🔗Proxmox Clustering
Canonical's OpenJDK builds promise devs more speed and 12 years of support
zdnet.com·12h·
Discuss: Hacker News
🔓Open Source Software
Typescript and Gemini evil mode
markjgsmith.com·1d
🎯Gradual Typing
Automated Code Dependency Analysis & Remediation via Graph Neural Networks
dev.to·13h·
Discuss: DEV
🔗Topological Sorting
Database Categories Are Dead: Here’s What’s Next
thenewstack.io·18h
🗄️Database Sharding
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·1d·
Discuss: Hacker News, r/programming
🔒Type Safety
OCaml Blockly
cambridge.org·1d·
Discuss: Hacker News
🧠Lisp Dialects
How do you handle aggregate persistence cleanly in Go?
reddit.com·1d·
Discuss: r/golang
⛏️SQL Archaeology
Going Faster Than Memcpy
squadrick.dev·1d·
Discuss: Hacker News, r/programming
⚡Cache Coherence
Database.news – curated list of database news from authoritative sources
database.news·14h·
Discuss: Lobsters, Hacker News
🦴Database Paleontology
I created SerdeCraft - Serialize Rust data structures into Minecraft blocks using Serde
github.com·17h
🔒Linear Types
The modern packager's security nightmare (2021)
blogs.gentoo.org·1d·
Discuss: Hacker News
📦Package Managers
Jepsen: Capela dda5892
jepsen.io·4d·
Discuss: Lobsters, Hacker News, r/programming
📊APL Heritage
Python 3.14 Release Candidate Lands: Faster Code, Smarter Concurrency
realpython.com·17h
🌀Brotli Internals
Bcachefs to be removed from mainline Linux kernel
lore.kernel.org·10h·
Discuss: Hacker News
💿ZFS Scrubbing
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
arxiv.org·3h
🎯Performance Proofs