Counting is Hard(@[email protected])
@counting_hard
@[email protected] Maths / CS account of @reset_shift. YT / Blog coming soon. Dodecahedron Fan Combinatorics / Category Theory / Type Theory
你可能會喜歡
I got annoyed when @3blue1brown said "Generating Functions are a leap of faith", so I looked out this video I made for combinatorics students last year. Maybe it'll do some good for the world on Youtube. youtu.be/vcK3rGyVZPM
youtube.com
YouTube
What are Generating Functions Really?
Over the last hundred years, statisticians have uncovered a whole universe of statistical distributions and relationships between them.
Good Will Hunting Bar scene but it's about fibrations in category theory 🧵👇
If anyone knows people hiring programmers in Scotland, I'd appreciate a heads up.
Real Life smbc-comics.com/comic/real-lif… (click for full comic) #smbc #hiveworks
According to Wikipedia, Martin Davis passed away yesterday. We'll do a proper obit soon, but here's a blog post Bill wrote on his joint work with Hilary Putnam. blog.computationalcomplexity.org/2016/03/hillar…
I'm really mad that "normal" means "perpendicular to others" in geometry and "parallel to itself" in groups
You've seen Advent of Code, now get ready for Ramadan of Code. It's 30 days of no coding.
I had a very lovely conversation with Dr. @andrejbauer , where we discussed proof assistants, Coq, HoTT, constructive mathematics, a dash of philosophy, and more! youtube.com/watch?v=TSnyG6…
youtube.com
YouTube
Math Talk! Dr. Andrej Bauer on proof assistants, constructive...
The Continuity of Splines is now on YouTube!! it has been a year in the making, goodness ;-;🎉 I hope you'll like it ❤ ❱ youtu.be/jvPPXbo87ds
⛏STRIKE THE EARTH! ⛏ The legendary Dwarf Fortress by @Bay12Games is out now for Steam and itch.io Steam: bit.ly/2PY0P0w itchio: bit.ly/3usRn5L
Last month, I was offered a TA job at a Russell Group uni, teaching 5 seminars a week. The pay was £15.76 weighted to £23 per seminar. I.e. £1.5k per term/£3k per year to retain the services of a qualified, experienced academic to teach students paying £9k+. #ucuRISING #UCUstrike
Lol remember when I got paid £32,000 grand a year as a TA? Nah me neither.
Parsing Protobuf at 2+GB/s: How I Learned To Love Tail Calls in C
How does ROLLBACK NETCODE work, and why is it so difficult to program? A whirlwind tour of different solutions #pixelart #gamedev The setup: you have a video game with couch co-op (pictured) and want to add online multiplayer. Easy, right...? (thread)
United States 趨勢
- 1. Jets 69.8K posts
- 2. Jets 69.8K posts
- 3. Aaron Glenn 3,335 posts
- 4. Justin Fields 5,081 posts
- 5. Garrett Wilson 2,201 posts
- 6. HAPPY BIRTHDAY JIMIN 80.1K posts
- 7. #OurMuseJimin 119K posts
- 8. #JetUp 1,517 posts
- 9. Tyrod N/A
- 10. Peart 1,672 posts
- 11. #DENvsNYJ 1,635 posts
- 12. Bo Nix 2,164 posts
- 13. #30YearsofLove 109K posts
- 14. #HardRockBet N/A
- 15. Sherwood 1,165 posts
- 16. Bam Knight N/A
- 17. Kurt Warner N/A
- 18. Hail Mary 2,423 posts
- 19. Good Sunday 66.9K posts
- 20. Rich Eisen N/A
Something went wrong.
Something went wrong.