Michael Klein

The $AZTEC token sale is live. An onchain, community-owned sale where you set the terms. No airdrops. No mysterious allocations. sale.aztec.network

📢 Welcome to ar5iv.org Change the "X" in any arXiv article link to the "5" in ar5iv to get a modern HTML5 document. Thread: what is included, why now, and how we hope to merge back into arXiv. #OA #OpenScience #preprints 1/10

@deadair____ Currently nope, though I've considered partnering with an artist who could help with coloring..

@mjdklein Michael do you have an artist profile on a Tezos platform you could share? I find coders make wonderful art 😉

Quick (15 lines) Sierpinski Triangle animation in CodeWorld: #PVW-u5bRODsX8bFxradn4oQ" target="_blank" rel="nofollow noopener">code.world/#PVW-u5bRODsX8… CodeWorld Haskell version: #PkOQ_lTBFoNxB9pbETAvUTQ" target="_blank" rel="nofollow noopener">code.world/haskell#PkOQ_l… Tried CodeWorld Blocks, but didn't get very far: #Ps37cUZXakaePxwFNomkrgQ" target="_blank" rel="nofollow noopener">code.world/blocks#Ps37cUZ…

@ZachWeiner Post scarcity is converting abundant resources into necessary resources at negligible cost.

Hey geeks - what does the concept of "post-scarcity" mean to you? I realized I have it in my head that it'd mean something like "nobody is jealous," but I'm guessing that's more extreme than most people's conceptions.

@Sebuh_com Hi, yes: I'm a lead developer on the Homebase/baseDAO project!

@mjdklein Hi. How are you doing? I am using Homebase. are you involved with it?

@KenoFischer @PjdPeter @gregkh @johnregehr Yes! This was an IRB 'failure'. Again, in my area of Social Computing, it's been clear for awhile that IRBs often do not understand the issues and the potential risks/harms of doing research in online communities / social media. So researchers have to exercise their own care....

@ZachWeiner An NFT for an NFT of an NFT of a comic of an NFT for an auction of an NFT for a slack message openminter.com/collection/KT1…

@vamchale let h = "He"in do let o="o world!" putStr.flip(<>)o$h++([h,o]>>"l")

@smdiehl homotopytypetheory.org/book/

Morning thought, I don't think I can point to /any/ programming book written after 2005 that was inspirational or really changed my thinking about the field.

Tezos has surpassed EOS by Total Value Locked in Staking 🚀 @tezos is now the biggest staking network. stakingrewards.com/global-charts

full house for tonight’s @crosschaingroup event - @TQTezos @cosmos @keep_project @UMAprotocol “DeFi is the New Testament. Bitcoin is the Old Testament.” - @allilulllc spitting some 🔥🔥🔥

We thank @tezos @TQTezos @mjdklein for the informative & enjoyable presentation on the #SmartContract, network update & #security functionality of the #tezos #blockchain platform and how this can be an asset in #capitalmarkets. Looking forward to the next!

@dginev @jbetzend @FlorianBitches @tkw01536 @TheMichaelBurge Thanks for the pointer, but I'm already familiar with it! Not bad for 13 pages of notes and less than 10 pages of code, huh?

@dginev twitter.com/kvlly/status/9…

@dginev @ScienceStudioYT There's an app for that already, some assembly required: hanno-rein.de/archives/349 texpad.com/ios 😆

Animate Haskell modules across their commit histories with: animate_modules.rb [git clone address] github.com/michaeljklein/…

@WolframResearch The numbers of factors isn't in the OEIS: Table[Length[FactorList[1+x+x^(2^i),Modulus->2]],{i,0,15}] {1,2,2,3,3,5,7,11,17,31,53,95,173,317,587,1097} Maybe could unfold and predict squarefree factorization? Nope Maybe Galois theory or specialize to Z^2: shoup.net/ntl/

@nomeata eval( "if (a ==1 && a== 2 && a==3) {\ console.log('heh')\ }\ ".replace(/a|\d/g,"'a'"))