Top New Best Ask Show Jobs

m_j_g

53 karma · joined March 7, 2018

marcinjangrzybowski (at) gmail.com

submissions comments

Agda Implementors' Meeting Xliii

wiki.portal.chalmers.se·3 pts·m_j_g·

Veritasium: A Physics Prof Bet Me $10k I'm Wrong

youtube.com·33 pts·m_j_g·

Wire Strike Protection System

en.wikipedia.org·1 pts·m_j_g·

How I made a €2 ACTUATOR

youtube.com·1 pts·m_j_g·

The Unbearable Loneliness of Being Right on the Internet with CD (2017)

youtube.com·1 pts·m_j_g·

How to Make a Torus from Villarceau Circles (2015)

youtube.com·1 pts·m_j_g·

Nations with Mandatory TB Vaccines Show Fewer Coronavirus Deaths

bloomberg.com·2 pts·m_j_g·

Implementing a Simple Proof Assistant and Type System (In Mathematica)

community.wolfram.com·2 pts·m_j_g·

From Parametricity to Conservation Laws, via Noether’s Theorem (2014) [pdf]

bentnib.org·2 pts·m_j_g·