Sign in Subscribe

Raymond Tana

I am a PhD Candidate at Penn State University in Mathematical Logic. Dabble in tech :)

📍 State College PA, San Francisco CA,

How to Make a Blog Post

A resource for anyone wishing to build a better workflow when blogging with Ghost. Tips & Tricks and general advice.

What is the Halting Problem?

We explore the meaning, proof, and significance of the Halting Problem in multiple lights with a mix of rigor and discussion.