Martin Kavalar
@mkvlr.bsky.social
Making science reproducible
@usenextjournal, starting over with https://clerk.vision. Dealing cards
@sauspiel + @boldpoker. he/him
@usenextjournal, starting over with https://clerk.vision. Dealing cards
@sauspiel + @boldpoker. he/him
Reposted by Martin Kavalar
hazel development, september 2020 - september 2025
October 28, 2025 at 3:45 AM
hazel development, september 2020 - september 2025
Reposted by Martin Kavalar
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...
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...
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...
www.youtube.com
October 7, 2025 at 9:18 PM
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...
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...
Reposted by Martin Kavalar
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...
𝗗𝗲𝗻𝗶𝗰𝗲𝗸 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...
September 30, 2025 at 6:13 AM
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...
𝗗𝗲𝗻𝗶𝗰𝗲𝗸 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...
Reposted by Martin Kavalar
Is this real? 😳
IS THIS REAL? 🥹
IS THIS REAL? 🥹
✨Heads up! Observables are shipping natively to a browser near you soon!
Huge thank you and congrats to @domfarolino.com ❤️
I've helped / worked on / watched this through different standards bodies for more than 10 years now. ☠️
(I'm going to have a lot of work now to adapt RxJS to this 😅)
Huge thank you and congrats to @domfarolino.com ❤️
I've helped / worked on / watched this through different standards bodies for more than 10 years now. ☠️
(I'm going to have a lot of work now to adapt RxJS to this 😅)
February 22, 2025 at 11:24 AM
Is this real? 😳
IS THIS REAL? 🥹
IS THIS REAL? 🥹
Reposted by Martin Kavalar
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!
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!
January 23, 2025 at 1:23 PM
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!
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!
Reposted by Martin Kavalar
January 6, 2025 at 4:09 PM
Reposted by Martin Kavalar
Interview | Future of Coding
Get more from Future of Coding on Patreon
patreon.com
December 26, 2024 at 6:19 PM
Reposted by Martin Kavalar
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...
December 14, 2024 at 10:49 PM
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...
Reposted by Martin Kavalar
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.🧵
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.🧵
As R&D staff @ answer.ai, I work a lot on boosting productivity with AI. A common theme that always comes up is the combination of human+AI. This combination proved to be powerful in our new project ShellSage, which is an AI terminal buddy that learns and teaches with you. A 🧵
December 5, 2024 at 8:30 PM
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.🧵
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.🧵
Reposted by Martin Kavalar
If JavaScript was a serious programming language and embraced coercion to the fullest
December 3, 2024 at 5:00 PM
If JavaScript was a serious programming language and embraced coercion to the fullest
Reposted by Martin Kavalar
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...
Department of Computer Science and Technology – Security Group: 2024-11-22
www.cl.cam.ac.uk
November 22, 2024 at 8:20 PM
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...
Reposted by Martin Kavalar
#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/
November 12, 2024 at 11:48 PM
#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/
Reposted by Martin Kavalar
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/pwl-2023/
Geometry to Algebra and Back Again
4000 Years of Papers
jackrusher.com
October 11, 2023 at 5:20 PM
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/pwl-2023/
Reposted by Martin Kavalar
“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
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
August 10, 2023 at 1:38 PM
“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
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
Reposted 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.)
(Also a good demo of some things a live system can do for you that static analysis cannot.)
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...
www.youtube.com
June 30, 2023 at 2:12 PM
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.)
(Also a good demo of some things a live system can do for you that static analysis cannot.)
Reposted by Martin Kavalar
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.)
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.)
May 12, 2023 at 12:47 AM
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.)
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.)