Instantly share code, notes, and snippets.
🏠
Working from home
Programmer at large. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy
- Conviva
- India
- http://debasishg.blogspot.com
- @debasishg
debasishg /control-plane-mcp.md
CreatedMay 29, 2025 09:33
debasishg /clickhouse-mcp.md
CreatedMay 27, 2025 17:34
- Parallel Computing Course - Stanford CS149, Fall 2023
- Performance-Aware Programming Series by Casey Muratori
- Algorithms for Modern Hardware
- Computer Systems: A Programmer's Perspective, 3/E - by Randal E. Bryant and David R. O'Hallaron, Carnegie Mellon University
- Performance Engineering Of Software Systems - am MITOCW course
- Parallel Programming 2020 by NHR@FAU
- Cpu Caches and Why You Care - by Scott Meyers
- [Optimizing a ring buffer for throughput](https://rig
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters
| #[derive(Debug)] | |
| enumMyError{ | |
| Io(std::io::Error), | |
| Parse(pest::error::Error<Rule>), | |
| } | |
| #[derive(Debug)] | |
| structStoreError(MyError); | |
| impl std::fmt::DisplayforStoreError{ |
debasishg /okasaki_functor_3_7.ml
Last activeOctober 13, 2023 16:06
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters
| (* Modules - the signature of functions and types with no | |
| implementation whatsoever. Pure interfaces.*) | |
| module typeOrderedType=sig | |
| typet | |
| valcompare :t ->t ->int | |
| end | |
| (* Note we don't specify any representation for the implementation of a | |
| [heap]. Just the facts that define a heap - an ordered element, an | |
| abstract type and a bunch of functions*) |
debasishg /exists.ml
CreatedOctober 12, 2023 16:47 — forked fromjonsterling/exists.ml
existential quantifier in OCaml This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters
| (* an abstract signature for instantiations of the existential quantifier*) | |
| module typeEXISTS= | |
| sig | |
| (* the predicate*) | |
| type'a phi | |
| (* the existential type*) | |
| typet | |
| (* the introduction rule*) |
debasishg /algebraic.md
Last activeOctober 26, 2023 23:11
a brief intro to algebraic domain modelingNewerOlder