iiinova — where your digital self keeps evolving

Reposted by Samyak Sarnayak

Hillel @hillelwayne.com · 29/07/2026

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

logicforprogrammers.com

Logic for Programmers

Practical math for the working programmer.

1020448

Reposted by Samyak Sarnayak

Iroh @iroh.computer · 15/06/2026

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.computer

Iroh 1.0 - Dial Keys, not IPs

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

721862

Samyak Sarnayak @samyak.me · 05/06/2026

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

171

Reposted by Samyak Sarnayak

Functional Programming India @fpindia.bsky.social · 04/06/2026

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

hasgeek.com

Bangalore FP June 2026 meetup

031

Samyak Sarnayak @samyak.me · 22/05/2026

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

051

Reposted by Samyak Sarnayak

Andrew Lamb @andrewlamb1111.bsky.social · 21/05/2026

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/

1112

Reposted by Samyak Sarnayak

Functional Programming India @fpindia.bsky.social · 17/05/2026

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

hasgeek.com

Bangalore FP May 2026 meetup

052

Samyak Sarnayak @samyak.me · 04/05/2026

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

A MacOS window showing a hexagonal building being rendered. Cyberpunk aesthetics.

Same image, but looks way better being rendered in cycles (blender).

0122

Samyak Sarnayak @samyak.me · 13/04/2026

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

010

Reposted by Samyak Sarnayak

Phil Eaton @eatonphil.bsky.social · 09/04/2026

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...

1103