moonchild
moonchild@social.applied-langua.ge
grapherd and marley purveyor<br/><br/>ori lahav & jermaine spivey #1 stan😻💜<br/><br/>halimede but transactional memory<br/><br/>obligate catgirl
Posts
-
Post #3220616
https://www.youtube.com/watch?v=U_W6Xhykm8U
-
Post #3220614
parallel 512-bit full adder in avx512: https://files.catbox.moe/98d7ri.txt assuming it works, it’s 15 instructions (haven’t checked span or port usage), so hypothetically it could be slightly faster than a serial adc loop!
-
Post #3220613
https://youtube.com/watch?v=2Zbj1lOa5Dw
-
Post #3220612
the princess whose nose was three ells long really just had a mindset issue IMO. she should have simply considered that her nose was also three Ws long
-
Post #3220611
super cute: https://youtube.com/watch?v=BHTFxYD8bkw
-
Post #3220610
https://youtu.be/nJr_8l0AEWE
-
Post #3220609
@pervognsen @corbin i have a computer question—tagging per because the question was catalysed by a comment you made on the red website like a month ago, and corbin because i think you’re likeliest to have an answer if no one else does. a pair can be encoded as a dependent function type (viz. the comment in question https://lobste.rs/c/e8gib1). the thing i notice about that function is that it’s lower-order, where the other function encoding i know for pairs (church encoding) uses a higher-orde...