Sign in

Martin Kavalar

@mkvlr.bsky.social
744 followers 179 following 6 posts

Making science reproducible @usenextjournal, starting over with clerk.vision. Dealing cards @sauspiel + @boldpoker. he/him

PostsRepliesMedia
Reposted by Martin Kavalar
el @elliot.website · 17/09/2026
Noticed that my talk with @mkvlr.bsky.social and @unkai.bsky.social is up on youtube. www.youtube.com/watch?v=LFMo... Grateful for the time I got to spend with them 2 years ago, working on Live Programming experimentation in Clojure and Clerk.
youtube.com
[LIVE24] Live Programming a Live Programming Environment: An Experience Report
YouTube video by ACM SIGPLAN
063
Reposted by Martin Kavalar
Tomas Petricek @tomasp.net · 29/06/2026
On my way to #ecoop! (*) Don't miss Kristýna's talk about our work on formalising Vega on Tue (2026.ecoop.org/home/FTfJP-2...) and my Academy talk on programming systems on Wed (2026.ecoop.org/track/ecoop-...). (*) The first three connections are not Deutsche Bahn, so I'm optimistic :-)
2112
Reposted by Martin Kavalar
Chad Fowler @chadfowler.com · 05/03/2026
Not quite ready to launch, but if you're a decentralized identity and/or AT proto nerd, you might want to take an early peek at this freeq.at
freeq.at
freeq — IRC with identity
IRC server with AT Protocol (Bluesky) identity authentication. Connect with any IRC client, authenticate with your Bluesky account.
1216846
Martin Kavalar @mkvlr.bsky.social · 28/02/2026
A new record
A screenshot of the World Clock app showing a -12HRS timezone difference to Berlin.
020
Reposted by Martin Kavalar
andrew blinn @disconcision.com · 28/10/2025
hazel development, september 2020 - september 2025
1325
Reposted by Martin Kavalar
Tomas Petricek @tomasp.net · 07/10/2025
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...
youtube.com
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...
14918
Reposted by Martin Kavalar
Tomas Petricek @tomasp.net · 30/09/2025
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...
13017
Reposted by Martin Kavalar
(λ. borkdude) @borkdude.bsky.social · 17/07/2025
Clerk, the moldable live programming tool for #clojure and #babashka now work together! Get the latest of both to try it.
073
Reposted by Martin Kavalar
André Staltz @staltz.com · 22/02/2025
Is this real? 😳 IS THIS REAL? 🥹
1291
Reposted by Martin Kavalar
Tomas Petricek @tomasp.net · 23/01/2025
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!
0158
Reposted by Martin Kavalar
Neal Agarwal @neal.fun · 06/01/2025
My game Stimulation Clicker is out now, enjoy :) > neal.fun/stimulation-...
971114295
Reposted by Martin Kavalar
Lu wilson @todepond.com · 26/12/2024
FUTURE OF CODING INTERVIEW featuring @unkai.bsky.social patreon.com/posts/118714678
patreon.com
Interview | Future of Coding
Get more from Future of Coding on Patreon
0143
Reposted by Martin Kavalar
Tom MacWright @macwright.com · 14/12/2024
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...
observablehq.com
Boring Plot Doc pt. 1
I like Observable Plot a lot. It's super powerful and makes a lot of charts faster to write. But there are some pretty tough challenges to making basic plots that I think aren't very well-documented. ...
3102
Reposted by Martin Kavalar
Jeremy Howard @howard.fm · 05/12/2024
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.🧵
518521
Reposted by Martin Kavalar
David Sancho @david.sancho.dev · 03/12/2024
If JavaScript was a serious programming language and embraced coercion to the fullest
1738
Martin Kavalar @mkvlr.bsky.social · 02/12/2024
#downsizing
1100
Reposted by Martin Kavalar
Martin Kleppmann @martin.kleppmann.com · 22/11/2024
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...
cl.cam.ac.uk
Department of Computer Science and Technology – Security Group: 2024-11-22
29623
Reposted by Martin Kavalar
Weavejester @weavejester.mastodon.social.ap.brid.gy · 12/11/2024
#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: www.reclojure.org
083
Reposted by Martin Kavalar
Jack Rusher @jackrusher.com · 11/10/2023
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/
jackrusher.com
Geometry to Algebra and Back Again
4000 Years of Papers
31211
Reposted by Martin Kavalar
Max @maxbittker.bsky.social · 10/08/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 :) bsky.app/profile/did:plc:wmhp7mubpg…
59940
Reposted by Martin Kavalar
Jack Rusher @jackrusher.com · 30/06/2023
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.)
youtube.com
Babashka Conf 2023: "Don't Forget the REPL" by Martin Kavalar
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...
044
Reposted by Martin Kavalar
Jason Chan @jasonchan.bsky.social · 12/05/2023
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.)
8523