Search

..
.. @seth0x41 ·
Replying to @ibnannazer
@ibnannazer 😂😂😂😂😂😂😂 انا بحب فيديوهات #SoMEpi على يوتيوب اوي الحقيقة، فيه توبيكس كتيرة عن البيور ماث كنز حرفيًا، شجعتني في فترة اكتب عن توبيكس زي الـ Domain theory و الـ Order theory و الـ type theory وازاي اتزحزحت من نظريات مهمة في الماث لعواميد اساسية في البرمجة، بس كسلت
1
106
RazPie
RazPie @Raz_Pie ·
youtube.com/watch?v=6OPsH8… What if we could run algorithms backwards? We discuss how we could do this by turning algorithms into circuits and encoding those into satisfiability problems. We then explain how it all connects to P vs NP. #somepi 0:48 Satisfiability 2:15 Breaking RSA 8:46 General reductions to SAT 12:03 P vs NP Blog post: vasekrozhon.wordpress.com/202...Code for the animations: github.com/polylog-cs/np-… clip: 📷 • Will It Blend? - iPhone   Richard Hladík: Script editor, animator Gabor Hollbeck: Video recording, video editor Václav Rozhoň: Writer, animator Václav Volhejn: Narrator, animator, script editor Thank you to our beta testers: Matěj, Honza, Filip Animations: manim, a Python librarydocs.manim.community/en/stable/Color1 palette: Solarizedethanschoonover.com/solarized/Music6: Thannoid by Blue Dot Sessions Pictures: Intel 8008:righto.com/2016/12/die-phd... Stephen Cook: https://www.heidelberg-laureate-forum... Leonid Levin:cs.bu.edu/fac/Lnd/x Richard Karp:icsi.berkeley.edu/icsi/peV... Mick Jagger, Keith Richards: Wikipedia Hash function circuit:academia.edu/download/311H...
32
TotientQuotient
TotientQuotient @t0tientqu0tient ·
I've been working tirelessly for the past few weeks on my #SoMEpi submission, mostly to no avail. At this point it's not even close to remotely resembling a finished product, so I have no choice but to give up & maybe submit it for next year's SoME. Sorry to disappoint.
1
478
Algorithmic Simplicity
Algorithmic Simplicity @AlgorithmicSimp ·
I released my #SoMEpi entry: the simplest way to derive Taylor's polynomial. I haven't seen this derivation presented anywhere else before, and I think it's really neat, so I made it a video on it. After this I am back to machine learning content (Solomonoff induction next!)
3
873