🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

IEPG at IETF 123
potaroo.net·2d
📡Network Protocol Design
The way we train AIs makes them more likely to spout bull
newscientist.com·19h
⚡Proof Automation
Long Term Support(SQLite)
sqlite.org·21h·
Discuss: Lobsters, Hacker News
💾SQLite
Your Signal, Their Data: Privacy Analysis of Wireless-Scanning SDKs in Android
dspace.networks.imdea.org·3d·
Discuss: Hacker News
📦Container Security
Perl Is Dead. Long Live Perl and Raku
raku-advent.blog·17h·
Discuss: Hacker News
💧Liquid Types
Live coding interviews measure stress, not coding skills
hadid.dev·23h·
Discuss: Hacker News
📏Code Metrics
Deploy Arcee AFM-4.5B on Arm-based AWS Graviton4 with Llama.cpp
julsimon.medium.com·1d
🦾ARM Cortex-M
Writing memory efficient structs in C
tomscheers.github.io·3d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
🔩Systems Programming
Enough of the billionaires and their big tech. ‘Frugal tech’ will build us all a better world | Eleanor Drage
theguardian.com·7h·
Discuss: Hacker News
⚖️Emulation Ethics
Every Single Human. Like. Always.
randsinrepose.com·3d·
Discuss: Hacker News
⚡Proof Automation
How I Set Up a Cowrie Honeypot to Capture Real SSH Attacks
hackernoon.com·23h
📟Terminal Forensics
AI and the Democratization of Cybercrime
cacm.acm.org·1d
🎯Threat Hunting
The Performance of Low-Synchronization Variants of Reorthogonalized Block Classical Gram--Schmidt
arxiv.org·3d
🌊Stream Ciphers
Python Threading Example
dev.to·5d·
Discuss: DEV
🌊Stream Processing
Explainable artificial intelligence model predicting the risk of all-cause mortality in patients with type 2 diabetes mellitus
arxiv.org·1d
🧮Kolmogorov Bounds
AI agents unifying structured and unstructured data: Transforming support analytics and beyond with Amazon Q Plugins
aws.amazon.com·1d
📰Feed Readers
Isle FPGA Computer
projectf.io·1d·
Discuss: Hacker News
⚡Homebrew CPUs
Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators
arxiv.org·2d
✨Effect Handlers
💭 What's the Best Tech Stack for a Markdown-Based Programming Blog?
dev.to·40m·
Discuss: DEV
📰RSS Feed Discovery
Large Language Models for Supply Chain Decisions
arxiv.org·3d
🔗Supply Chain