🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Open source microprocessors with Jan Pleskac
opensourcesecurity.io·2d
🔬Hardware Forensics
Is it feasible to start a local forum in 2025?
lobste.rs·9h·
Discuss: Lobsters
📝ABNF Parsing
Introducing Lumo, the AI where every conversation is confidential
proton.me·2h·
Discuss: Hacker News
🔐Homomorphic Encryption
Detecting Organic Contaminants with Less Data
mirawelner.com·1d·
Discuss: Lobsters, Hacker News
🌈Spectroscopy
Show HN: An API for human-powered browser tasks
browser-work.com·1d·
Discuss: Hacker News
🌐Web Standards
In Defense of Defensive Forecasting
argmin.net·1d·
Discuss: Hacker News
🔲Cellular Automata
LLM Just Got Pwned: The Hidden Danger in MCP Sampling
yassworks.github.io·1d·
Discuss: Hacker News
🛡️WASM Security
How to Invent Defense Products (2022)
vannevarlabs.com·1d·
Discuss: Hacker News
💾Persistence Strategies
10 Shots at Building AI
thejackobrien.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Using Radicle CI for Development
blog.liw.fi·1h
🌳Git Internals
One Step is Enough: Multi-Agent Reinforcement Learning based on One-Step Policy Optimization for Order Dispatch on Ride-Sharing Platforms
arxiv.org·1d
🔲Cellular Automata
EduThink4AI: Translating Educational Critical Thinking into Multi-Agent LLM Systems
arxiv.org·1d
🔲Cellular Automata
Agentic AI: Get off the Manual Management Highwire
dev.to·1d·
Discuss: DEV
🏠Homelab Automation
Toward Inclusive AI-Driven Development: Exploring Gender Differences in Code Generation Tool Interactions
arxiv.org·1d
💻Programming languages
Building Bod.Coach: LLM Lessons Learned The Hard Way.
dev.to·18h·
Discuss: DEV
💻Local LLMs
AI in universities: How large language models are transforming research
phys.org·21h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
A Beginner's Guide to Getting Started with Runnables in Langchain.
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Do Large Language Models Have a Planning Theory of Mind? Evidence from MindGames: a Multi-Step Persuasion Task
arxiv.org·10h
🔲Cellular Automata
Show HN: How Claude Code Improved My Dev Workflow
news.ycombinator.com·16h·
Discuss: Hacker News
🖥️Modern Terminals
Complexity of Abduction in \L{}ukasiewicz Logic
arxiv.org·2d
🏗️Constructive Mathematics