Skip to content

Instantly share code, notes, and snippets.

View mryndzionek's full-sized avatar
👽
Focusing

mryndzionek

👽
Focusing
  • Gdańsk
View GitHub Profile
@ekmett
ekmett / poetic-edda-kmett.txt
Created December 3, 2022 22:41
ChatGPT tells my tale.
Once upon a time,
In the land of code,
There lived a young programmer,
Named Edward Kmett.
He was skilled in many languages,
And excelled in their use,
But one day he stumbled upon,
The mighty Haskell's muse.
@Tschucker
Tschucker / aerochrome_emulation.ipynb
Created February 15, 2022 17:11
Python Aerochrome film emulation image processing
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@philzook58
philzook58 / cheb.py
Created December 29, 2019 23:59
Verifying a neural network with z3
import sympy as sy
import matplotlib.pyplot as plt
import numpy as np
x = sy.symbols('x')
cheb = sy.lambdify(x, sy.chebyshevt(4,x))
xs = np.linspace(-1,1,1000)
ys = cheb(xs)
plt.plot(xs, ys)
plt.show()