Polynesian Adventure (1983)
bluerenga.blog·12h
🔲Cellular Automata
Flag this post
Some Fun Videos on Optimizing NES Code
bumbershootsoft.wordpress.com·12h
🎯Emulator Accuracy
Flag this post
Testing Unnatural Prompt Engineering Across Five Large Language Models
blog.codeminer42.com·1d
⚡Proof Automation
Flag this post
Open Catalyst Project
⚡Z3 Optimization
Flag this post
Entropy in algorithm analysis
11011110.github.io·9h
🧮Kolmogorov Complexity
Flag this post
The Development of Pie
🔗Concatenative Languages
Flag this post
From Lossy to Lossless Reasoning
🔨Compilers
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·2d
💻Local LLMs
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
λLambda Formalization
Flag this post
Proof Connects Quantum Mechanics with Infinitely Intricate Math Structures
📐Mathematical Art
Flag this post
Universe Is Not a Computer Simulation
🔲Cellular Automata
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·16h
🕵️Vector Smuggling
Flag this post
Smaller Surfaces
📏Code Metrics
Flag this post
Speedrunning an RL Environment
⚔️Lean Tactics
Flag this post
Machine Scheduler in LLVM – Part II
⚙️RISC-V Microcode
Flag this post
Loading...Loading more...