I just trained a physics-based earthquake forecasting model on a $1000 GPU
🔲Cellular Automata
Flag this post
Modelling beliefs about sets
🧠Automated Reasoning
Flag this post
My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
Writing a DOS Clone in 2019
🔧Darwin Internals
Flag this post
Do I want Coders to Code?
🏃Escape Analysis
Flag this post
How Powerful AIs Get Cheap
lesswrong.com·9h
🩹Self-Healing Systems
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·22h
🔍CBMC
Flag this post
Multi-Modal Feature Fusion for Spatial Morphology Analysis of Traditional Villages via Hierarchical Graph Neural Networks
arxiv.org·22h
🕸️Graph Theory
Flag this post
How AI Will Quietly Rebuild Our World
🔲Cellular Automata
Flag this post
AI Models Write Code with Security Flaws 18–50% of the Time, New Study Finds
🏃Escape Analysis
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
💾Cachix
Flag this post
🧠 Mastering Goroutines in Go: The Power of Lightweight Concurrency.
λFunctional Programming
Flag this post
Spiking Neural Networks: The Future of Brain-Inspired Computing
arxiv.org·22h
🔲Cellular Automata
Flag this post
Reflections on Trusting Trust (1984)
🛡️seL4
Flag this post
Loading...Loading more...