Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Superhuman AI for Multiplayer Poker
science.org·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads
blog.wilsonl.in·1d·
Discuss: Hacker News
🗃️Database Storage
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·16h·
🏷️Memory Tagging
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·5h
Effect Handlers
Flag this post
The Winning Approach to AI: Plan. Prompt. Validate. Refactor.
dev.to·1h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·5h
🕸️Graph Embeddings
Flag this post
AccessFix Update!
dev.to·13h·
Discuss: DEV
🔌Interface Evolution
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·5h
Incremental Computation
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·14h·
Discuss: Hacker News
💻Local LLMs
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·2d·
Proof Automation
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.org·5h
🧠Neural Codecs
Flag this post
MeixnerNet: Adaptive and Robust Spectral Graph Neural Networks with Discrete Orthogonal Polynomials
arxiv.org·5h
📊Spectral Graphs
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·1d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
Flag this post
From Uniform to Adaptive: General Skip-Block Mechanisms for Efficient PDE Neural Operators
arxiv.org·5h
🧠Neural Codecs
Flag this post
Day 1 of building Secrin
dev.to·14h·
Discuss: DEV
🔗Topological Sorting
Flag this post
Beyond Single-Tokenomics: How Farcaster's Pluralistic Incentives Reshape Social Networking
arxiv.org·5h
🔗Hash Chains
Flag this post