Kartik Agaram's Avatar

Kartik Agaram

@akkartik.name

Programmer building programs that are useful, easy to install, easy to run, easy to modify, easy to share. https://akkartik.name/freewheeling-apps

764
Followers
85
Following
182
Posts
06.04.2023
Joined
Posts Following

Latest posts by Kartik Agaram @akkartik.name

Video thumbnail

Yesterday morning kids were sent running from their bus stop in panic because ICE showed up. This guy at todayโ€™s ICE Out of Lindenwold protest is a must watch ๐Ÿ˜ญ. @maddow.bsky.social

14.02.2026 02:37 ๐Ÿ‘ 23643 ๐Ÿ” 8261 ๐Ÿ’ฌ 602 ๐Ÿ“Œ 1356

An orifice in an edifice to let the light in.

14.02.2026 04:20 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I am writing a blog about roads at sandboxspirit.com/blog/art-of-...

04.02.2026 12:47 ๐Ÿ‘ 40 ๐Ÿ” 4 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 1
hexponents!
hexponents! YouTube video by TheGrayCuber

Fun video youtu.be/8_WPBuYYz9M with an interactive toy to play with these thegraycuber.github.io/hexponents

31.01.2026 17:16 ๐Ÿ‘ 16 ๐Ÿ” 4 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
28.01.2026 19:30 ๐Ÿ‘ 16549 ๐Ÿ” 6480 ๐Ÿ’ฌ 46 ๐Ÿ“Œ 39

Most beauty per unit code

Share your favorite short programs that have beautiful output.

Any output modality, any programming language, any units.

Doesn't generate identical output each time.

Recording of output optional.

My candidate is ~24 lines of @love-framework.bsky.social or equivalent.

25.01.2026 17:03 ๐Ÿ‘ 4 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

The Resonant Computing Action Plan, Use LLMs to build:

- Adversarial interoperability
- Adversarial credible exits
- Local first version of walled gardens
- Optional federation (atproto?)

No grand plans, short feedback loops
Real problems, real users
Rough consensus and running code

10.01.2026 11:12 ๐Ÿ‘ 13 ๐Ÿ” 2 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
December 2025
December 2025 YouTube video by Feeling of Computing

Here's a little spatial / tangible tool I made to explore an algorithm with my hands and eyes.

I saw an error diffusion matrix on wikipedia and it looked vaguely like a circle, so I built this board game-inspired tool to feel out just how spatial it actually was.

www.youtube.com/watch?v=9vZc...

01.01.2026 04:42 ๐Ÿ‘ 8 ๐Ÿ” 5 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Everything is in the eye of the beholder. Even beholding is in the eye of the beholder.

19.12.2025 09:39 ๐Ÿ‘ 3 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

My hot-take on indie-tech (which I am a big supporter of) is that "Prosocial" features are actually harmful. Voluntary communities are unable to coordinate effectively. Its not a tool problem, rather, people by default are not very good at coordinating. Corporations are good a coordinating, why?..

07.12.2025 12:11 ๐Ÿ‘ 3 ๐Ÿ” 1 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Video thumbnail

This week: Archaic Virus is making a bafflingly stable dungeon generation system.

13.11.2025 17:36 ๐Ÿ‘ 3 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Konrad Hinsen's blog

New blog post: "Explorable explorable explanations"

Building on Bret Victor's concept of "explorable explanations" for scientific publishing.

blog.khinsen.net/posts/2025/1...

๐Ÿงช #MetaSci

12.11.2025 08:55 ๐Ÿ‘ 6 ๐Ÿ” 1 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Post image
08.11.2025 03:46 ๐Ÿ‘ 2 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

"There is also Memento (2000), maybe, because ironically I canโ€™t remember what happened."

๐Ÿ˜‚

07.11.2025 20:30 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Oedipus is about the act of figuring out what Oedipus is about Posted on Friday 7 Nov 2025. 791 words, 5 links. By Matt Webb.

The latest in my occasional series of over-complicated literary interpretations, this time on what connects Oedipus Rex (Sophocles) and Angel Heart (Mickey Rourke)

Warning: spoilers

interconnected.org/home/2025/11...

07.11.2025 19:55 ๐Ÿ‘ 3 ๐Ÿ” 2 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 1

Also less bureaucracy, I wager. I am so done with the air industry. 1950-2020, RIP.

07.11.2025 04:38 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Landscape mode is hard-linebreak mode. Portrait mode is soft-linebreak mode.

