Johnny Sigman

icon indicating a website link www.johnsigman.com

icon company Duke University icon location Durham, NC icon location Principal Data Scientist, former postdoc (ML) at Duke. Electrical Engineering PhD completed at Dartmouth College, 2017. Love emacs

Results 2 issues of Johnny Sigman

Using ipdb or pdb inside a source block

1 comment

Is it possible to use the debugger in a source block, in the same way that you can for jupyter? I get the following error: `StdinNotImplementedError: raw_input was called, but...

Support Principia Mathematica formal system?

Hello Alex! I read GEB about a decade ago, and recently have been enjoying [Godel's Proof](https://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/0814758371/ref=sr_1_1?crid=WKFT59XRZDUK&keywords=godels+proof&qid=1687353560&sprefix=godels+proof%2Caps%2C87&sr=8-1), which was the primary source for Hofstadter. I'm interested to develop a godel numbering...