🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

How ChatGPT Claude interprets my blog
thomasrigby.com·7h
🏠Personal Archives
How Apps and Your Phone Can Expose Your Life Without Permission
paloaltonetworks.com·13h
🛡Cybersecurity
Introducing SRA Verify – an AWS Security Reference Architecture assessment tool
aws.amazon.com·8h
🌳Archive Merkle Trees
Can AI Think - and Should It? What It Means To Think, From Plato To ChatGPT
slashdot.org·23h
🔲Cellular Automata
Crafting a dependent typechecker, part 1
blueberrywren.dev·4d·
Discuss: Hacker News
🔗Functional Compilers
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·4d·
Discuss: Hacker News
📊Quantization
Airside Labs
dev.to·8h·
Discuss: DEV
🕵️Penetration Testing
Thursday Is Durable Computing Day
news.ycombinator.com·6h·
Discuss: Hacker News
💾Persistence Strategies
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
arxiv.org·22h
✅Archive Fixity
Robots for Kiwifruit Harvesting and Pollination
arxiv.org·22h
🤖Tape Automation
Restarting My Journey Into Tech & Cybersecurity
dev.to·5h·
Discuss: DEV
🔓Hacking
Procedure Learning via Regularized Gromov-Wasserstein Optimal Transport
arxiv.org·22h
🧠Machine Learning
Time-RA: Towards Time Series Reasoning for Anomaly with LLM Feedback
arxiv.org·22h
🎵Audio ML
I Built a Tool That Shows How Much Energy Your Python Code Uses - The Results Shocked Me!
dev.to·1d·
Discuss: DEV
📊Performance Profiling
Context Engineering for AI Agents: Key Lessons from Manus
dev.to·3d·
Discuss: DEV
🏗️Compiler Archaeology
Complete Beginner's Guide to GenAI Development: From Python to Production-Ready AI Agents
dev.to·2d·
Discuss: DEV
🌳Context free grammars
GitLab Launches Its AI Agent Platform in Public Beta
thenewstack.io·9h
⚙️TLA+
SOMMIA: How Bolt Helped Me Build an AI Sommelier in 48 Hours
dev.to·9h·
Discuss: DEV
🔄Sync Engine
The AI tool no one talks about is secretly winning
dev.to·5h·
Discuss: DEV
📏Code Metrics
Machine Learning Fundamentals: ensemble learning
dev.to·3d·
Discuss: DEV
🎵Audio ML