🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Setting Up A Soda Slam! and a Missile Command Recharged By Alan-1
arcadeheroes.com·1d
📺Retrogaming
Pac-Man: The Untold Story of How We Played the Game
retro-bitch.com·11h·
Discuss: Hacker News
🏺Gaming Archaeology
Five ways to defend against AI-powered-identity threats with Duo
duo.com·5d
🎯Threat Hunting
Turning Neighborhoods into Communities
supernuclear.substack.com·19h·
Discuss: Substack
🤝Consensus Networks
Introducing a smarter, faster Lumo 1.1
proton.me·2d·
Discuss: Hacker News
🎙️Whisper
APT36 Malware Campaign Using Desktop Entry Files and Google Drive Payload Delivery
cloudsek.com·1d·
Discuss: r/linux
💣ZIP Vulnerabilities
What Go Devs Are Doing About Observability in 2025
quesma.com·2d·
Discuss: Hacker News
👁️System Observability
Desync the Planet – Rsync Remote Code Execution
phrack.org·5d·
Discuss: Lobsters
🌳Archive Merkle Trees
An atomic cat video
heise.de·1d
⚛️Quantum Tape
Surfing sand and sea, herding beasts and other new indie games worth checking out
engadget.com·21h
🏺Gaming Archaeology
Sequoia Backs Zed's Vision for Collaborative Coding
zed.dev·4d·
Discuss: Hacker News
📐Delta Encoding
I had electric shock treatment in the 1960s. Now I want to know why | Ask Annalisa Barbieri
theguardian.com·3h
🔍Cassette Forensics
Blink Twice: Measuring Strategic Deception Amongst LLMs
coup.khoj.dev·4d·
Discuss: Hacker News
🎯Proof Tactics
AMD VitisT Al Integrated Development Environment
github.com·17h·
Discuss: Hacker News
🔓Open Source Software
A clever new Linux malware is breaking into systems - and then shutting the door behind it to avoid detection
techradar.com·3d
🔓Hacking
OpenJDK, Temurin, GraalVM... Which Java JDK Should You Actually Install in 2025?
dev.to·4d·
Discuss: DEV
🔄Reproducible Builds
Intruder Detection system
hackster.io·3d
🎯Threat Hunting
CORE: Measuring Multi-Agent LLM Interaction Quality under Game-Theoretic Pressures
arxiv.org·5d
🧮Kolmogorov Complexity
Breaking Reward Collapse: Adaptive Reinforcement for Open-ended Medical Reasoning with Enhanced Semantic Discrimination
arxiv.org·5d
🔲Cellular Automata
How Infosys built a generative AI solution to process oil and gas drilling data with Amazon Bedrock
aws.amazon.com·4d
📰RSS Archaeology