Martin Kavalar

hazel development, september 2020 - september 2025

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...

I'm at #uist2025 presenting our new work with @jonathoda.bsky.social!

𝗗𝗲𝗻𝗶𝗰𝗲𝗸 is a computational substrate for end-user programming that makes it easy to implement programming experiences like programming by demonstration, collaborative editing and more!

tomasp.net/academic/pap...

Clerk, the moldable live programming tool for #clojure and #babashka now work together! Get the latest of both to try it.

Is this real? 😳
IS THIS REAL? 🥹

Please Welcome @programming-conf.bsky.social

We now also have a full list of papers to be presented in the main conference track. Join us on 2.-6. June in Prague!

My game Stimulation Clicker is out now, enjoy :)

> neal.fun/stimulation-...

Interview | Future of Coding Get more from Future of Coding on Patreon

FUTURE OF CODING
INTERVIEW

featuring @unkai.bsky.social

patreon.com/posts/118714678

all right i think the structure is going to be just like, what if your data is shaped like X but plot likes Y. here is my first attempt at documenting an @observablehq.com Plot data-shape conundrum and its solution observablehq.com/d/8e978837f5...

I can't begin to describe how life-changing this new project, ShellSage, has been for me over the last few weeks.

ShellSage is an LLM that lives in your terminal. It can see what directory you're in, what commands you've typed, what output you got, & your previous AI Q&A's.🧵

If JavaScript was a serious programming language and embraced coercion to the fullest

#downsizing

I gave a talk today in which I walked through key points from our Bluesky architecture paper, and got some good questions www.cl.cam.ac.uk/research/sec...

You should add @batsov.net who maintains cider

Nice, TIL. Thanks for checking!

Did you look into the performance implications this has? @tonsky.me just said he thinks the multi-arity version is slower because of the sequence creation.

#reClojure 2025 is a #clojure conference that will take place in London on May 26th next year. It's just announced its call for speakers, so if you're a Clojure developer interested in giving a talk, please visit: https://www.reclojure.org/

Geometry to Algebra and Back Again 4000 Years of Papers

My talk on geometric algebra from this year's Strange Loop/Papers We Love Conference is up! Here's a mini-site with the video, a transcript, and links to all the papers I mention.

jackrusher.com/pwl-2023/

“Friendship Feed" is a feed with the goal of surfacing the people you care about, even if they don’t post a lot!

Mixology:
Find your mutuals, shuffle them, and show one post per person from their latest few.

LMKWYT :)
https://bsky.app/profile/did:plc:wmhp7mubpgafjggwvaxeozmu/feed/bestoffollows

Babashka's instant startup time makes it a great choice for scripting. This can make it tempting to iterate by re-running scripts. This talk is a reminder th... Babashka Conf 2023: "Don't Forget the REPL" by Martin Kavalar

This talk by @mkvlr.bsky.social is a great introduction to what I think of as "REPL Tactics", i.e. the small scale details of productively programming with an editor-connected REPL.

(Also a good demo of some things a live system can do for you that static analysis cannot.)

🤣

Looking to speak to people who care about design and making things look good...in this case spreadsheets.

I'd like to get feedback on Subset, which is focused on ~Spreadsheet Design~We want to make spreadsheets look good by default with minimal formatting (adding borders, adjusting columns, etc.)