Skip to content

Instantly share code, notes, and snippets.


Mihai Todor mihaitodor

View GitHub Profile
graninas /
Last active Sep 21, 2020
What killed Haskell, could kill Rust, too

At the beginning of 2030, I found this essay in my archives. From what I know today, I think it was very insightful at the moment of writing. And I feel it should be published because it can teach us, Rust developers, how to prevent that sad story from happening again.

What killed Haskell, could kill Rust, too

What killed Haskell, could kill Rust, too. Why would I even mention Haskell in this context? Well, Haskell and Rust are deeply related. Not because Rust is Haskell without HKTs. (Some of you know what that means, and the rest of you will wonder for a very long time). Much of the style of Rust is similar in many ways to the style of Haskell. In some sense Rust is a reincarnation of Haskell, with a little bit of C-ish like syntax, a very small amount.

Is Haskell dead?


Things I believe

This is a collection of the things I believe about software development. I have worked for years building backend and data processing systems, so read the below within that context.

Agree? Disagree? Feel free to let me know at @JanStette. See also my blog at


Keep it simple, stupid. You ain't gonna need it.

alecholmez /
Last active Jan 10, 2020
Incremental xDS Implementation Plan
mkolod / dlopen_driver.cpp
Created Dec 17, 2019
Preloading shared lib (CUDA driver) before main runs
View dlopen_driver.cpp
#include <iostream>
#include <iomanip>
#include <dlfcn.h>
using std::cout;
using std::cerr;
using std::endl;
void* h = []() {


Details / How


TL;DR: what was the bug? (spoilers!):

mkolod / rpn_jit.ipynb
Last active May 2, 2019
CUDA pointwise fuser
View rpn_jit.ipynb
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
import mxnet as mx
from mxnet.gluon.model_zoo import vision
import os
import time
batch_shape = (1, 3, 224, 224)
resnet18 = vision.resnet18_v2(pretrained=True)
def static_var(name, value):
def helper(fun):
setattr(fun, name, value)
return fun
return helper
@static_var("my_var", 0)
@static_var("my_other_var", "HAL")
def foo():
sinclairtarget / bernoulli.c
Created Aug 17, 2018
Lovelace's Note G Program in C
View bernoulli.c
#include <stdio.h>
* Calculates what Ada Lovelace labeled "B7", which today we would call the 8th
* Bernoulli number.
int main(int argc, char* argv[])
// ------------------------------------------------------------------------
// Data
You can’t perform that action at this time.