Cure – Verification-First Programming for the Beam
cure-lang.org·4h·
Discuss: Hacker News
📡Erlang BEAM
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·12h·
Discuss: DEV
💫Effect Systems
Flag this post
🤖 The Secret Lives of AI Agents: What Do They ‘Think’ When You’re Not Looking?
future.forem.com·1d·
Discuss: DEV
🔄Subinterpreters
Flag this post
Improving in chess is hard. I built the world's most accurate human-like chess AI to help me.
mbuffett.com·2d·
Discuss: Hacker News
🌱Minimal ML
Flag this post
Linux/WASM
joelseverin.github.io·1d·
Discuss: Hacker News
🌐WASM Runtimes
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·2d·
📚Stack Data Structures
Flag this post
Comparing images with AVX
dev.to·5h·
Discuss: DEV
🔢Bit Manipulation
Flag this post
AI Brain Freeze? Pruning the Path to Lightning-Fast Decisions by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
⏭️Skip Lists
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·6h·
Discuss: Hacker News
🧸Toy Compilers
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
github.com·13h·
Discuss: r/programming
🔀SIMD Programming
Flag this post
Deep Integration and the Convergence of Model Architecture and Hardware in AI
dev.to·1h·
Discuss: DEV
🎭Program Synthesis
Flag this post
MobileNetV3 Paper Walkthrough: The Tiny Giant Getting Even Smarter
towardsdatascience.com·9h
🗺️Region Inference
Flag this post
Qwen3 VL 30b a3b is pure love
reddit.com·2h·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
Flag this post
Unlock Linear Solver Speed: Symbolic Preconditioning for Hyper-Performance
dev.to·3d·
Discuss: DEV
🧮Linear Algebra
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·1d·
Discuss: Hacker News
🔬programming language theory
Flag this post
Deep DIVE: AI progress continues, as IQ scores rise linearly
maximumtruth.org·1h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Building a High-Performance SIM Verification System: Technical Insights from Pakistan's Leading Platform
dev.to·10h·
Discuss: DEV
📋JSON Parsing
Flag this post
Building UnisonDB a DynamoDB-Inspired Database in Go with 100+ Edge Replication
reddit.com·17h·
Discuss: r/golang
↔️Bidirectional Sync
Flag this post
build system tradeoffs
jyn.dev·22h·
🔗Language Toolchains
Flag this post
Large reasoning models almost certainly can think
venturebeat.com·1d
⚖️Inference Rules
Flag this post