How to use the Python builtin function list() to generate lists
codetheory.inยท2d
๐Ÿ“šStack Data Structures
mathematics of the impossible: Revision. Feedback welcome especially on chapters 1,2,3
emanueleviola.wordpress.comยท3d
ฯ€Pi Calculus
Personal data storage is an idea whose time has come
blog.muni.townยท1hยท
Discuss: Hacker News
๐ŸŒWeb Standards
Some etymologies about spiders
blog.preterit.meยท2d
๐Ÿ“‹Backus-Naur Form
DARPA project for automated translation from C to Rust (2024)
darpa.milยท3dยท
Discuss: Hacker News
๐Ÿ“Linear Memory
Issue 729
iosdevweekly.comยท2d
๐ŸŒˆGradual Languages
Introducing Goma Gateway โ€” A Modern, Declarative API Gateway and Reverse Proxy
reddit.comยท7hยท
Discuss: r/selfhosted
๐Ÿ“กProtocol Buffers
MobileNetV2 Paper Walkthrough: The Smarter Tiny Giant
towardsdatascience.comยท1d
๐Ÿ–ฅ๏ธMinimal VMs
How to effectively read "Programming: Principles and Practice Using C++" by Bjarne Stroustrup?
reddit.comยท3dยท
Discuss: r/cpp
๐ŸŽ“Teaching Compilers
SpurBreast: A Curated Dataset for Investigating Spurious Correlations in Real-world Breast MRI Classification
arxiv.orgยท2d
โœจEffect Inference
Geometric Properties of Neural Multivariate Regression
arxiv.orgยท3d
๐Ÿ”ขAlgebraic Datatypes
EvolveCaptions: Empowering DHH Users Through Real-Time Collaborative Captioning
arxiv.orgยท2d
๐Ÿ”„Incremental Lexing
TimeSeriesScientist: A General-Purpose AI Agent for Time Series Analysis
arxiv.orgยท2d
๐Ÿ“ˆEarley Parsing
LLVM Weekly - #223, April 9th 2018
llvmweekly.orgยท3d
๐Ÿ”งLLVM IR
LLVM Weekly - #206, December 11th 2017
llvmweekly.orgยท3d
๐Ÿ”งLLVM IR
LLVM Weekly - #314, January 6th 2020
llvmweekly.orgยท3d
๐Ÿ”งLLVM IR
Claude Code: Unix Philosophy Makes It Amazing
dev.toยท3dยท
Discuss: DEV
๐Ÿ“šSelf-Documenting Code
Claude Code: Unix Philosophy Makes It Amazing
dev.toยท3dยท
Discuss: DEV
๐Ÿ“šSelf-Documenting Code