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.
Pinned
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
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
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...)
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)
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)
August 15, 2025 at 3:14 PM
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)
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)
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
August 2, 2025 at 7:04 PM
nice article on branchless binary search in Rust with Eytzinger layout and memory prefetch .. www.bazhenov.me/posts/faster...
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
July 26, 2025 at 4:02 AM
In the world of ChatGPTs and Groks some StackOverflow threads still stand out .. stackoverflow.com/questions/50...
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)
July 20, 2025 at 11:23 AM
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)
Zig's new async IO ... kristoff.it/blog/zig-new...
Zig's New Async I/O
Asynchronicity is not concurrency.
kristoff.it
July 13, 2025 at 6:44 AM
Zig's new async IO ... kristoff.it/blog/zig-new...
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 ..
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)
I am studying Dancing Links, a technique Knuth developed as part of his Algorithm X, designed to solve Exact Cover problems. (1/2)
July 4, 2025 at 10:40 AM
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)
I am studying Dancing Links, a technique Knuth developed as part of his Algorithm X, designed to solve Exact Cover problems. (1/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/
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 ?
(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 ?
June 23, 2025 at 7:36 AM
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 ?
(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 ?
Reposted by Debasish (দেবাশিস্) Ghosh 🇮🇳
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 🤩⚡️
Kudos to an amazing SD ‘25 🤩⚡️
June 22, 2025 at 7:25 AM
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 🤩⚡️
Kudos to an amazing SD ‘25 🤩⚡️
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 ..
OCaml and Zig are different languages with different trade offs. Not fair to compare them .. pick your own poison ..
June 22, 2025 at 1:44 PM
OCaml and Zig are different languages with different trade offs. Not fair to compare them .. pick your own poison ..
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
June 8, 2025 at 2:47 PM
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...
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 ..
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
May 31, 2025 at 12:22 PM
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...
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
May 25, 2025 at 7:11 AM
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?...
Reposted by Debasish (দেবাশিস্) Ghosh 🇮🇳
Optimizing Radix Sort on GPUs - a very nice post.
gpuopen.com/learn/boosti...
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
May 12, 2025 at 5:25 AM
Optimizing Radix Sort on GPUs - a very nice post.
gpuopen.com/learn/boosti...
gpuopen.com/learn/boosti...
One of the essays of Paul Graham from 2002 that resonated a lot to me when I read back then .. Succinctness is power. I always add a post scriptum - only when not abused .. t.co/MQaDLsEUQe
May 12, 2025 at 5:23 AM
One of the essays of Paul Graham from 2002 that resonated a lot to me when I read back then .. Succinctness is power. I always add a post scriptum - only when not abused .. t.co/MQaDLsEUQe
One of the cool applications of the typestate pattern in Rust is the design of SquirrelFS, a new file system with crash-consistency guarantees that are checked **at compile time**. In Rust the typestate pattern plays nicely with the ownership model semantics .. arxiv.org/abs/2406.09649
SquirrelFS: using the Rust compiler to check file-system crash consistency
This work introduces a new approach to building crash-safe file systems for persistent memory. We exploit the fact that Rust's typestate pattern allows compile-time enforcement of a specific order of ...
arxiv.org
May 12, 2025 at 5:22 AM
One of the cool applications of the typestate pattern in Rust is the design of SquirrelFS, a new file system with crash-consistency guarantees that are checked **at compile time**. In Rust the typestate pattern plays nicely with the ownership model semantics .. arxiv.org/abs/2406.09649
Loved this blogpost from matklad and the template for swarm testing an arbitrary data structure .. tigerbeetle.com/blog/2025-04...
Swarm Testing Data Structures
Insights, updates, and technical deep dives on building a high-performance financial transactions database.
tigerbeetle.com
May 5, 2025 at 8:18 AM
Loved this blogpost from matklad and the template for swarm testing an arbitrary data structure .. tigerbeetle.com/blog/2025-04...
my data structure lessons on a Friday evening ..
rope in Zed has a very clever implementation. It's implemented in terms of SumTree, a thread-safe, snapshot-friendly, copy-on-write B+ tree. (1/2)
rope in Zed has a very clever implementation. It's implemented in terms of SumTree, a thread-safe, snapshot-friendly, copy-on-write B+ tree. (1/2)
May 5, 2025 at 8:16 AM
my data structure lessons on a Friday evening ..
rope in Zed has a very clever implementation. It's implemented in terms of SumTree, a thread-safe, snapshot-friendly, copy-on-write B+ tree. (1/2)
rope in Zed has a very clever implementation. It's implemented in terms of SumTree, a thread-safe, snapshot-friendly, copy-on-write B+ tree. (1/2)