🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

If Anyone Builds It, Everyone Dies: my review
haggstrom.blogspot.com·1d·
Discuss: haggstrom.blogspot.com
🔲Cellular Automata
Intel Simplifying P-State Driver's Energy Model For Newer Core Ultra CPUs
phoronix.com·15h
⚡Homebrew CPUs
Show HN: Built a complete personal finance app with AI at 18
wealth-ai.in·16h·
Discuss: Hacker News
🔗Data Provenance
From Millions to Billions
geocod.io·3d·
Discuss: Hacker News
🗄️Database Internals
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Real Programmers Don't Use Pascal (1982)
ee.torontomu.ca·3d·
Discuss: Hacker News
🏗️Compiler Archaeology
Sync PUBG and Hardware IDs
github.com·15h·
Discuss: Hacker News
🔒Hardware Attestation
Defeating Return Type Polymorphism
philipphagenlocher.de·3d·
Discuss: Hacker News
🧬Functional Programming
A tangled web of deals stokes AI bubble fears in Silicon Valley
dev.to·13h·
Discuss: DEV
🤖AI Curation
Quantum-Aware Federated Learning for Open QaaS Platform Validation
dev.to·2d·
Discuss: DEV
⚛️Quantum Compilers
A Fuzzy Logic-Based Framework for Explainable Machine Learning in Big Data Analytics
arxiv.org·3d
🧠Machine Learning
Handling 100+ Website Scrapers with Python's asyncio
dev.to·3h·
Discuss: DEV
📰RSS Archaeology
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·1d
🔲Cellular Automata
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·1d·
Discuss: DEV
💾Storage Replication
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1d·
Discuss: DEV
📡RSS Automation
Unsure what to do as lab has grown
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·12h·
Discuss: DEV
📊Multi-vector RAG
Tech With Tim: How to Build AI Agents in Python
dev.to·10h·
Discuss: DEV
🔲Cellular Automata
[D] Anyone using smaller, specialized models instead of massive LLMs?
reddit.com·2d·
Discuss: r/MachineLearning
💻Local LLMs
Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
arxiv.org·2d
🛡Cybersecurity