Soul of a mathematician
California, USA
Joined September 2019
- Tweets4.3K
- Following311
- Followers426
- Likes34.2K
I'm really not well read in on the Bitcoin world. Though I've been a long time hodler, I broadly disdain all community and ducked out of Bitcoin and crypto communities, only dipping my toe in occasionally, usually when relevant for jobs.
Bitcoin isn't money, not yet. But it is a treasury asset now, sitting on lots of corporate balance sheets. I'm looking for it to enter national treasuries and central bank balance sheets over the next few years.
We still have a few more cycles to go before price (purchasing power) discovery. I have no clue how many. In 2011 when I first read the Whitepaper, I guessed it would take 50 years.
bitcoin.org/bitcoin.pdf
Eitan Chatav retweeted
Nuclear power plants can take a decade to build. We're working to fundamentally change that.
At our Copenhagen R&D facility, construction is underway to prepare for the first version of our Cocoon: a modular steel containment structure intended to house our #thorium molten salt reactor unit; designed for mass manufacturing, offering an alternative to the massive, reinforced concrete containment buildings used in conventional nuclear power plants.
The latest milestone? Concrete is being poured and trenches are being prepared to accommodate the structure.
The Cocoon consists of 18 prefabricated steel sections designed for conventional truck transport and rapid on-site assembly using standard lifting equipment.
By replacing bespoke on-site construction with standardised industrial manufacturing, we aim to significantly reduce construction costs and accelerate deployment.
The Cocoon is one part of our wider ambition to make nuclear energy faster to deploy, scalable through industrial manufacturing, and ultimately competitive with the world's lowest-cost energy sources.
Eitan Chatav retweeted
In lieu of flowers, memorial contributions may be made to:
Johns Hopkins Alzheimer’s Disease Research Center Fund
alzresearch.org/giving/
Alzheimer’s Foundation of America Caregiver Resources
alzfdn.org/donate/
Photo Credit: Tommy Garcia
Eitan Chatav retweeted
In 1945 Richard Feynman’s wife died. Afterwards he wrote her a love letter. At its end he apologized for not mailing it because he didn’t have her current address. The letter was found among his effects after he died in 1988.
A `DisjunctiveMonoid` is just a monoid. The only difference is semantic. It means "or" disjunction. One wishes that `Alternative f` implied `DisjunctiveMonoid (f x)`, but we can have the next best thing and use `Alternative` for default methods.
JSON tuples are static arrays like Haskell tuples. By allowing array type widening, we can actually give tuples the full `Alternator` combinator set over JSON values.
Everything is abstracted behind typeclasses; that is all that is meant by "tagless final" embedding. You can make new grammar generators (like printers, parsers and typescript types) and new grammars separately but compatibly.