iiinova — where your digital self keeps evolving

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

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

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

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