Debasish (দেবাশিস্) Ghosh 🇮🇳
@debasishg.bsky.social
Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
driftsort - introduced in Rust 1.81.0. Here’s a component level overview of the sorting algorithm (link to the research document : 👇) .. 🧵(1/2)
September 9, 2025 at 4:28 AM
driftsort - introduced in Rust 1.81.0. Here’s a component level overview of the sorting algorithm (link to the research document : 👇) .. 🧵(1/2)
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/)
September 9, 2025 at 4:23 AM
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/)
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...)
September 9, 2025 at 4:20 AM
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...)
Some things never change, almost a ritual for us .. লুচি (deep-fried flatbread made from refined flour)+ সাদা আলুর তরকারি (potato curry) for a Sunday breakfast ..
July 13, 2025 at 5:24 AM
Some things never change, almost a ritual for us .. লুচি (deep-fried flatbread made from refined flour)+ সাদা আলুর তরকারি (potato curry) for a Sunday breakfast ..
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)
July 4, 2025 at 10:40 AM
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)
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/
link to the blog post: kevinlynagh.com/rust-zig/
July 3, 2025 at 5:49 AM
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/
link to the blog post: kevinlynagh.com/rust-zig/
Mathematical thinking gets honed with learning how to do proofs .. Sunday reading ..
June 22, 2025 at 5:33 PM
Mathematical thinking gets honed with learning how to do proofs .. Sunday reading ..
Sunday morning surprise from Amazon .. always wanted to dig deep into the computational aspects of database concurrency control. Papadimitriou serves the perfect recipe ..
June 8, 2025 at 4:56 AM
Sunday morning surprise from Amazon .. always wanted to dig deep into the computational aspects of database concurrency control. Papadimitriou serves the perfect recipe ..
Richard Eisenberg discusses pay-as-you-go type systems .. he says in Rust we don't pay as we go. Everyone has to pay all the time for Rust fine memory control .. many parts of your application may be suitable for garbage collected languages like OCaml .. signalsandthreads.com/future-of-pr...
January 31, 2025 at 3:21 PM
Richard Eisenberg discusses pay-as-you-go type systems .. he says in Rust we don't pay as we go. Everyone has to pay all the time for Rust fine memory control .. many parts of your application may be suitable for garbage collected languages like OCaml .. signalsandthreads.com/future-of-pr...
Slides of my presentation "Effects - algebraically yours" at @fnconf.bsky.social Functional Conf 2025 are now available online
It's based on Scala3 and examples are mostly from ZIO and Kyo with some cats-effect as well.
Here's the abstract of the talk ..
link: www.slideshare.net/slideshow/ef...
It's based on Scala3 and examples are mostly from ZIO and Kyo with some cats-effect as well.
Here's the abstract of the talk ..
link: www.slideshare.net/slideshow/ef...
January 29, 2025 at 6:52 PM
Slides of my presentation "Effects - algebraically yours" at @fnconf.bsky.social Functional Conf 2025 are now available online
It's based on Scala3 and examples are mostly from ZIO and Kyo with some cats-effect as well.
Here's the abstract of the talk ..
link: www.slideshare.net/slideshow/ef...
It's based on Scala3 and examples are mostly from ZIO and Kyo with some cats-effect as well.
Here's the abstract of the talk ..
link: www.slideshare.net/slideshow/ef...
In his Breadth First Numbering paper, Okasaki makes the observation that sometimes a more general problem is easier to solve than the one at hand. And he provides an elegant solution to it. dl.acm.org/doi/pdf/10.1...
Are there any other examples in Computer Science where similar trick applies ?
Are there any other examples in Computer Science where similar trick applies ?
January 25, 2025 at 3:44 PM
In his Breadth First Numbering paper, Okasaki makes the observation that sometimes a more general problem is easier to solve than the one at hand. And he provides an elegant solution to it. dl.acm.org/doi/pdf/10.1...
Are there any other examples in Computer Science where similar trick applies ?
Are there any other examples in Computer Science where similar trick applies ?
This is such a great piece of advice from matklad!
Link to the full blogpost: matklad.github.io/2024/09/06/f...
Link to the full blogpost: matklad.github.io/2024/09/06/f...
January 25, 2025 at 3:07 PM
This is such a great piece of advice from matklad!
Link to the full blogpost: matklad.github.io/2024/09/06/f...
Link to the full blogpost: matklad.github.io/2024/09/06/f...
sunk cost fallacy is a trap .. existing code has a very powerful influence and may often lure you into the wrong abstraction ..
a nice blog post by Sandy Metz .. sandimetz.com/blog/2016/1/...
a nice blog post by Sandy Metz .. sandimetz.com/blog/2016/1/...
January 25, 2025 at 3:06 PM
sunk cost fallacy is a trap .. existing code has a very powerful influence and may often lure you into the wrong abstraction ..
a nice blog post by Sandy Metz .. sandimetz.com/blog/2016/1/...
a nice blog post by Sandy Metz .. sandimetz.com/blog/2016/1/...
Do kids of today read these books? In our early days there used to be a series of these Little Mathematics Library published by Mir Publishers. Each book deals with a specific topic and used to be of around 50-55 pages. I really enjoyed them and my 14 yo also seems to be enjoying them.
January 11, 2025 at 7:07 PM
Do kids of today read these books? In our early days there used to be a series of these Little Mathematics Library published by Mir Publishers. Each book deals with a specific topic and used to be of around 50-55 pages. I really enjoyed them and my 14 yo also seems to be enjoying them.
Is this still status quo in the Go land ? The inventor of GoLang on implementing `filter` .. github.com/robpike/filter
January 11, 2025 at 7:06 PM
Is this still status quo in the Go land ? The inventor of GoLang on implementing `filter` .. github.com/robpike/filter
Is Derek Dreyer's thesis "Understanding and Evolving the ML Module System" still the best resource to understand ML modules ?
January 7, 2025 at 5:29 PM
Is Derek Dreyer's thesis "Understanding and Evolving the ML Module System" still the best resource to understand ML modules ?
Is Scala's `Future::fallbackTo` of any use ? `that` is eager, so always gets executed irrespective of if `this` succeeds or not. (BTW I know I can use `recoverWith`)
Another classic usecase for using effects ..
Another classic usecase for using effects ..
January 7, 2025 at 5:28 PM
Is Scala's `Future::fallbackTo` of any use ? `that` is eager, so always gets executed irrespective of if `this` succeeds or not. (BTW I know I can use `recoverWith`)
Another classic usecase for using effects ..
Another classic usecase for using effects ..
(The most nerdy 2025 post received so far - this one from Math Cafe on X)
2025 = Number of spanning trees in the complete bipartite graph K_{3,5}.
en.wikipedia.org/wiki/Complet...
2025 = Number of spanning trees in the complete bipartite graph K_{3,5}.
en.wikipedia.org/wiki/Complet...
January 1, 2025 at 4:56 PM
(The most nerdy 2025 post received so far - this one from Math Cafe on X)
2025 = Number of spanning trees in the complete bipartite graph K_{3,5}.
en.wikipedia.org/wiki/Complet...
2025 = Number of spanning trees in the complete bipartite graph K_{3,5}.
en.wikipedia.org/wiki/Complet...
Getting lots of posts on my X feed related to breadth first traversal of a graph. Here's an interesting problem as a Functional Pearl presented by Chris Okasaki in ICFP 2000 ..
December 31, 2024 at 5:41 AM
Getting lots of posts on my X feed related to breadth first traversal of a graph. Here's an interesting problem as a Functional Pearl presented by Chris Okasaki in ICFP 2000 ..
Well, Prof Don Knuth revealed during his annual Christmas lecture this year his most favorite algorithm .. he mentioned that it's not only a problem in algorithms but also the beautiful data structure of graph representation that influenced his decision ..
December 25, 2024 at 6:05 PM
Well, Prof Don Knuth revealed during his annual Christmas lecture this year his most favorite algorithm .. he mentioned that it's not only a problem in algorithms but also the beautiful data structure of graph representation that influenced his decision ..
Quotient Filter, which supports the basic operations of the Bloom filter, achieving roughly comparable performance in terms of space and time, but with better data locality.
Paper: Don’t Thrash: How to Cache Your Hash on Flash - vldb.org/pvldb/vol5/p...
Paper: Don’t Thrash: How to Cache Your Hash on Flash - vldb.org/pvldb/vol5/p...
December 25, 2024 at 5:15 PM
Quotient Filter, which supports the basic operations of the Bloom filter, achieving roughly comparable performance in terms of space and time, but with better data locality.
Paper: Don’t Thrash: How to Cache Your Hash on Flash - vldb.org/pvldb/vol5/p...
Paper: Don’t Thrash: How to Cache Your Hash on Flash - vldb.org/pvldb/vol5/p...
Time to celebrate Christmas with the gift of books to enjoy during the holidays ..
December 25, 2024 at 7:52 AM
Time to celebrate Christmas with the gift of books to enjoy during the holidays ..
Nice explanation of why Cassandra moved away from comparison based data structures to an optimal trie based ones in their memtable implementation. They describe how to achieve better data locality as well as cache line efficiency with their custom trie implementation .. www.vldb.org/pvldb/vol15/...
December 23, 2024 at 5:23 PM
Nice explanation of why Cassandra moved away from comparison based data structures to an optimal trie based ones in their memtable implementation. They describe how to achieve better data locality as well as cache line efficiency with their custom trie implementation .. www.vldb.org/pvldb/vol15/...
A paper from 2008 co-authored by @yminsky.bsky.social on why Jane Street started using OCaml for a wide range of tasks: critical trading systems, quantitative research, systems software, and system administration.
December 23, 2024 at 5:18 PM
A paper from 2008 co-authored by @yminsky.bsky.social on why Jane Street started using OCaml for a wide range of tasks: critical trading systems, quantitative research, systems software, and system administration.
SQLite deciding NOT to add hash joins and instead use Bloom Filter for performance gains with minimal added complexity - smart! I always love when a smart data structure based solution solves your real world use case .. www.vldb.org/pvldb/vol15/...
December 22, 2024 at 8:15 AM
SQLite deciding NOT to add hash joins and instead use Bloom Filter for performance gains with minimal added complexity - smart! I always love when a smart data structure based solution solves your real world use case .. www.vldb.org/pvldb/vol15/...