Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Jon Gjengset

@jonhoo@fosstodon.org
mastodon 4.7.3
  • Open on fosstodon.org

Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. he/him/they

4242 Followers
39 Following
22 Posts
Joined March 11, 2020
Homepage:
https://thesquareplanet.com
YouTube:
https://www.youtube.com/c/JonGjengset
GitHub:
https://github.com/jonhoo/
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 6mo ago

Back in January I gave a talk at Jane Street with the title "Are Mutexes Slow?". I also gave a lightning version of the same talk at Rustikon last week. The longer Jane Street version is now up on YouTube for anyone interested in some of the details about CPU cache coherence and the cost of coordination!

https://www.youtube.com/watch?v=tND-wBBZ8RY

37
2
16
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 7mo ago

In January, Anish, Jose, and I returned to MIT CSAIL to teach Missing Semester, a class on topics we've found missing from most CS programs—tools and techniques that everyone should know, like Bash, Git, CI/CD, and AI tools. Today, just like in previous years, we’re releasing the course for free online!

https://missing.csail.mit.edu

missing.csail.mit.edu
36
1
21
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 6mo ago

For the past few streams, we've been going pretty high level, especially with the aid of LLMs. Not this time! On Friday at 4pm UTC (https://everytimezone.com/s/2ac07a7b), we're going all the way down to "what bits go where", with honest hand-written #Rust code. Specifically, we're going to write an audio generator that produces WAV files with white, pink, and brown noise. Hopefully I won't blow any speakers (yours or mine), but come find out!

https://youtube.com/live/BKHE7stqhoI?feature=share

Every Time Zone Converter
everytimezone.com

Every Time Zone Converter

Easily find the exact time difference with the visual Time Zone Converter. Find meeting times for your contacts, locations and places around the world. Never warp your brain with time zone math again.

23
2
13
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 6mo ago

Recording of yesterday's stream implementing a WAV noise file generator in #rust is now up on YouTube! We managed to get white, pink, brownian, blue, violet, and grey (psychoacoustic!) noise all implemented, so I'll count that as a success 🔊

https://youtu.be/zOTE4BN59u4

21
0
5
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 10mo ago

Okay, this is pretty cool.

42
12
8
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 10mo ago

Video of the One Billion Row Challenge stream is now up at https://youtu.be/tCY7p6dVAGE! We got down to 1.2s without any external dependencies, and it was a fun journey down lots of performance rabbit holes (only some of which panned out 😅). It is over 10h, but hopefully the chapters in the video help!

27
1
11
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 8mo ago

Recording of our "port avro-tools' Java-based idl-to-json tool to Rust using an LLM" adventure is now up on YouTube! We got to an initial working implementation in ~4hrs (though still with bugs to iron out in future iterations), which isn't too shabby! Code at https://github.com/jonhoo/avdl.

https://youtu.be/vmKvw73V394

14
1
3
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 6mo ago

A few weeks ago I was interviewed by Daniel from Rock the JVM, a channel primarily for (perhaps unsurprisingly) folks working in the JVM ecosystem. It was really fun to chat about Rust with someone not already deeply embedded in it, and the conversation ended up touching on several interesting topics, including impedance mismatch between Rust and other languages, as well as how to teach programming. If you want to hear it, it's now up on his YouTube channel!

https://youtu.be/Cg8gASzqqOs?is=frO_E2E5vzOA69E2

8
0
3
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 9mo ago

The recording of the new year's Q&A stream is now up, with all the questions annotated for easy skipping! https://youtu.be/S_zp82fYrGw

13
0
4
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 8mo ago
Replying to
As for the LLM bit — I think this is an ideal powercoding (LLM + code review) use-case since we a) have access to the existing Java code and b) there's an infinite supply of trusted tests (the same IDL passed to the Java tool should produce the same JSON). But let's see how it goes!
7
0
1
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 9mo ago

RE: @jonhoo@fosstodon.org

Quick reminder that this is coming up. Lots of good questions have come in, so please take some time to go in and vote for the ones you care the most about!

fosstodon.org
7
0
2
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 7mo ago

Sadly, I can't make it to the inaugural TokioConf happening in Portland April 20th - 22nd; I'll be en route to the Blood on the Clocktower convention Final3Con in DC instead 😈

But, I do have a 15% discount code I've been told to hand out to people excited to go, so if you've been considering taking part, ping me and I'll see what I can do!

More about the conf and who it's for (tl;dr: lots of people!) here: https://tokio.rs/blog/2026-03-03-tokioconf-update

#rust

tokio.rs
3
0
2
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 10mo ago
Replying to
There are already several Rust implementations (https://github.com/gunnarmorling/1brc/discussions/57) this excellent write-up (https://curiouscoding.nl/posts/1brc/) and even an existing stream (https://www.youtube.com/watch?v=Q-0durxAB6s) but I'm hoping that walking through the process live will still be a good teaching exercise.
5
0
1
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 8mo ago

@stchris@mas.to To be fair, it _did_ get a lot easier when I could just download the .jar from the releases page/from Maven with the right command, as I realized later on. But yeah, still not super easy to discover (although admittedly I'm _very_ rusty on my Java).

2
0
0
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 6mo ago
Replying to
@andyeff Yeah, someone else reported the same thing. I think there's a bug on the website. The YouTube page should have the correct date and time (Friday)!
1
0
0
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 9mo ago
Replying to
In other timezones: https://everytimezone.com/s/9a5b6b03
everytimezone.com
2
0
1
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 10mo ago
Replying to
@blueluma@mastodon.social Unlikely — I already explicitly stopped multi-streaming to Twitch because multi-streaming gives up too many useful things. From what I can tell, PeerTube would bring a bunch of additional complications, while also giving very few additional people the ability to watch 😅 I wasn't even able to find any very well-established candidate servers..
1
0
0
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 10mo ago
Replying to
@blueluma@mastodon.social @peertube@framapiaf.org I don't, no :)
1
2
0
0
Open post
Jon Gjengset @jonhoo@fosstodon.org
· 8mo ago

@ryanvade@mas.to Why?

0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 12:50:51 UTC