JK

[JK @chnessGame]

pinned tweet for threads

[JK @chnessGame]

@RadicalSats @notgrubles @NepaliHODL21 No you can’t

[JK @chnessGame]

@HubertusVIE @Truthcoin The block reward doesn’t count

[JK @chnessGame]

@HubertusVIE @Truthcoin Other coins have more fees than btc

[County Highway @countyhwy]

Still the most under-appreciated American songwriting genius of the past four decades.

[Bitcoin Drivechains @BTCdrivechains]

Bad year for Bitcoin treasury companies!

Turns out buying Bitcoin and buying businesses that buy Bitcoin aren't the same trade.

[JK @chnessGame]

@BitMEX_Jon @Truthcoin it was not meaningful enough of a change, it could have bundled anyprevout for example or ctv

Now there is no path for further consensus changes because it’s confused what the process even is, and nobody will speak on it

[JK @chnessGame]

@BitMEX_Jon @Truthcoin But that is not isolating the script path spends of taproot; it includes the key path spends which are not any different semantically from pre-taproot scripts

[The Scientific Lens @LensScientific]

What if gravity wasn’t exactly inverse square?

Left: F ∝ 1/r²

→ Perfect, usual closed elliptical orbit

Right: F ∝ 1/r^{2.01}

→ Just 0.5% different… and the orbit no longer closes. It slowly precesses, painting this hypnotic rosette pattern

[JK @chnessGame]

@Vladcostea @Truthcoin @saifedean @BobMurphyEcon

[Sneedle @SRamirez68083]

Cheating and picking two

[JK @chnessGame]

@effectfully can you solve Two Sum - LeetCode, in Haskell I just did without any monads (I used implicit params)

[JK @chnessGame]

@onehappyfellow its in the thunk of my closure

[wydna @wydna777]

My favorite movies? Flight, Jupiter Ascending, Tenet, Megalopolis

[JK @chnessGame]

@wydna777 Happy birthday

[effectfully @effectfully]

@davidbessis let me unvaguepost this

[PatternAtlas @patternatlas]

Starting a thread cataloguing resources for learning Category Theory.

To get all of the resources in this thread at one place, check out: https://t.co/PpImfrBnhW

[JK @chnessGame]

Logic

[Tiramisu @tiramisu_online]

@spikedoanz I loved my course on logic in Uni! We used Dirk van Dalen's book Logic and Structure, and it was strangely pleasant to read.

[JK @chnessGame]

thread for my math definitions

[JK @chnessGame]

Category theory

[Didier 'Dirac's ghost' Gaulin @DiracGhost]

If you've been struggling learning category theory, you might want to check out Paolo Perrone's 'Notes on Category theory: with examples from basic mathematics' available publicly on arXiv.

These notes were produced during a class given to a diverse set of scientists (including chemists and physicists), with knowledge in linear algebra being the only subject assumed to be known!

🔗👇

[JK @chnessGame]

I invented something

[trish @TrisH0x2A]

MIT teaches operating systems by giving students a complete Unix like kernel and asking them to modify it

it is called xv6 and is about 6000 lines of C a reimplementation inspired by Unix Version 6 from 1975 rewritten in modern C for x86 multiprocessor

processes system calls virtual memory and filesystem are all there and small enough to read end to end in a weekend

this is what you study to understand how operating systems actually work not just how they are described