I am delighted to announce that after 5 years of work, 15 early releases, 50,000 words written, and 100,000 more deleted, *Logic for Programmers* is now complete and available in print! Blog post announcement: www.hillelwayne.com/post/lfp/ Website: logicforprogrammers.com

Logic for Programmers

Practical math for the working programmer.

logicforprogrammers.com

We just released the first stable version of iroh, v1.0! Read about it: www.iroh.computer/blog/v1 We're super proud of where we landed with iroh's 1.0. Since version 0.35 it feels like we've entirely replaced the "engine underneath". Are you a fellow key-dialer? Come tell us how you use iroh!

Iroh 1.0 - Dial Keys, not IPs

Iroh 1.0 is out. Now is the time to build.

iroh.computer

Progress update: got a grid system working! Huge shoutout to www.redblobgames.com/grids/hexago.... I could not have figured out the grid without that. #gamedev #rustlang

Samyak Sarnayak@samyak.me · 3mo ago

@psiayn.bsky.social and I trying to get back at game dev. First image from engine (bevy), second one from blender (cycles). #gamedev #rustlang

Announcing the June #Bangalore #FPIndia #Meetup! Our first talk is Type-level Programming in #Haskell, presented by Abhinav! Like always, meet fellow FP heads, have great conversations, all skill levels welcome! RSVP hasgeek.com/fpindia/bang... #PureScript #Typescript #Rust #Erlang #Scala #OCaml

Bangalore FP June 2026 meetup

Bangalore FP June 2026 meetup

hasgeek.com

It’s an honor for my talk to be recommended by Andrew (PMC Chair for DataFusion). The recording is up, check it out!

Andrew Lamb@andrewlamb1111.bsky.social · 3mo ago

I just had the chance to watch @samyak.me 's talk about cancellation safety and async Rust (and how a `&mut` can lead to a deadlock). If this is a topic that interests you, I recommend checking it out: samyak.me/talks/cancel/

I just had the chance to watch @samyak.me 's talk about cancellation safety and async Rust (and how a `&mut` can lead to a deadlock). If this is a topic that interests you, I recommend checking it out: samyak.me/talks/cancel/

The wait is over #Bangalore! #FPIndia #meetup this weekend! Saachi will talk about building chess provers using #Lean. Plus, the usual nerdy debates, and catching up with fellow FP heads. Don't miss it! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure

Bangalore FP May 2026 meetup

Bangalore FP May 2026 meetup

hasgeek.com

@psiayn.bsky.social and I trying to get back at game dev. First image from engine (bevy), second one from blender (cycles). #gamedev #rustlang

Recordings for the Rust India Conference 2026 are up! (including my talk on cancellation in async rust) youtube.com/playlist?lis... #rust

Rust India Conference 2026 — Full Talk Recordings - YouTube

📅 April 18, 2026 | 📍 NIMHANS Convention Centre, Bengaluru, India Rust India Conference 2026 is India's first national Rust conference — a single-track, techn...

youtube.com

I'm giving a talk on cancellation in async rust! It's at the Rust India Conference: hasgeek.com/rustbangalor...

DataFusion 53 came out last week. I took a look at the individuals and companies who committed the most. (paywall has expired) theconsensus.dev/p/2026/04/03...