🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Covert Entry: Disguises We Use and Ones We Never Touch
wehackpeople.wordpress.com·8h
🕵️Penetration Testing
AI Kill Chain in Action: Devin AI Exposes Ports to the Internet with Prompt Injection
embracethered.com·1d
🧪Protocol Fuzzing
All the concerns that make you a boring developer
daverupert.com·2d
🔩Systems Programming
GNOME 49 Backlight Changes
blog.sebastianwick.net·17h·
Discuss: Lobsters, Hacker News, r/linux
🌈Color Archaeology
Powering Jonsbo N4
jonsbo.com·1d·
Discuss: r/homelab
⚡Homebrew CPUs
How America Wins the Invisible War
arenamag.com·15h·
Discuss: Hacker News
🇷🇺Russian Computing
Creating the Longest Possible Ski Jump in "The Games: Winter Challenge"
mrwint.github.io·1d·
Discuss: Hacker News
🎯Emulator Accuracy
Free and Ultra-Fast Coding Agent
marketplace.visualstudio.com·16h·
Discuss: Hacker News
🚀Indie Hacking
Why Building Billing Systems Is So Painful
dmitry.ie·2d·
Discuss: Hacker News
🔍BitFunnel
Project Ire autonomously identifies malware at scale
microsoft.com·3d·
Discuss: Lobsters, Hacker News
🦠Malware Analysis
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·4d·
Discuss: Hacker News
📼Tape Combinators
Built an IP Sweeper in Python to Check Live Hosts on a /24 Network
dev.to·2d·
Discuss: DEV
📟Terminal Forensics
Centralized Dynamic State Estimation Algorithm for Detecting and Distinguishing Faults and Cyber Attacks in Power Systems
arxiv.org·4d
👁️System Observability
Automating Boundary Filling in Cubical Type Theories
arxiv.org·5d
🔶Cubical Type Theory
Core – A self-governing AI that modifies its own code via a constitution
github.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Coherent Multimodal Reasoning with Iterative Self-Evaluation for Vision-Language Models
arxiv.org·3d
📊Learned Metrics
Reasoning Beyond Labels: Measuring LLM Sentiment in Low-Resource, Culturally Nuanced Contexts
arxiv.org·2d
🌳Context free grammars
Automated Fuzzy Rule Optimization via Hybrid Genetic-Simulated Annealing for Medical Diagnostic Systems
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
AI Isn't Ending Developer Careers. It's Changing Them.
dev.to·20h·
Discuss: DEV
🔄Language Evolution
How AI Can Predict and Prevent Merge Conflicts Before They Happen
dev.to·2d·
Discuss: DEV
🌿git