Skip to content

Instantly share code, notes, and snippets.

View Tritlo's full-sized avatar

Matthías Páll Gissurarson Tritlo

169 followers · 53 following
View GitHub Profile
@Tritlo
Tritlo / microgpt.py
Created February 12, 2026 20:51 — forked from karpathy/microgpt.py
microgpt
"""
The most atomic way to train and inference a GPT in pure, dependency-free Python.
This file is the complete algorithm.
Everything else is just efficiency.
@karpathy
"""
import os # os.path.exists
import math # math.log, math.exp
@Tritlo
Tritlo / PlyReader.js
Last active October 27, 2022 07:40
A reader for PLY files for WebGL. Only reads points and normals, currently.
//PlyReader.js (C) 2014 Matthias Pall Gissurarson.
//Partially based on https://github.com/gnomeby/canvas3D, which has no License.
/*
The MIT License (MIT)
Copyright (c) 2014 Matthias Pall Gissurarson
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
@Tritlo
Tritlo / TailRec.hy
Last active October 4, 2022 13:55
Proper Tail Recursion in Python
(defclass TailCall [Exception]
"An exeception to implement Proper Tail Recursion"
[[--init--
(fn [self __TCFunc &rest args &kwargs kwargs]
(setv self.func __TCFunc)
(setv self.args args)
(setv self.kwargs kwargs)
nil)]])
(defn TailRec [func]
@Tritlo
Tritlo / LazinessInAction.md
Last active August 1, 2020 02:34
Talk on Laziness @RVKFP 2020-07-31

Laziness in Action

Matthías Páll Gissurarson, @tritlo

Reykjavík Functional Programming

2020-07-31

@Tritlo
Tritlo / M.hs
Last active June 26, 2020 00:15
QualifiedDo @ RFP 2020-06-25
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeFamilies #-}
module M where
import GHC.TypeLits
data Merki = Leyndarmál | Opinbert
newtype LIO (l :: Merki) a = LIO {unLIO :: IO a}
@Tritlo
Tritlo / README.md
Created June 26, 2020 00:12
Draugatög @ RFP 2020-06-25

Sæktu https://github.com/tritlo/writ-plugin, búðu til nýja möppu sem heitir TestRFP, bættu því við í cabal.project og afritaðu skjölin hér að ofan í möppuna, og keyrðu svocabal run test_rfp til að keyra

@Tritlo
Tritlo / PrintXY.hs
Created May 27, 2020 08:22
I got nerd sniped to write a function that takes an n, and prints all strings of length n containing only 'X' and 'Y'
import Data.Bits
printXY n = mapM_ print (gen n)
where gen 0 = [""]
gen n = map (f n) [0..2^(n-1)]
f :: Int -> Integer -> String
f n i = map (toXY . testBit i) [0..(n-1)]
toXY c = if c then 'X' else 'Y'
genRec n = (map ('X':) smaller) ++ (map ('Y':) smaller)
where smaller = genRec (n-1)
@Tritlo
Tritlo / favicon.py
Last active June 29, 2019 23:09
Favicon.png
import numpy as np
from PIL import Image
w,h = 384, 384
data = np.zeros((w,h,3), dtype=np.uint8)
yellow = [255, 255,0]
black = [0,0,0]
@Tritlo
Tritlo / Dockerfile
Last active March 13, 2019 00:23
Dockerfile and config for cross compiling Haskell to run on Raspberry Pi
FROM ubuntu:16.04
RUN apt-get update && apt-get install -y curl xz-utils build-essential unzip
RUN mkdir -p /rpi/ghc/ \
&& curl -sSL http://releases.mobilehaskell.org/x86_64-linux/9824f6e473/ghc-8.4.0.20180109-arm-linux-gnueabihf.tar.xz -o ghc.tar.xz\
&& tar -xvf ghc.tar.xz -C /rpi/ghc/\
&& rm -f ghc.tar.xz
RUN mkdir -p /rpi/prebuilt/ \
@Tritlo
Tritlo / ONotation.hs
Created November 5, 2018 10:14
Type-level complexity annotations in Haskell
{-# LANGUAGE TypeInType, TypeOperators, TypeFamilies,
UndecidableInstances, ConstraintKinds #-}
module ONotation where
import GHC.TypeLits as L
import Data.Type.Bool
import Data.Type.Equality
-- Simplistic asymptotic polynomials
data AsymP = NLogN Nat Nat