Joined June 2016
- Tweets 122
- Following 371
- Followers 189
- Likes 98
16 Photos and videos
Michael Klein retweeted
13 Nov 2025
The $AZTEC token sale is live.
An onchain, community-owned sale where you set the terms.
No airdrops. No mysterious allocations.
sale.aztec.network
650
456
2,493
1,329,387
Michael Klein retweeted
31 Jan 2022
š¢ 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
44
795
2,599
Michael Klein retweeted
21 Apr 2021
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....
2
2
15
Michael Klein retweeted
24 Apr 2020
Tezos has surpassed EOS by Total Value Locked in Staking š
@tezos is now the biggest staking network.
stakingrewards.com/global-chā¦
3
80
175
Michael Klein retweeted
13 Nov 2019
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 š„š„š„
2
18
62
Michael Klein retweeted
25 Sep 2019
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!
11
21
25 Jan 2018
Quick (15 lines) Sierpinski Triangle animation in CodeWorld:
code.world/#PVW-u5bRODsX8bFxā¦
CodeWorld Haskell version: code.world/haskell#PkOQ_lTBFā¦
Tried CodeWorld Blocks, but didn't get very far:
code.world/blocks#Ps37cUZXakā¦
1
1
17 Jan 2018
Animate Haskell modules across their commit histories with:
animate_modules.rb [git clone address]
github.com/michaeljklein/aniā¦
14 Jan 2018
Types:
p_0 :: Show a => (a -> Bool) -> IO [a] -> IO ()
p_1 :: Show a => (a -> Bool) -> IO [a] -> IO ()
p_2 :: (Foldable t, Show a) => (a -> Bool) -> IO (t a) -> IO ()
p_2's other, derived type ignores the predicate:
p_2 :: (Foldable t, Show a) => b -> IO (t a) -> IO ()
š
14 Jan 2018
Evolution of "p_k p = print each until p (pred) gives False" in #Haskell:
p_0 p = mapM_ (\(i, x) -> if p x then print (i, x) else error (show (i, x))) . zip [0..]
p_1 p = foldM_ (\ i x -> if p x then print (i, x) >> return (i 1) else error (show (i, x))) 0
p_2 _ = mapM_ print
1
12 Jan 2018
popl18.sigplan.org/event/popā¦
I've been discouraged from writing random tests in Ruby. I like the QuickCheck approach and deterministic tests are limited, but maybe if failing random tests were added to a list of static tests, we could prevent patterns like: ā x ā x x ā ā ā x x ā
8 Jan 2018
Technical debt, bit rot, and the Abelian Sandpile Model: gist.github.com/michaeljkleiā¦
Image by Claudio Rocchini: en.wikipedia.org/wiki/Abeliaā¦
5 Jan 2018
A Haskell package for working with high-performance streamed operations: some folds and experiments github.com/michaeljklein/strā¦
3 Jan 2018
On Infinite Computation: The Book of Sand vs. The Monster group vs. Chess: gist.github.com/michaeljkleiā¦
2
2
1
15 Dec 2017
Communicating Advanced Mathematics to Kids: āIf you can't explain it to a six year old, you don't understand it yourself.ā shar.es/1Mitei
1
15 Dec 2017
#Haskell scales: 7.7MB real memory, 1.00TB virtual, no input, output to stdout, 190 lines of code
11 Dec 2017
How is it so fast? "Instead of a hybrid brute-force approach".."there is a relentless positional boa constrictor approach that is simply unheard of." It avoids dead-ends by having "no such..issues, and seems to thrive on snuffing out the opponentās play.": youtu.be/p20TBm_H5K8 x.com/johncarlosbaez/status/ā¦
7 Dec 2017
An impromptu response to @davecheney's response "Never edit a method, always rewrite it" to @chadfowler's talk "Growing Old" from @deccanrubyconf : gist.github.com/michaeljkleiā¦
2