Alex Knauth
@alexknauth.bsky.social
I like programming languages and functional programming, music, art, math-as-an-art-form, lakes, and other random
he/him | they/them & 27
http://pronoun.is/he?or=they
he/him | they/them & 27
http://pronoun.is/he?or=they
Silksong first playthrough video playlist, just finished uploading Part 14d, where I got to an ending for the first time!
www.youtube.com/playlist?lis...
www.youtube.com/playlist?lis...
Silksong - YouTube
www.youtube.com
November 9, 2025 at 10:17 PM
Silksong first playthrough video playlist, just finished uploading Part 14d, where I got to an ending for the first time!
www.youtube.com/playlist?lis...
www.youtube.com/playlist?lis...
Reposted by Alex Knauth
毎日ホロナイ1234日目
見果てぬ夢を見てる
この先、きっとキミに会える夢を
見果てぬ夢を見てる
この先、きっとキミに会える夢を
November 8, 2025 at 3:16 PM
毎日ホロナイ1234日目
見果てぬ夢を見てる
この先、きっとキミに会える夢を
見果てぬ夢を見てる
この先、きっとキミに会える夢を
Reposted by Alex Knauth
'Cello' comes from 'violoncello'. This Italian word has a funny literal meaning: "little big viola".
That's because it's a double derivative of 'viola':
viola > violone (big viola) > violoncello (little big viola).
The part '-cello' is only a suffix.
Here's more about it, 'violin', and 'fiddle':
That's because it's a double derivative of 'viola':
viola > violone (big viola) > violoncello (little big viola).
The part '-cello' is only a suffix.
Here's more about it, 'violin', and 'fiddle':
June 30, 2025 at 4:04 PM
'Cello' comes from 'violoncello'. This Italian word has a funny literal meaning: "little big viola".
That's because it's a double derivative of 'viola':
viola > violone (big viola) > violoncello (little big viola).
The part '-cello' is only a suffix.
Here's more about it, 'violin', and 'fiddle':
That's because it's a double derivative of 'viola':
viola > violone (big viola) > violoncello (little big viola).
The part '-cello' is only a suffix.
Here's more about it, 'violin', and 'fiddle':
Reposted by Alex Knauth
Reposted by Alex Knauth
Reposted by Alex Knauth
Reposted by Alex Knauth
"Ascend"
Here's my take on Hornet from Hollow Knight: Silksong ✨ I hope you aII Iike it! 😄
Here's my take on Hornet from Hollow Knight: Silksong ✨ I hope you aII Iike it! 😄
September 18, 2025 at 1:20 PM
"Ascend"
Here's my take on Hornet from Hollow Knight: Silksong ✨ I hope you aII Iike it! 😄
Here's my take on Hornet from Hollow Knight: Silksong ✨ I hope you aII Iike it! 😄
Reposted by Alex Knauth
What looks to be an interesting paper (outside of my area of expertise) on LLMs and hallucinations:
"hallucinations persist due to the way most evaluations are graded -- language models are optimized to be good test-takers, and guessing when uncertain improves test performance"
"hallucinations persist due to the way most evaluations are graded -- language models are optimized to be good test-takers, and guessing when uncertain improves test performance"
Why Language Models Hallucinate
Like students facing hard exam questions, large language models sometimes guess when uncertain, producing plausible yet incorrect statements instead of admitting uncertainty. Such "hallucinations" per...
www.arxiv.org
September 15, 2025 at 4:48 PM
What looks to be an interesting paper (outside of my area of expertise) on LLMs and hallucinations:
"hallucinations persist due to the way most evaluations are graded -- language models are optimized to be good test-takers, and guessing when uncertain improves test performance"
"hallucinations persist due to the way most evaluations are graded -- language models are optimized to be good test-takers, and guessing when uncertain improves test performance"
Reposted by Alex Knauth
Night Migration
Oil, 30x20in, 2024
at @ixarts.bsky.social Art Show next month!
In our night sky there is a dark band that runs through the Milky Way, known as the Great Rift. This darkness is where the stars of our galaxy are obscured by vast clouds of interstellar dust and geese … er, gas.
Oil, 30x20in, 2024
at @ixarts.bsky.social Art Show next month!
In our night sky there is a dark band that runs through the Milky Way, known as the Great Rift. This darkness is where the stars of our galaxy are obscured by vast clouds of interstellar dust and geese … er, gas.
September 12, 2025 at 4:45 PM
Night Migration
Oil, 30x20in, 2024
at @ixarts.bsky.social Art Show next month!
In our night sky there is a dark band that runs through the Milky Way, known as the Great Rift. This darkness is where the stars of our galaxy are obscured by vast clouds of interstellar dust and geese … er, gas.
Oil, 30x20in, 2024
at @ixarts.bsky.social Art Show next month!
In our night sky there is a dark band that runs through the Milky Way, known as the Great Rift. This darkness is where the stars of our galaxy are obscured by vast clouds of interstellar dust and geese … er, gas.
today I fixed a hard-to-find bug in C# code that would *not* have taken this long to find if this were all Rust code
September 13, 2025 at 4:21 AM
today I fixed a hard-to-find bug in C# code that would *not* have taken this long to find if this were all Rust code
Reposted by Alex Knauth
Hey everyone! Exciting to be finally releasing Silksong with @teamcherry.bsky.social on the 4th!
The soundtrack album will be available on Steam, GOG and Bandcamp on day one, with other music platforms to follow soon after!
Album price:
USD 11.99 | EUR €11.79 | YEN ¥1200
Cheers :)
The soundtrack album will be available on Steam, GOG and Bandcamp on day one, with other music platforms to follow soon after!
Album price:
USD 11.99 | EUR €11.79 | YEN ¥1200
Cheers :)
September 2, 2025 at 3:51 AM
Hey everyone! Exciting to be finally releasing Silksong with @teamcherry.bsky.social on the 4th!
The soundtrack album will be available on Steam, GOG and Bandcamp on day one, with other music platforms to follow soon after!
Album price:
USD 11.99 | EUR €11.79 | YEN ¥1200
Cheers :)
The soundtrack album will be available on Steam, GOG and Bandcamp on day one, with other music platforms to follow soon after!
Album price:
USD 11.99 | EUR €11.79 | YEN ¥1200
Cheers :)
Reposted by Alex Knauth
Four days until release! Hollow Knight: Silksong will be available on 4th September.
Release times:
7AM PT | 10AM ET | 4PM CEST | 11PM JST
Game price:
USD $19.99 | EUR €19.99 | JPY ¥2300
Release times:
7AM PT | 10AM ET | 4PM CEST | 11PM JST
Game price:
USD $19.99 | EUR €19.99 | JPY ¥2300
September 1, 2025 at 1:44 AM
Four days until release! Hollow Knight: Silksong will be available on 4th September.
Release times:
7AM PT | 10AM ET | 4PM CEST | 11PM JST
Game price:
USD $19.99 | EUR €19.99 | JPY ¥2300
Release times:
7AM PT | 10AM ET | 4PM CEST | 11PM JST
Game price:
USD $19.99 | EUR €19.99 | JPY ¥2300
Reposted by Alex Knauth
Autumn is near 🦊 🍂
August 21, 2025 at 7:08 PM
Autumn is near 🦊 🍂
Reposted by Alex Knauth
I just made a guide for using the auto-hit-counter built in to the Default Hollow Knight autosplitter:
Hollow Knight Auto-hit-counter Guide: LiveSplit + HitCounterManager
www.youtube.com/watch?v=XeC5...
Hollow Knight Auto-hit-counter Guide: LiveSplit + HitCounterManager
www.youtube.com/watch?v=XeC5...
Hollow Knight Auto-hit-counter Guide: LiveSplit + HitCounterManager
YouTube video by Alex Knauth
www.youtube.com
August 19, 2025 at 1:39 PM
I just made a guide for using the auto-hit-counter built in to the Default Hollow Knight autosplitter:
Hollow Knight Auto-hit-counter Guide: LiveSplit + HitCounterManager
www.youtube.com/watch?v=XeC5...
Hollow Knight Auto-hit-counter Guide: LiveSplit + HitCounterManager
www.youtube.com/watch?v=XeC5...
I made a mapping from all the possible toki pona syllables into musical chords: toki pi kalama musi
www.youtube.com/watch?v=_1vm...
www.youtube.com/watch?v=_1vm...
the tokirap but all the syllables are mapped to musical chords: toki pi kalama musi
YouTube video by Alex Knauth
www.youtube.com
August 2, 2025 at 3:16 PM
I made a mapping from all the possible toki pona syllables into musical chords: toki pi kalama musi
www.youtube.com/watch?v=_1vm...
www.youtube.com/watch?v=_1vm...
Young Eagle spotted at the Lake
July 26, 2025 at 12:40 AM
Young Eagle spotted at the Lake
Reposted by Alex Knauth
Grasp, based off the Pillars of Creation photo taken by the Hubble telescope in the 90s
July 16, 2025 at 4:39 PM
Grasp, based off the Pillars of Creation photo taken by the Hubble telescope in the 90s
Reposted by Alex Knauth
Well, here we go. After well over two years, here's a new version of my programming languages book, PLAI (v3.2.5). As always, free of cost! Can't thank enough all the people named in the acknowledgments. Enjoy!
www.plai.org
www.plai.org
Programming Languages: Application and Interpretation
Site for the PLAI book
www.plai.org
July 14, 2025 at 5:20 AM
Well, here we go. After well over two years, here's a new version of my programming languages book, PLAI (v3.2.5). As always, free of cost! Can't thank enough all the people named in the acknowledgments. Enjoy!
www.plai.org
www.plai.org
Reposted by Alex Knauth
Reposted by Alex Knauth
Our decades-old microwave oven is finally breaking down so we're buying a new one, and I thought it interesting how now instead of discussing desirable features in appliances we discuss undesirable ones: network connectivity, talking, any AI that isn't the actual point, etc
July 6, 2025 at 1:50 PM
Our decades-old microwave oven is finally breaking down so we're buying a new one, and I thought it interesting how now instead of discussing desirable features in appliances we discuss undesirable ones: network connectivity, talking, any AI that isn't the actual point, etc
Reposted by Alex Knauth
My 30 day algorithmic listening challenge is over and now when I wake up in the morning I’m excited to find out what I get to listen to while drinking my morning coffee.
I’d say it was a success. Idk if I’ll continue to post daily but if you’re wondering:
July 1: youtu.be/WtEQsOSVkbM?...
I’d say it was a success. Idk if I’ll continue to post daily but if you’re wondering:
July 1: youtu.be/WtEQsOSVkbM?...
Josef Suk - Serenade for Strings Op. 6 (1892)
YouTube video by Bartje Bartmans
youtu.be
July 1, 2025 at 1:31 PM
My 30 day algorithmic listening challenge is over and now when I wake up in the morning I’m excited to find out what I get to listen to while drinking my morning coffee.
I’d say it was a success. Idk if I’ll continue to post daily but if you’re wondering:
July 1: youtu.be/WtEQsOSVkbM?...
I’d say it was a success. Idk if I’ll continue to post daily but if you’re wondering:
July 1: youtu.be/WtEQsOSVkbM?...
My favorite Alphabet Song: I genuinely find it the most useful alphabet song for singing to myself while sorting things alphabetically, when I need to remind myself which letter comes where in the order. Because it goes so fast, it gets to the point more quickly.
June 30, 2025 at 7:31 PM
My favorite Alphabet Song: I genuinely find it the most useful alphabet song for singing to myself while sorting things alphabetically, when I need to remind myself which letter comes where in the order. Because it goes so fast, it gets to the point more quickly.