mathematics of the impossible: Revision. Feedback welcome especially on chapters 1,2,3
emanueleviola.wordpress.comยท3d
ฯ€Pi Calculus
How things went today
refarmer.caยท6h
๐Ÿ”—Concatenative
Some etymologies about spiders
blog.preterit.meยท2d
๐Ÿ“‹Backus-Naur Form
๐Ÿš€ Weโ€™re New Here on Dev.to โ€” Hello from We The Developers!
we-the-developers.vercel.appยท22hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
DARPA project for automated translation from C to Rust (2024)
darpa.milยท3dยท
Discuss: Hacker News
๐Ÿ“Linear Memory
Building Software Faster with LLMs: Part 5 - Learning and Knowledge Accumulation
blog.laurentcharignon.comยท5d
๐Ÿ’ฌInteractive REPLs
Introducing Goma Gateway โ€” A Modern, Declarative API Gateway and Reverse Proxy
reddit.comยท4hยท
Discuss: r/selfhosted
๐Ÿ“กProtocol Buffers
MobileNetV2 Paper Walkthrough: The Smarter Tiny Giant
towardsdatascience.comยท1d
๐Ÿ–ฅ๏ธMinimal VMs
Base M4 Mac Mini for basic AI tasks?
reddit.comยท8hยท
Discuss: r/LLM
๐ŸŒฑTiny Languages
How to effectively read "Programming: Principles and Practice Using C++" by Bjarne Stroustrup?
reddit.comยท3dยท
Discuss: r/cpp
๐ŸŽ“Teaching Compilers
Zephyr ELI5: From a Newbie to Newbies โ€” Part 1: Creating a Custom Board
reddit.comยท8hยท
Discuss: r/embedded
๐Ÿค–Embedded Go
How We Built an AI Mock Interview System in 30 Days
dev.toยท22hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
I Created an AI Assistant That Reads the Fine Print for You
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Parsing Algorithms
HiViS: Hiding Visual Tokens from the Drafter for Speculative Decoding in Vision-Language Models
arxiv.orgยท5d
โšกTokenizer Optimization
Michigan vs. Wisconsin: Wolverines not at their best in 24-10 win, plus more takeaways
nytimes.comยท12h
๐Ÿ“šFactor
LLVM Weekly - #314, January 6th 2020
llvmweekly.orgยท3d
๐Ÿ”งLLVM IR
LLVM Weekly - #172, Apr 17th 2017
llvmweekly.orgยท3d
๐Ÿ”งLLVM IR
LLVM Weekly - #206, December 11th 2017
llvmweekly.orgยท3d
๐Ÿ”งLLVM IR
LLVM Weekly - #223, April 9th 2018
llvmweekly.orgยท3d
๐Ÿ”งLLVM IR