Skip to content

Instantly share code, notes, and snippets.

View urban-1's full-sized avatar

Andreas Bontozoglou urban-1

  • Facebook
  • London
View GitHub Profile
@graninas
graninas / What_killed_Haskell_could_kill_Rust.md
Last active November 5, 2024 02:15
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?

@urban-1
urban-1 / btree.py
Last active February 25, 2017 18:40 — forked from yiakwy/btree.py
"""
Full credit to original authos of the gist:
https://gist.github.com/yiakwy/8380ee05a0bdbf6c291e
"""
import bisect
import itertools
import operator
import random
@urban-1
urban-1 / depres.py
Last active February 17, 2021 08:06
PUBLIC: Software Version Dependency Resolution
#!/usr/bin/env python
import logging as lg
import re
from random import randint, choice
from distutils.version import LooseVersion as Version
from collections import OrderedDict
lg.basicConfig(level=lg.DEBUG)
#
@akaariai
akaariai / join_promotion
Last active February 26, 2024 12:51
Django join promotion
=========================
Join promotion in the ORM
=========================
[NOTE: We need better terms than promote and demote for changing the join
type. These terms are extremely easy to mix up. Maybe the ORM methods could
be to_inner_joins and to_louter_joins instead of promote_joins and demote_joins?
I tried to clean up the mis-usages of promotion/demotion but there could still
be some cases where these are mixed up]
@lephuongbg
lephuongbg / One (dark).kateschema
Created May 14, 2015 04:09
One (dark) - Kate Schema (ported from Atom.io editor theme)
[Default Item Styles - Schema One (dark)]
Alert=ffc7626b,ffc7626b,1,,,,fffae9eb,-,,---
Annotation=ff7f8c8d,ff7f8c8d,,,,,-,-,,---
Attribute=ffe5c17c,ffe5c17c,,,,,-,-,,---
Base-N Integer=ffe5c17c,ffe5c17c,,,,,-,-,,---
Built-in=ffabb2c0,ffabb2c0,,,,,-,-,,---
Character=ff97c378,ff97c378,,,,,-,-,,---
Comment=ff4f5562,ff4f5562,,,,,-,-,,---
Comment Variable=ff7f8c8d,ff7f8c8d,,,,,-,-,,---
Constant=ffabb2c0,ffabb2c0,1,,,,-,-,,---
@xero
xero / irc.md
Last active October 29, 2024 15:25
irc cheat sheet
@joemiller
joemiller / netpps.sh
Last active January 12, 2024 15:39
shell: quick linux scripts for showing network bandwidth or packets-per-second
#!/bin/bash
if [ -z "$1" ]; then
echo
echo usage: $0 network-interface
echo
echo e.g. $0 eth0
echo
echo shows packets-per-second