Double Maths First Thing: Issue 3B
aperiodical.com·2d
👑Isabelle
Flag this post
An 80386 Assembler in Forth (1988)
🔧RISC-V Assembler
Flag this post
When Everything Is a Token: Imagining a Fully Tokenized Economy
hackernoon.com·1d
🔗Hash Chains
Flag this post
Code like a surgeon
📄Document Digitization
Flag this post
Interpretability Framework for LLMs in Undergraduate Calculus
arxiv.org·2d
🏗️Constructive Logic
Flag this post
AdaSPEC: Selective Knowledge Distillation for Efficient Speculative Decoders
arxiv.org·1d
💻Local LLMs
Flag this post
“clones”, “premature optimizations” & other feedbacks on development, writing from my “just a Dyna Tac 8000x without buttons”
🔩Systems Programming
Flag this post
How to Control a Robot with Python
towardsdatascience.com·1d
📟Terminal Physics
Flag this post
From What to Why: A Multi-Agent System for Evidence-based Chemical ReactionCondition Reasoning
🧮Theorem Proving
Flag this post
Building the Brain Behind Your ESP32: A Deep Dive into Xiaozhi-ESP32-Server
🌊Stream Processing
Flag this post
BrainPuzzle: Hybrid Physics and Data-Driven Reconstruction for Transcranial Ultrasound Tomography
arxiv.org·14h
🌀Differential Geometry
Flag this post
Loading...Loading more...