🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Test 7.0~rc2
tails.net·21h
🔗Tailscale
AWS in 2025: The Stuff You Think You Know That’s Now Wrong
lastweekinaws.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
What is the point of libraries now that you can just generate them?
ghuntley.com·1d·
Discuss: Hacker News
🔓Open Source Software
Many Are Focused on the Wrong Questions When It Comes to AI
aclu.org·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
When to use interfaces vs structs in a logistics simulation
reddit.com·4d·
Discuss: r/golang
🔒Linear Types
Leading the Cloud Revolution: Antara’s Enterprise-Scale Transformation and DevSecOps Innovation
hackernoon.com·7h
🌊Stream Processing
Realtime and frame-accurate video rendering with react-three-fiber
github.com·1d·
Discuss: Hacker News
🎬WebCodecs
Mathematical proof concerning the additivity problem of nonlinear normalized citation counts
arxiv.org·17h
📊Citation Graphs
Is AI a “Normal Technology”?
oreilly.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Molecular mechanism of ultrafast transport by plasma membrane Ca<sup>2+</sup>-ATPases
nature.com·1d
🔲Cellular Automata
Contrastive Analysis of Constituent Order Preferences Within Adverbial Roles in English and Chinese News: A Large-Language-Model-Driven Approach
arxiv.org·17h
📝Concrete Syntax
How Causal Abstraction Underpins Computational Explanation
arxiv.org·3d
✨Effect Handlers
The Impact of Large Language Models (LLMs) on Code Review Process
arxiv.org·3d
📏Code Metrics
Been sorting out my messy homelab cabinet! (See picture #2!)
reddit.com·2h·
Discuss: r/homelab
🏠Homelab
Can AI Agents Fix The Internet’s Trust Problem?
hackernoon.com·1d
🤝Distributed Consensus
Automated Beamline Component Design via Hyperparameter Optimization and Generative Modeling
dev.to·3d·
Discuss: DEV
🔍Vector Forensics
Adaptive Spiking with Plasticity for Energy Aware Neuromorphic Systems
arxiv.org·2d
🦾ARM Cortex-M
There's something off in the "dev with AI or die" narrative
dev.to·2d·
Discuss: DEV
📏Code Metrics
Enhanced Thermal Conductivity Prediction via Multi-Scale Graph Neural Network Fusion
dev.to·1d·
Discuss: DEV
🕸️Tensor Networks
I was losing my mind switching branches with Claude Code, so I built this
dev.to·1d·
Discuss: DEV
🌳Git Internals