Lukasz Stafiniak
lukstafi.bsky.social
Lukasz Stafiniak
@lukstafi.bsky.social
Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.
Reposted by Lukasz Stafiniak
The paper on data-race-free OCaml is out! If you want to learn more about the zoo of new mode axes (contention, uniqueness, portability, ...) and cool new abstractions like capsules, it's all there!

iris-project.org/pdfs/2025-po...
iris-project.org
November 24, 2024 at 4:02 PM
Philosophy of Mind adjacent books I like: (3 of 9)
1. Phenomenal Consciousness: A Naturalistic Theory by Peter Carruthers (1996)
2. Breakdown of Will by George Ainslie (2001)
3. Being No One. The Self-Model Theory of Subjectivity by Thomas Metzinger (2003)
November 24, 2024 at 1:38 PM
Much as I like tinygrad, it's primary sin is not code density as some claim, it is non-local design.
November 22, 2024 at 1:51 PM
Reposted by Lukasz Stafiniak
November 22, 2024 at 4:43 AM
My favorite coding music label:
synphaera.bandcamp.com
Synphaera
Synphaera is an independent record label for electronic and ambient music. For booking and license inquiries: [email protected]
synphaera.bandcamp.com
November 22, 2024 at 12:49 PM
Memes I made.
November 22, 2024 at 10:21 AM
metta-lang.dev is a homoiconic, symbolic (partial evaluation), functional (immutability, first class functions, pattern matching), logic (first-class variables and multiple results) programming language.
metta-lang.dev
November 22, 2024 at 10:10 AM
I think The Dissenter deserves more support for his prolific and wide-ranging interviews. One example:

www.youtube.com/watch?v=2Bzm...
#1000 Karl Friston: The Free Energy Principle and Active Inference: From Physics to Mind
YouTube video by The Dissenter
www.youtube.com
November 22, 2024 at 10:08 AM
I decided to lean into atomic habits. An atomic habit is where you are supposed to get some satisfaction within 2 minutes, and call it complete in a few minutes if you're under time pressure, to let them stick.
November 22, 2024 at 9:54 AM
@thedavidsj.bsky.social you probably know, but you have a shout-out in the latest Machine Learning Street Talk episode! Congrats!
www.youtube.com/watch?v=VgPr...
AI Interpretability, Safety, and Meaning - Nora Belrose
YouTube video by Machine Learning Street Talk
www.youtube.com
November 19, 2024 at 7:08 PM