[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.9001896 [View]
File: 79 KB, 900x600, 55a674b1fff2c16856a6bd9e_emma-stone-aloha-miscast.jpg [View same] [iqdb] [saucenao] [google]
9001896

Reading this thread with very much interest.
I just finished my physics PhD a month ago and have been working in the field of integrated nanodevices for quantum computing before, and I was generally drifting more and more towards programming language theory in the last 4 years.

Right now I started professionally writing algorithms for augmented reality and I also just started a youtube channel on math, where my strategy is to bootstrap predicate logic via Curry-Howard by first speaking about the Idris programming language. I had this project running for a few years and think I got a good plan now

https://www.youtube.com/channel/UCcrSMnEYhIPX_p127jI23qw/videos

Navigation
View posts[+24][+48][+96]