An Introduction to Stochastic Calculus (2022)(bjlkeng.io)

107 points by ibobev 1 year ago | 23 comments

"AI" on a Calculator (2023)(z80.me)

52 points by mariuz 1 year ago | 13 comments

Defining interfaces in C++: concepts versus inheritance(lemire.me)

53 points by jandeboevrie 3 years ago | 21 comments

Parsing integers quickly with AVX-512(lemire.me)

156 points by usdogu 3 years ago | 30 comments

The Sinusoidal Tetris(andreinc.net)

67 points by signa11 2 years ago | 21 comments

The Sinusoidal Tetris(andreinc.net)

144 points by nomemory 2 years ago | 47 comments

Calculus with Julia(jverzani.github.io)

249 points by subset 16 days ago | 49 comments

Online open textbook by John Verzani teaching calculus using the Julia programming language, shown at its preface page.

That's not an abstraction, that's a layer of indirection(fhur.me)

546 points by fagnerbrack 1 year ago | 213 comments

A blog post arguing that many so-called abstractions in codebases are merely layers of indirection that add complexity and hurt performance without real value.

I don't like NumPy(dynomight.net)

399 points by MinimalAction 1 year ago | 164 comments

A Dynomight blog essay critiquing NumPy's design, arguing its array broadcasting and indexing make complex computations confusing.

We have traits at home(axelmagn.com)

40 points by Ygg2 3 days ago | 14 comments

A blog post proposing a convention for compile-time Traits in Zig as comptime structs of functions, compared with interfaces/vtables and comptime duck typing.

Train Your Own LLM from Scratch(github.com)

376 points by kristianpaul 5 months ago | 43 comments

GitHub repository by angelos-p providing code and docs for training your own large language model from scratch.

Human mathematicians are being outcounterexampled(xenaproject.wordpress.com)

456 points by artninja1988 3 months ago | 225 comments

A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.