From Object-Oriented to Functional Programming. A Fractal Metamorphisis.
dev.toยท18hยท
Discuss: DEV
๐ŸงฌFunctional Programming
Show HN: Turbine โ€“ 16-bit CPU Architecture and Emulator built in C
errorcodezero.devยท3hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
graven-image: Portability library for CL image in REPL
github.comยท12hยท
Discuss: Lobsters
๐Ÿฆ€Rust Macros
Some Notes on Division, and its History (Including Alien Division for Fractions)
pballew.blogspot.comยท1dยท
Discuss: www.blogger.com
๐Ÿ“Interval Arithmetic
cAST: Enhancing Code Retrieval-Augmented Generation with Structural Chunking via Abstract Syntax Tree
arxiv.orgยท1d
๐Ÿ“Compiler Design
An unfinished post: "Compressing short Unicode strings with BOCU-1"
evanhahn.comยท1d
๐Ÿ”คCharacter Encoding
Recent optimizations on integer to string conversions
reddit.comยท16hยท
Discuss: r/rust
๐ŸงฎAlgebraic Datatypes
The Less Humble Programmer (2023)
digitalhumanities.orgยท11hยท
Discuss: Lobsters, Hacker News
๐Ÿ“œProof Carrying Code
My first experience with Formal Methods | ZipCPU
zipcpu.comยท20h
๐Ÿ”งHardware Verification
The Art of Bijective Combinatorics
viennot.orgยท14hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธGraph Algorithms
A Gentle Introduction to Multi-Head Attention and Grouped-Query Attention
machinelearningmastery.comยท11h
๐Ÿš€SIMD Text Processing
C++ in Jupyter โ€” Interpreting C++ in the Web
blog.jupyter.orgยท15hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Structured Output for Beginners and 3 Prompting Tips
pocketflow.substack.comยท6hยท
Discuss: Substack
๐ŸŒณIncremental Parsing
Linters, Formatters, and Type-Checkers
playfulprogramming.comยท1d
๐ŸŽฏGradual Typing
Advanced Rust Programming Techniques โ€ข Florian Gilcher โ€ข GOTO 2024
youtube.comยท1d
๐Ÿฆ€Rust Borrowing
And the other Big Red Logic Books?
logicmatters.netยท14h
๐Ÿ”€Category Theory
Can All Knowledge Be Mined? A Formal Framework for ฯ†^โˆž Consequence Closure
researchgate.netยท14hยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
Posit floating point numbers: thin triangles and other tricks
marc-b-reynolds.github.ioยท16hยท
Discuss: Lobsters, Hacker News
๐Ÿ’ŽInformation Crystallography
Understanding Matrices | Part 2: Matrix-Matrix Multiplication
towardsdatascience.comยท11h
๐Ÿ“Linear Algebra
Two Pointer Algorithms
mmhaskell.comยท3d
๐Ÿฆ€Rust Macros