31.10.2025 17:13 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Screenshots of half a dozen Scratch games running in ScratchLove

Screenshots of half a dozen Scratch games running in ScratchLove

This week: the folks at Fox2d have ported basically all of Scratch to Lร–VE! Just in case you have some Scratch games lying around. github.com/fox2d-engine...

30.10.2025 17:35 ๐Ÿ‘ 12 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

So they _are_ ships!

30.10.2025 03:35 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

This game won FIRST PLACE at Ludum Dare! And it's made in Lร–VE! I'm freaking out over here! Aaaaaaah!

25.10.2025 07:52 ๐Ÿ‘ 15 ๐Ÿ” 3 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Because I could not help myself, me and @steveheist2.bsky.social estimated that this is roughly $270,000 in monitors โ€ฆ and $600,000 in monitor arms.

bsky.app/profile/erni...

23.10.2025 14:11 ๐Ÿ‘ 15 ๐Ÿ” 3 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

The Crowd (1928) features this office hellscape sequence and all I can think is "look at how much more space they had!"

23.10.2025 14:59 ๐Ÿ‘ 40 ๐Ÿ” 8 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0
Preview
Why you should watch Bigโ€™s Backyard Ultra, which starts tomorrow Posted on Friday 20 Oct 2023. 1,612 words, 11 links. By Matt Webb.

Bigโ€™s Backyard Ultra individual world championship has begun โ€” the runners are 12 hours in and the race wonโ€™t complete for at least another 4 days/400+ miles

Hereโ€™s why you should be watching

interconnected.org/home/2023/10...

19.10.2025 07:58 ๐Ÿ‘ 7 ๐Ÿ” 4 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 2
A screenshot of an academic paper. It reads:

Abstract
A "
'quine" is a deterministic program that prints itself. In this essay, I will show you a "gauguine": a probabilistic program that infers itself. A gauguine is repeatedly asked to guess its own source code. Initially, its chances of guessing correctly are of course minuscule. But as the gauguine observes more and more of its own previous guesses, it detects patterns of behavior and gains information about its inner workings.
This information allows it to bootstrap self-knowledge, and ultimately discover its own source code. We will discuss how-and why-we might write a gauguine, and what we stand to learn by constructing one.
CCS Concepts: โ€ข Computing methodologies โ†’ Philo-sophical/theoretical foundations of artificial intelli-gence; Theory of mind.
Keywords: reflection, probabilistic programming
ACM Reference Format:
Kartik Chandra, Amanda Liu, Jonathan Ragan-Kelley, and Joshua B.
Tenenbaum. 2025. Gauguin, Descartes, Bayes: A Diurnal Golem's Brain. In Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! '25), October 12-18, 2025, Singapore, Singa-pore. ACM, New York, NY, USA, 9 pages. https://doi.org/10.1145/
3759429.3762631

1 A Way of Knowing

From time to time, we all have crises of identity-moments of radical and overwhelming uncertainty about our selves.
I' don't know whether the doubts that seize us can really be externalized in language, but if I were to try, I would express them as questions, questions like: Who am I? What am I?
What kind of person? What kind of mind?

A screenshot of an academic paper. It reads: Abstract A " 'quine" is a deterministic program that prints itself. In this essay, I will show you a "gauguine": a probabilistic program that infers itself. A gauguine is repeatedly asked to guess its own source code. Initially, its chances of guessing correctly are of course minuscule. But as the gauguine observes more and more of its own previous guesses, it detects patterns of behavior and gains information about its inner workings. This information allows it to bootstrap self-knowledge, and ultimately discover its own source code. We will discuss how-and why-we might write a gauguine, and what we stand to learn by constructing one. CCS Concepts: โ€ข Computing methodologies โ†’ Philo-sophical/theoretical foundations of artificial intelli-gence; Theory of mind. Keywords: reflection, probabilistic programming ACM Reference Format: Kartik Chandra, Amanda Liu, Jonathan Ragan-Kelley, and Joshua B. Tenenbaum. 2025. Gauguin, Descartes, Bayes: A Diurnal Golem's Brain. In Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! '25), October 12-18, 2025, Singapore, Singa-pore. ACM, New York, NY, USA, 9 pages. https://doi.org/10.1145/ 3759429.3762631 1 A Way of Knowing From time to time, we all have crises of identity-moments of radical and overwhelming uncertainty about our selves. I' don't know whether the doubts that seize us can really be externalized in language, but if I were to try, I would express them as questions, questions like: Who am I? What am I? What kind of person? What kind of mind?

