/sci/ - Science & Math

Anonymous Wed Jun 28 14:59:11 2017 No.9001896 [View]
File: 79 KB, 900x600, 55a674b1fff2c16856a6bd9e_emma-stone-aloha-miscast.jpg [View same] [iqdb] [saucenao] [google]

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

Advanced search
Text to find
Subject [?]Search by post subject. Leave empty for any.
Username [?]Search for user name. Leave empty for any user name.
Tripcode [?]Search for tripcode. Leave empty for any.
Email [?]Search by email. Leave empty for any.
Filename [?]Search by image filename. Leave empty for any.
From Date [?]Enter what date to start searching from. Format is YYYY-MM-DD
To Date [?]Enter what date to start searching until. Format is YYYY-MM-DD
Image hash
Search in	All Posts OPs Only
Deleted posts	Show all posts Show only deleted posts Only show non-deleted posts
Internal posts	Show all posts Show only internal posts Show only archived posts
Order	New posts first Old posts first
Capcode	All Posts Only by Users Only by Mods Only by Admins Only by Developers
Results	Posts Threads
Action	[ Simple ]

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

/sci/ - Science & Math

Search: