Type Theory Forall
@ttforall
Followers
4K
Following
5K
Media
217
Statuses
978
Making Type Theory, Programming Languages and Formal methods more accessible! Check our merch store! https://t.co/qiQYj4pnqx
Joined September 2021
Grad school applications in CS (esp. PL & Formal Methods) are hard. But finding the right advisor, school, and environment?That’s even harder. That’s why I’m opening up a 1-on-1 mentorship program to help students navigate the whole process. 🧵
1
3
19
Dang, I've just realized that I wasn't actually connected to Twitch for the past 1h We're actually live now! 🤡
Going live now! Continuing our Lean 4 Series — today I’ll be learning Tactics on stream. This is part of our ongoing fundraiser to replace my iPhone camera with a proper setup. Every tip helps! 💜 ☕️ https://t.co/9jKEesJcSI ▶️
0
0
3
Going live now! Continuing our Lean 4 Series — today I’ll be learning Tactics on stream. This is part of our ongoing fundraiser to replace my iPhone camera with a proper setup. Every tip helps! 💜 ☕️ https://t.co/9jKEesJcSI ▶️
twitch.tv
Let's learn some type theory together
0
0
2
If you’re finalizing MSc or PhD applications, don’t do it alone. A second pair of eyes can make all the difference in your SOP, CV, and advisor selection. I still have a few 1-on-1 mentorship openings this week →
0
2
6
This is one of the reasons we like doing long format podcasts. It gives time for the guest to talk in depth about his influences and connected authors and disciplines.
Every time I speak to an academic or researcher doing incredibly cool work and with zero social media presence, I am reminded that there's a whole world of expertise and knowledge to learn from that rarely makes it on this platform, and few tools that connect me to that beyond
0
0
6
How do you acquire the fundamental computer skills to hack on a complex systems project like OCaml? What’s missing and how do you go about bridging the gap? https://t.co/ursBvuILBy Wrote the list for my students, but it may be useful for others too.
6
34
228
This is ttfa official standing btw
I don’t think math is invented or discovered. I think it’s a mix of both. 🧵
1
0
4
adulthood starts when you understand the difference between proof of negation and proof by contradiction
0
2
26
We're looking for Haskell programmers in the Stockholm area! If you know Haskell, or some other FP language, and want to work with it for a living, please send me a DM! More details below 👇
6
10
50
Type Theory Haters: No real language has been formally verified to be type safe. Formal verification and Theorem Proving are just for academic toy examples. @HerrDreyer & the RustBelt team:
1
0
22
Are you really going to prove your program safe with dependent types? Really? Do you have something to say about that?
1
1
47
i finally got a job as a compiler engineer!! it took months of grinding, so i wrote a biiig post about how i recruited, what the interviews are like, etc. link in bio 🥰
307
340
9K
Today we resume our twitch streaming to learn Lean4! Even though we don't a proper camera, we count with your support for us to get proper gear to continue producing great content for you guys! Come check us out at: https://t.co/N6I1TvzafU
twitch.tv
Let's learn some type theory together
1
3
31
Dang 🔥
0
0
19
Feeling the pull back to academia? Whether you’re applying for grad school or looking to transition from industry into research, our mentorship program can guide you. We still have open slots for this season! →
0
0
10
In this episode, we talk to Manuel Chakravarty. He'll tell us of his work on the ghc backend such as data-parallel Haskell and the FFI, and how that segued into type systems. We also discussed hiss perspective on Haskell from the language design of Swift. https://t.co/HuFSSzzOuf
0
5
9