Functional Threading “Macros”
aartaka.me·1d
🪄Syntax Macros
Mixture of Experts Implementation using Granite4: Harnessing Specialization with the Latest Granite Family Model
dev.to·22h·
Discuss: DEV
🔍ML Language
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·6h
🎲Parser Fuzzing
TypeScript and the Illusion of Type-Safety
medium.com·2d·
Discuss: r/typescript
🔧API Design
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·20h·
Discuss: Hacker News
🌲Tree Rewriting
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·2d·
Discuss: Hacker News
📐Mathematical Computing
LLVM Weekly - #398, August 16th 2021
llvmweekly.org·4d
🏗️LLVM
Android in the Browser
404wolf.com·9h
🤖Embedded Go
TurtleSPACES – Learn to Code in a Visual World Where Creativity Meets Logic
turtlespaces.org·21h·
Discuss: Hacker News
🐣Hedy
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
machinelearning.apple.com·4d
📜Proof Languages
I Trained a Small Language Model from Scratch
nwosunneoma.medium.com·3d·
Discuss: Hacker News
🌱Tiny Languages
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·3d
🪆Embedded DSLs
The lost language extensions of MetaWare's High C Compiler
duriansoftware.com·4d
🪄C Metaprogramming
Trying Out Arm's Scalable Matrix Extension with Apple M4 or QEMU
dev.to·1d·
Discuss: DEV
🔄Binary Translation
Llmswap: Avoid LLM vendor lock-in – 10 providers with top LMArena models
github.com·1d·
Discuss: Hacker News
💬Smalltalk VMs
original ↗
lmika.org·2d
🔬programming language theory
A PhD in Snapshots
rbharath.github.io·10h·
Discuss: Hacker News
🎯Finite Automata
Sharing my rust project: OurChat - A chat application
reddit.com·1d·
Discuss: r/rust
🚂Cranelift Backend
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.com·23h·
Discuss: Hacker News
🌱Minimal ML
Eclectic English Vocab
404wolf.com·9h
🔄Incremental Lexing