'Confucius' Cyberspy Evolves From Stealers to Backdoors in Pakistan
darkreading.com·6h
🔓Hacking
This is serious, I am not kidding
aardvark.co.nz·1d
⚡Proof Automation
Python Morsels: Why splitlines() instead of split("\n")?
pythonmorsels.com·2d
📝Concrete Syntax
docusealco/docuseal
github.com·4d
📄PostScript
Geocodio's Development Manifesto
geocod.io·2d·
Discuss: Hacker News
💾Persistence Strategies
Stealing Debug Pretty Print from Vitis HLS
stefanabikaram.com·3d·
Discuss: Hacker News
📺VT100 Emulation
The Apology of MCP
aaazzam.substack.com·2h·
Discuss: Substack
🌐Protocol Synthesis
io_uring is not an event system (2021)
despairlabs.com·3d·
Discuss: Lobsters, Hacker News, Hacker News
🔩Systems Programming
Context Engineering: Improving AI Coding Agents Using DSPy GEPA
medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Can We Terraform Our Way Out of Earth?
hackernoon.com·2d
🚀Indie Hacking
Packing Multiple Services into One Rust Binary
carlriis.com·6d·
Discuss: Hacker News
🔒Linear Types
OpenSSL 3.6 Released with New FIPS, LMS Signatures
linuxiac.com·1d
📜Proof Carrying Code
Immich v2.0.0 - Stable Release
github.com·21h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
ELA-1533-1 libcpanel-json-xs-perl security update
freexian.com·20h
🛡️CBOR Security
Feedback Forensics: A Toolkit to Measure AI Personality
arxiv.org·1d
🧠Intelligence Compression
The Machine Learning Lessons I’ve Learned This Month
towardsdatascience.com·2d
🌊Streaming Algorithms
SiFive Premier P550, Apple M2 Pro/Max/Ultra DTs & Other SoC Changes For Linux 6.18
phoronix.com·4h
🔌Operating system internals
Kyverno Gets Smarter: Writing Dynamic Policies with CEL -- Koray Oksay
youtube.com·18h
👑Coq Tactics
Rethinking JEPA: Compute-Efficient Video SSL with Frozen Teachers
arxiv.org·2d
🎯Arithmetic Coding Theory
How Kyverno has Changed Platform Engineering Security -- Pedro Ignacio, Itaú Unibanco
youtube.com·18h
🎫Kerberos History