Author | Lightnews

Debasish (দেবাশিস্) Ghosh 🇮🇳

@debasishg.bsky.social

590 followers 120 following 220 posts

Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.

Posts Media Videos Starter Packs

Pinned

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Oct 28

Trying my first post here ..

How Dijkstra's cry for generalization led to more focus on general language constructs, dynamic solutions, and machine-independent language design, in the interest of correctness and reliability. - a good read ..

dijkstrascry.com/node/4

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Sep 9

The algorithm is hardware agnostic.

"No architecture-specific code was used, and the implementation relies on branchless instruction-level parallelism instead of auto-vectorization to saturate wide out-of-order (OoO) CPU micro-architectures." (2/2)

Link: github.com/Voultapher/s...

github.com

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Sep 9

driftsort - introduced in Rust 1.81.0. Here’s a component level overview of the sorting algorithm (link to the research document : 👇) .. 🧵(1/2)

1 4

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Sep 9

TIL a 3-week course that will teach u to design and implement LSM tree storage engine in Rust, including implementing MVCC over the LSM engine (link: skyzh.github.io/mini-lsm/)

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Sep 9

advanced data structures course by Jeff Erickson -Spring 2025 .. lots of advanced data structures discussed along with analysis (link: jeffe.cs.illinois.edu/teaching/dat...)

1 4

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Aug 15

Me: what's the WiFi password?
Bartender: you need to buy a drink first
Me: ok, I'll have a Coca-Cola Zero
Bartender: is Diet-Pepsi ok?
Me: Sure. how much?
Bartender: that's $3.00
Me: good. so what's the WiFi password?
Bartender: you need to buy a drink first
no spaces no caps.

(Via Threads)

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Aug 2

nice article on branchless binary search in Rust with Eytzinger layout and memory prefetch .. www.bazhenov.me/posts/faster...

Fast(er) binary search in Rust

Introducton Link to heading Binary search is a very fast algorithm. Due to its exponential nature, it can process gigabytes of sorted data quickly. However, two problems make it somewhat challenging f...

www.bazhenov.me

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jul 26

In the world of ChatGPTs and Groks some StackOverflow threads still stand out .. stackoverflow.com/questions/50...

What are the lesser known but useful data structures?

There are some data structures around that are really useful but are unknown to most programmers. Which ones are they? Everybody knows about linked lists, binary trees, and hashes, but what about ...

stackoverflow.com

1 4

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jul 20

Awesome talk nonetheless .. wondering how much of research went into the talk .. (3/3) link: youtu.be/wo84LFzx5nI?...

Casey Muratori – The Big OOPs: Anatomy of a Thirty-five-year Mistake – BSC 2025

YouTube video by Better Software Conference

youtu.be

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jul 20

Opinionated talk - he hits hard at the ubiquitous practice of building compile time hierarchy of encapsulation that matches the domain model as the basis of your object oriented design. Such encapsulation boundaries may work for specific use cases but don’t generalise. (2/3)

1 1

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jul 20

Spent a meaningful 2.5 hours on the Casey Muratori talk that instrumented an exponential rise to my reading list. A masterclass in the history of computing and the roots of OO (1/3)

1 1 3

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jul 13

Zig's new async IO ... kristoff.it/blog/zig-new...

Zig's New Async I/O

Asynchronicity is not concurrency.

kristoff.it

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jul 13

Some things never change, almost a ritual for us .. লুচি (deep-fried flatbread made from refined flour)+ সাদা আলুর তরকারি (potato curry) for a Sunday breakfast ..

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jul 4

Dancing Links is tailor made for linked lists .. the way it sets up the pre-structured grid allows the algorithm to efficiently remove and restore elements during backtracking just by jumping through pointers .. (2/2)

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jul 4

Linked lists often face criticism in the world of data structures, and it’s easy to see why.
I am studying Dancing Links, a technique Knuth developed as part of his Algorithm X, designed to solve Exact Cover problems. (1/2)

1 4

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jul 3

Interesting take on cognitive load of learning a programming language. Good post on how Zig has a lower cognitive load than Rust ..
link to the blog post: kevinlynagh.com/rust-zig/

2 3 3

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jun 23

I remember Erik Meijer mention this in one of the Scala reactive programming course long back ..

(paraphrasing)

"flatMap/monad is the dolby for programmers. It allows us to amplify the happy path and itself takes care of the noise in error handling" - anyone remember the exact quote ?

1 1 3

Reposted by Debasish (দেবাশিস্) Ghosh 🇮🇳

Natalie Vais @nvais.bsky.social · Jun 22

The @tigerbeetle.com team runs a conference like they build their database — with artful craftsmanship, technical precision, and a sprinkle of magic.

Kudos to an amazing SD ‘25 🤩⚡️

3 11

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jun 22

Mathematical thinking gets honed with learning how to do proofs .. Sunday reading ..

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jun 22

OCaml and Zig are different languages with different trade offs. Not fair to compare them .. pick your own poison ..

1 3

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jun 8

This blog post makes a strong point on feeding the compiler enough *intent* to generate more optimized code. This can be at the expense of added verbosity in the language because nothing beats efficiency when you need it. And Zig does it .. alloc.dev/2025/06/07/z...

Optimizations with Zig | alloc.dev

The power of Zig's comptime code execution

alloc.dev

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · Jun 8

Sunday morning surprise from Amazon .. always wanted to dig deep into the computational aspects of database concurrency control. Papadimitriou serves the perfect recipe ..

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · May 31

Amazing talk by Ankush Desai on using formal & semi-formal methods as a thinking tool in the design process. The core message of the talk is Don't fear the Formal Methods, treat them as a thinking tool. Formal methods teach u to think at the proper level of abstraction antithesis.com/blog/2025/bu...

Thinking has no replacement

There are many tools to improve software correctness, and formal methods can be one of them.

antithesis.com

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · May 25

Spent an hour and a half on this interview on a Sunday morning with @ranjitjhala.bsky.social ..absolutely fascinating. Right from philosophical discussions down to a cool demo of refinement types in Rust. Absolutely loved the demo and surely would be playing around with Flux youtu.be/goUZczQAfgk?...

E1: Ranjit Jhala (UCSD)

YouTube video by current continuation

youtu.be

1 3

Reposted by Debasish (দেবাশিস্) Ghosh 🇮🇳

Gabriel Volpe @gvolpe.com · May 11

My first project written in @unison-lang.org !

gvolpe.com/blog/unison-...

Unison: Forex API & Caching • gvolpe's blog

I have been following the Unison programming language for as long as I can remember, given that its authors are very well-known in the Scala ecosystem. Thoug...

gvolpe.com

1 5 13

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social · May 12

Optimizing Radix Sort on GPUs - a very nice post.
gpuopen.com/learn/boosti...

Boosting GPU Radix Sort performance: A memory-efficient extension to Onesweep with circular buffers

Discover a high-performance, memory-efficient extension to Onesweep radix sort on GPUs, featuring circular buffers and advanced optimization techniques that reduce global memory access and improve sor...

gpuopen.com