Florian Chudigiewitsch
@fchtcs
TCS PhD student @UniLuebeck. Theory of Computation ∩ Logic. He/him.
Dit vind je misschien leuk
Great speech by @IOHK_Charles on the future of maths and computer science: youtu.be/gCLJOrJFLZQ
youtube.com
YouTube
Charles Hoskinson at the opening of the Hoskinson Center at Carnegie...
Formal methods are a cool way to verify that your hardware or software is working as intended™ Z3 is a one stop shop for FM with theorem proving, SAT, SMT, and computer algebra capabilities. Let's look at some fun examples 👇 1/6
Must watch Abel Prize announcement describing the breadth and depth of the works of Avi and Laci and, more generally, the broad and deep impact of theoretical computer science to mathematics, science, and society. youtu.be/0_NK_OkpmUY
youtube.com
YouTube
The Abel Prize announcement 2021 - Avi Wigderson and László Lovász
United States Trends
- 1. Cloudflare 240K posts
- 2. Gemini 3 36.7K posts
- 3. Saudi 175K posts
- 4. #NXXT2Run N/A
- 5. Jamal Khashoggi 13K posts
- 6. Salman 53.2K posts
- 7. #UNBarbie 2,182 posts
- 8. Robinhood 4,912 posts
- 9. Piggy 85.5K posts
- 10. #UnitedNationsBarbie 3,224 posts
- 11. Merch 67.7K posts
- 12. Pat Bev 1,257 posts
- 13. Olivia Dean 4,640 posts
- 14. Mary Bruce N/A
- 15. #AcousticPianoCollection 1,416 posts
- 16. #LaSayoSeQuedóGuindando 2,544 posts
- 17. CAIR 32.1K posts
- 18. Antigravity 4,677 posts
- 19. Luis Guerrero N/A
- 20. Kevin Brown N/A
Something went wrong.
Something went wrong.