'Confucius' Cyberspy Evolves From Stealers to Backdoors in Pakistan
darkreading.comยท8h
๐Ÿ”“Hacking
This is serious, I am not kidding
aardvark.co.nzยท1d
โšกProof Automation
NEWS ROUNDUP โ€“ 1st October 2025
digitalforensicsmagazine.comยท1d
๐ŸšจIncident Response
Show HN: Built a free online SVG converter
svgconverter.onlineยท13hยท
Discuss: Hacker News
๐Ÿ“ธPNG Optimization
docusealco/docuseal
github.comยท4d
๐Ÿ“„PostScript
Scientists to attempt to rear swallowtail butterflies from eggs frozen in nitrogen
theguardian.comยท9h
๐Ÿ”Archive Encryption
The Apology of MCP
aaazzam.substack.comยท4hยท
Discuss: Substack
๐ŸŒProtocol Synthesis
io_uring is not an event system (2021)
despairlabs.comยท3dยท
๐Ÿ”ฉSystems Programming
Context Engineering: Improving AI Coding Agents Using DSPy GEPA
medium.comยท1dยท
Discuss: Hacker News
โœ“Automated Theorem Proving
OpenSSL 3.6 Released with New FIPS, LMS Signatures
linuxiac.comยท1d
๐Ÿ“œProof Carrying Code
ThinkBrake: Mitigating Overthinking in Tool Reasoning
arxiv.orgยท17h
๐ŸงฎZ3 Solver
Dialing Back to Move Forward: Why the Landline Revival Signals a Future for Privacy
puri.smยท1d
๐Ÿ“กRSS Readers
Intel Linux Setbacks, Linux Kernel Drama & Other Q3 Highlights
phoronix.comยท2d
๐ŸงฒRISC-V Preservation
Restacked my Lab this weekend with new gear
reddit.comยท1dยท
Discuss: r/homelab
๐Ÿ HomeLab
Immich v2.0.0 - Stable Release
github.comยท23hยท
๐Ÿ”„Sync Engine
ELA-1533-1 libcpanel-json-xs-perl security update
freexian.comยท22h
๐Ÿ›ก๏ธ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ยท6h
๐Ÿ”ŒOperating system internals
Kyverno Gets Smarter: Writing Dynamic Policies with CEL -- Koray Oksay
youtube.comยท20h
๐Ÿ‘‘Coq Tactics