This may just be the best CS paper Iโ€™ve read this year. Just read the abstract and first para of the intro! The rest of the intro is really wild too, but very very good:

dl.acm.org/doi/pdf/10.1...

14.10.2025 13:12 ๐Ÿ‘ 285 ๐Ÿ” 79 ๐Ÿ’ฌ 10 ๐Ÿ“Œ 9

Some of La Mexicaine De Perforation were friends when I lived in Paris in the years just before this happened. You can read more here:

en.wikipedia.org/wiki/Les_UX

12.10.2025 16:45 ๐Ÿ‘ 11 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
"I'm very dissatisfied with the current state of the world in two regards:

๐€. Computer owners can't easily understand or modify programs they run.
๐. Computer vendors compete to limit permissions for modifying programs.


Both ๐€ and ๐ have happened through the efforts of often idealistic people, but they've brought us to a world that it seems clear is going in the wrong direction:

For ๐€: Every tool (IDE, debugger, programming language) and process (Waterfall, TDD, Agile) arose out of dissatisfaction with some current state of the world, but the "pragmatic" ones that gained traction were the ones that vendors get to control.
For ๐: "Trusted computing", browser sandboxing and app stores are all "pragmatic" solutions that have centralized power in vendors and failed to keep computer owners safe."

"I'm very dissatisfied with the current state of the world in two regards: ๐€. Computer owners can't easily understand or modify programs they run. ๐. Computer vendors compete to limit permissions for modifying programs. Both ๐€ and ๐ have happened through the efforts of often idealistic people, but they've brought us to a world that it seems clear is going in the wrong direction: For ๐€: Every tool (IDE, debugger, programming language) and process (Waterfall, TDD, Agile) arose out of dissatisfaction with some current state of the world, but the "pragmatic" ones that gained traction were the ones that vendors get to control. For ๐: "Trusted computing", browser sandboxing and app stores are all "pragmatic" solutions that have centralized power in vendors and failed to keep computer owners safe."

Some notes by @akkartik.name (2025)

akkartik.name/post/2025-06...

12.10.2025 03:52 ๐Ÿ‘ 8 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Write your own tiny programming system(s)! - YouTube The goal of this course is to teach how fundamental programming language techniques, algorithms and systems work by writing their miniature versions. The cou...

I'm teaching ๐—ช๐—ฟ๐—ถ๐˜๐—ฒ ๐˜†๐—ผ๐˜‚๐—ฟ ๐—ผ๐˜„๐—ป ๐˜๐—ถ๐—ป๐˜† ๐—ฝ๐—ฟ๐—ผ๐—ด๐—ฟ๐—ฎ๐—บ๐—บ๐—ถ๐—ป๐—ด ๐˜€๐˜†๐˜€๐˜๐—ฒ๐—บ(๐˜€)! again. I'll be posting the videos & tasks on YouTube too.

In the first lecture, I explain what's a tiny system, why write one and show plenty of demos!

๐ŸŽž๏ธ Playlist: www.youtube.com/playlist?lis...
๐Ÿ‘‰ More info: d3s.mff.cuni.cz/teaching/npr...

07.10.2025 21:18 ๐Ÿ‘ 50 ๐Ÿ” 18 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 1

in particular, most baggage requires baggage polymorphism and baggage subtyping to be practically useful, and those are two concepts that always seem to confuse everyone. certainly that's what everyone complains about re: lifetimes in rust

04.10.2025 21:35 ๐Ÿ‘ 15 ๐Ÿ” 1 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0
Off-white background, black outlines. 18 geometric flowers shaped like Voronoi cells, with yellow centres and 12 off-white petals.

Off-white background, black outlines. 18 geometric flowers shaped like Voronoi cells, with yellow centres and 12 off-white petals.

๐ŸŸก

26.09.2025 12:54 ๐Ÿ‘ 48 ๐Ÿ” 5 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0
Preview
The simple machine that visualised atomic orbitals In 1931, Harvey Elliott White developed a device that traced out the shapes of electron clouds by approximating solutions to the Schrรถdinger equation

In the early days of quantum chemistry, before we had computers to calculate the shapes of electron orbitals, one man invented a mechanical machine that simulated their shapes. My latest column for @chemistryworld.com
www.chemistryworld.com/opinion/the-...

18.09.2025 09:37 ๐Ÿ‘ 146 ๐Ÿ” 59 ๐Ÿ’ฌ 6 ๐Ÿ“Œ 6