sudosays
@sudosays.com
AI researcher and skeptic.
Trust but verify.
Opinions subject to change, beliefs updated according to learning rate schedule.
Trust but verify.
Opinions subject to change, beliefs updated according to learning rate schedule.
Reposted by sudosays
I changed the way I work a couple of months ago to follow this advice, it made a big difference and my productivity went up by miles.
(I don't know who made this image, if you do, let me know so they can be credited)
(I don't know who made this image, if you do, let me know so they can be credited)
July 4, 2025 at 7:16 AM
I changed the way I work a couple of months ago to follow this advice, it made a big difference and my productivity went up by miles.
(I don't know who made this image, if you do, let me know so they can be credited)
(I don't know who made this image, if you do, let me know so they can be credited)
git rebasing just saved my life.
March 28, 2025 at 1:35 PM
git rebasing just saved my life.
Silvia Plath’s fig tree haunts me regularly.
I have so much I want to learn an do, but it requires choice and focus.
I have so much I want to learn an do, but it requires choice and focus.
March 21, 2025 at 11:00 AM
Silvia Plath’s fig tree haunts me regularly.
I have so much I want to learn an do, but it requires choice and focus.
I have so much I want to learn an do, but it requires choice and focus.
Rammstein’s Mutter album remains bangers through and through.
March 20, 2025 at 9:36 AM
Rammstein’s Mutter album remains bangers through and through.
The rise of copyright strikes on Youtube and online platforms has definitely limited my discovery of new music.
As a kid I used to get a lot of my new music from parkour and skateboarding videos.
One example is Guano Apes “Open Your Eyes” from “ninja training camp” (youtu.be/GhscgfYraf4?...)
As a kid I used to get a lot of my new music from parkour and skateboarding videos.
One example is Guano Apes “Open Your Eyes” from “ninja training camp” (youtu.be/GhscgfYraf4?...)
ninja training camp
YouTube video by superh4
youtu.be
March 20, 2025 at 9:30 AM
The rise of copyright strikes on Youtube and online platforms has definitely limited my discovery of new music.
As a kid I used to get a lot of my new music from parkour and skateboarding videos.
One example is Guano Apes “Open Your Eyes” from “ninja training camp” (youtu.be/GhscgfYraf4?...)
As a kid I used to get a lot of my new music from parkour and skateboarding videos.
One example is Guano Apes “Open Your Eyes” from “ninja training camp” (youtu.be/GhscgfYraf4?...)
Reposted by sudosays
Does unsafe undermine #rustlang 's guarantees? steveklabnik.com/writing/does...
Does unsafe undermine Rust's guarantees?
steveklabnik.com
March 19, 2025 at 3:43 PM
Does unsafe undermine #rustlang 's guarantees? steveklabnik.com/writing/does...
I think I’ve narrowed down why I like #python so much.
It’s the base data structures of list and dict.
They are simple to understand, flexible, and very easy to use.
When you’re hacking away you can shove anything into a dict or list and keep going with minimal friction.
Very awesome.
It’s the base data structures of list and dict.
They are simple to understand, flexible, and very easy to use.
When you’re hacking away you can shove anything into a dict or list and keep going with minimal friction.
Very awesome.
March 19, 2025 at 12:53 PM
I think I’ve narrowed down why I like #python so much.
It’s the base data structures of list and dict.
They are simple to understand, flexible, and very easy to use.
When you’re hacking away you can shove anything into a dict or list and keep going with minimal friction.
Very awesome.
It’s the base data structures of list and dict.
They are simple to understand, flexible, and very easy to use.
When you’re hacking away you can shove anything into a dict or list and keep going with minimal friction.
Very awesome.
Dang. I just stumbled on the “Blue-eyed islander puzzle” on Terry Tao’s blog and now that’s going to occupy my brain for the day.
You can suffer too by checking it out! terrytao.wordpress.com/2008/02/05/t...
You can suffer too by checking it out! terrytao.wordpress.com/2008/02/05/t...
The blue-eyed islanders puzzle
Given that there has recently been a lot of discussion on this blog about this logic puzzle, I thought I would make a dedicated post for it (and move all the previous comments to this post). The te…
terrytao.wordpress.com
March 18, 2025 at 9:07 AM
Dang. I just stumbled on the “Blue-eyed islander puzzle” on Terry Tao’s blog and now that’s going to occupy my brain for the day.
You can suffer too by checking it out! terrytao.wordpress.com/2008/02/05/t...
You can suffer too by checking it out! terrytao.wordpress.com/2008/02/05/t...
Reposted by sudosays
*nods sagely*
everything’s computer
everything’s computer
March 16, 2025 at 6:28 AM
*nods sagely*
everything’s computer
everything’s computer
Wow this is cool.
I found myself defaulting to Afrikaans pronunciation for toki pona words instead of English.
Would be cool to write an Afrikaans course for it.
I found myself defaulting to Afrikaans pronunciation for toki pona words instead of English.
Would be cool to write an Afrikaans course for it.
I often recommend lipu-sona.pona.la as a great free Toki Pona course, because it’s very stable and doesn’t try to accommodate every temporary trend and new idea that only happens in some servers. It’s 99% compatible with my books and teachings (only preverbs odd) and is available in many languages.
lipu sona pona (toki pona course)
lipu-sona.pona.la
March 10, 2025 at 6:34 AM
Wow this is cool.
I found myself defaulting to Afrikaans pronunciation for toki pona words instead of English.
Would be cool to write an Afrikaans course for it.
I found myself defaulting to Afrikaans pronunciation for toki pona words instead of English.
Would be cool to write an Afrikaans course for it.
AGI will be achieved through an Emacs config gone wrong.
March 6, 2025 at 7:53 AM
AGI will be achieved through an Emacs config gone wrong.
I am not an LLM maximalist, but LLMs are awesome.
The results can be very compelling. I think it hits a soft spot in us where we have an inherent bias ascribing eloquence to intelligence.
We easily ascribe meaning and under to responses because quality of the language generated is so high.
The results can be very compelling. I think it hits a soft spot in us where we have an inherent bias ascribing eloquence to intelligence.
We easily ascribe meaning and under to responses because quality of the language generated is so high.
March 6, 2025 at 7:46 AM
I am not an LLM maximalist, but LLMs are awesome.
The results can be very compelling. I think it hits a soft spot in us where we have an inherent bias ascribing eloquence to intelligence.
We easily ascribe meaning and under to responses because quality of the language generated is so high.
The results can be very compelling. I think it hits a soft spot in us where we have an inherent bias ascribing eloquence to intelligence.
We easily ascribe meaning and under to responses because quality of the language generated is so high.
“Make it a little less evil Billy” - videogamedunkey
March 5, 2025 at 11:48 AM
“Make it a little less evil Billy” - videogamedunkey
TIL that Sutton is Canadian!
Sutton and Barto’s textbook “Reinforcement Learning: An Introduction” is etched into my brain at this point. Highly recommend it.
Sutton and Barto’s textbook “Reinforcement Learning: An Introduction” is etched into my brain at this point. Highly recommend it.
March 5, 2025 at 11:14 AM
TIL that Sutton is Canadian!
Sutton and Barto’s textbook “Reinforcement Learning: An Introduction” is etched into my brain at this point. Highly recommend it.
Sutton and Barto’s textbook “Reinforcement Learning: An Introduction” is etched into my brain at this point. Highly recommend it.
Reposted by sudosays
OpenAI’s data export from ChatGPT is quite nice. Well structured, and straightforward to explore/reuse.
March 4, 2025 at 8:24 AM
OpenAI’s data export from ChatGPT is quite nice. Well structured, and straightforward to explore/reuse.
Afrikaanse woord can die dag:
Liefdadigheidsorganiesasie
Vertaling: “charity organisation”
Bron: Tuiskoms tv reeks
Liefdadigheidsorganiesasie
Vertaling: “charity organisation”
Bron: Tuiskoms tv reeks
March 1, 2025 at 8:38 PM
Afrikaanse woord can die dag:
Liefdadigheidsorganiesasie
Vertaling: “charity organisation”
Bron: Tuiskoms tv reeks
Liefdadigheidsorganiesasie
Vertaling: “charity organisation”
Bron: Tuiskoms tv reeks
Reposted by sudosays
Repost if you have tinnitus.
here's the Bunny With Tinnitus (graphite on vellum 2x3
inches)
inches)
February 22, 2025 at 1:44 AM
Repost if you have tinnitus.
I find it incredibly difficult to journal in my mother tongue (Afrikaans). I feel too exposed, and somehow writing in English I can more clearly convey my thoughts with a sense of objectivity.
February 23, 2025 at 9:20 AM
I find it incredibly difficult to journal in my mother tongue (Afrikaans). I feel too exposed, and somehow writing in English I can more clearly convey my thoughts with a sense of objectivity.
this is why he’s considered one of the greats.
Did you hear about the Italian chef? He pasta away.
Get it? I'll be here all week.
Don't forget to tip your waitress.
Get it? I'll be here all week.
Don't forget to tip your waitress.
February 21, 2025 at 2:58 PM
this is why he’s considered one of the greats.
Reposted by sudosays
February 21, 2025 at 3:40 AM
Inside of you are two wolves. One is a mirror wolf.
A “mirror organism” would have proteins and DNA with an opposite “handedness” of conventional life on Earth.
Biologists Call For A Halt To ‘Mirror Life’ Research
A “mirror organism” would have proteins and DNA shaped in a way that’s the mirror image of how they naturally appear.
buff.ly
February 21, 2025 at 5:35 AM
Inside of you are two wolves. One is a mirror wolf.
The internet is meant to be weird. Not “i have bad takes on race” weird, but “i post about really obscure aspects of renaissance life” weird.
Keep the internet weird.
Keep the internet weird.
February 20, 2025 at 7:00 AM
The internet is meant to be weird. Not “i have bad takes on race” weird, but “i post about really obscure aspects of renaissance life” weird.
Keep the internet weird.
Keep the internet weird.
Reposted by sudosays
finished my first “serious” formalization (i.e. it’s an actual theorem, not a toy example). this is based on an example from the book i’m reading (Mathematics in Lean) but i rewrote the code on my own from scratch to better understand the proof.
it was fun! (and took me the whole week)
it was fun! (and took me the whole week)
Formalization of Schröder–Bernstein theorem in Lean, based on an exercise from Mathematics in Lean
Formalization of Schröder–Bernstein theorem in Lean, based on an exercise from Mathematics in Lean - schroeder_bernstein.lean
gist.github.com
February 19, 2025 at 5:48 PM
finished my first “serious” formalization (i.e. it’s an actual theorem, not a toy example). this is based on an example from the book i’m reading (Mathematics in Lean) but i rewrote the code on my own from scratch to better understand the proof.
it was fun! (and took me the whole week)
it was fun! (and took me the whole week)