bakerjd99
I am a recusant programmer. I have lived in seven countries on four continents and would like to catch the first starship outta here!
Meridian Idaho
Pinned Repositories
Analyze-the-Data-not-the-Drivel
LaTeX and Markdown versions of my blog.
Cyber-Roadkill
A collection of system killing hard to reproduce bugs.
jacks
Consolidated J language code referenced in my blog Analyze the Data not the Drivel
jackshacks
addons versions of selected J scripts from jacks
jkernel
Jupyter Notebook / J Integration
jlearn
Machine Learning Library, written in J
jod
jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
joddoc
LaTeX source for jod.pdf
joddumps
jod dictionary dump scripts
nb2wp
Convert Jupyter notebook to plain HTML suitable for Wordpress.com
bakerjd99's Repositories
bakerjd99/jacks
Consolidated J language code referenced in my blog Analyze the Data not the Drivel
bakerjd99/jod
jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
bakerjd99/jlearn
Machine Learning Library, written in J
bakerjd99/jkernel
Jupyter Notebook / J Integration
bakerjd99/joddoc
LaTeX source for jod.pdf
bakerjd99/joddumps
jod dictionary dump scripts
bakerjd99/nb2wp
Convert Jupyter notebook to plain HTML suitable for Wordpress.com
bakerjd99/Analyze-the-Data-not-the-Drivel
LaTeX and Markdown versions of my blog.
bakerjd99/Cyber-Roadkill
A collection of system killing hard to reproduce bugs.
bakerjd99/formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
bakerjd99/jackshacks
addons versions of selected J scripts from jacks
bakerjd99/hilberts-axioms
bakerjd99/leanteach2020
Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
bakerjd99/RSV-Challenge
RSV = Rows of String Values