🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

AWS successfully completed its 2024-25 NHS DSPT assessment
aws.amazon.com·1d
👁️Observatory Systems
I Bought An N100 Mini PC, Then Another
blog.alexellis.io·2d
🔌Single Board PC
Upgrading the CircuitHub codebase to GHC-9.10
informal.codes·1d
🔗Functional Compilers
Using Ultra-Wideband for 3D Location and Tracking
hackaday.com·12h
📡Bluetooth Archaeology
Best performance and fastest memory with the new Amazon EC2 R8i and R8i-flex instances
aws.amazon.com·22h·
Discuss: Hacker News
🏎️Varnish Cache
Why developers question everything
timharek.no·1d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
Instant Macropad: Just Add QMK
hackaday.com·33m
🔌Operating system internals
Metabolic modeling unlocks diversity of yeast for industrial biotechnology
phys.org·30m
☕Precision Brewing
Von Neumann's minimax theorem through Fourier-Motzkin elimination
arxiv.org·2d
🎯Performance Proofs
Ask HN: Do you rely on ChatGPT when the system fails you?
news.ycombinator.com·4h·
Discuss: Hacker News
🧮Constraint SMT
Use your old laptop as a server with WakeMyPotato!
reddit.com·20h·
Discuss: r/linux
🛠️Greaseweazle
Offline Voice Assistant
hackster.io·22h
🎙️Whisper
Gemini for Home: Your household’s new, more helpful assistant
blog.google·33m
🏠Home Automation
OPTIC-ER: A Reinforcement Learning Framework for Real-Time Emergency Response and Equitable Resource Allocation in Underserved African Communities
arxiv.org·1d
🌊Stream Processing
TMF8806 Port to RENESAS Eval Kit
hackster.io·2d
⚡Circuit Archaeology
Connectivity structure and dynamics of nonlinear recurrent neural networks
arxiv.org·1d
🔲Cellular Automata
A Dual-Attention Graph Network for fMRI Data Classification
arxiv.org·13h
🌀Differential Geometry
Binary clock
hackster.io·8h
⚙️DIY Electronics
Assessing Pedestrian Behavior Around Autonomous Cleaning Robots in Public Spaces: Findings from a Field Observation
arxiv.org·13h
🔶Voronoi Diagrams
Anderson Acceleration For Perturbed Newton Methods
arxiv.org·1d
📐Linear Algebra