Pinned Tweet
Open invitation: If you are learning Agda or Martin-Löf type theory and wish to talk about it or related matters, contact me and I will try to help to the best of my ability.
The thread to end all threads.
i spent 2 hours curating a twitter blue screenshot storyline for my parents so here u go, for your own offline friends that want to have fun:
DAY 1 – ARRIVAL
![Elon Musk @elonmusk Entering Twitter HQ - let that sink in! [video of him arriving at twitter carrying a heavy porcelain sink] Elon Musk Replying to @elonmusk Meeting a lot of cool people at Twitter today!](https://pbs.twimg.com/media/FhkMaQqUYAIuMWN.jpg?name=orig)
ALT Elon Musk @elonmusk Entering Twitter HQ - let that sink in! [video of him arriving at twitter carrying a heavy porcelain sink] Elon Musk Replying to @elonmusk Meeting a lot of cool people at Twitter today!
@[email protected] retweeted
Every time I read some weekend column about a boomer struggling to retire on $100,000 a year and a multi-million dollar home, I'm reminded that my retirement plan is to die in the climate wars.
Find me on libera.chat IRC, in the ##dependent types channel. Mastodon of last resort: @[email protected]
@[email protected] retweeted
"Why are young people all turning left-wing?"
Dunno, maybe because older generations expect them to work all hours for bad pay, hand half of it to a landlord for poor quality housing, then stare at a blank wall until they fall asleep - with no real hope of anything better.
@[email protected] retweeted
Translating proofs from an impredicative type system to a predicative one. ~ Thiago Felicissimo, Frédéric Blanqui, Ashish Kumar Barnawal. arxiv.org/abs/2211.05700 #ITP
@[email protected] retweeted
Staged programming with typeclasses. ~ Thomas Bagrel. tweag.io/blog/2022-11-15-unr… #Haskell #FunctionalProgramming
@[email protected] retweeted
The Virtue of Owning Books You Haven't Read: Why Umberto Eco Kept an "Antilibrary" openculture.com/2022/11/the-…
@[email protected] retweeted
Whenever I visit London I’m fascinated by the distinctive sound of the Jubilee Line trains accelerating.
Last time I visited, I thought of the idea to turn it into a pad, and it has now become a staple sound in one of my current game projects.
@[email protected] retweeted
ALT An image of the animated goose from Untitled Goose Game, holding a blue "verified" checkmark in its beak
@[email protected] retweeted
TIL you can render diagrams on GitHub using markdown 😱
Markdown / Preview
![Markdown file with the following contents: ```mermaid stateDiagram-v2 [*] --> Still Still --> [*] Still --> Moving Moving --> Still Moving --> Crash Crash --> [*] ```](https://pbs.twimg.com/media/FhD3G6iXoAErMGo.png?name=orig)
ALT Markdown file with the following contents: ```mermaid stateDiagram-v2 [*] --> Still Still --> [*] Still --> Moving Moving --> Still Moving --> Crash Crash --> [*] ```
ALT State diagram with the following states: Still, Moving, Crash.
@[email protected] retweeted
Readers added context they thought people might want to know
Neither of these tweets are real. @Chiquita is the official account for the produce company and @ChiquitaBrands has been inactive since 2013.
twitter.com/Chiquita
twitter.com/ChiquitaBrands
Continuation-passing style, defunctionalization, and hidden appeal of the algebraic property of associativity in Jeremy Gibbons's @jer_gib talk
youtu.be/8gnhaE2nmQ0
@[email protected] retweeted
"with a notable exception of MacOS, MagicCap and Newton OS, operating systems have been thrusting upon a user a flood of disparate interfaces, commands, and actions, all aimed at essentially the same thing: filling in and editing a list or table." okmij.org/ftp/papers/DreamOS…
@[email protected] retweeted
Since 2019 I’ve been in an expensive, stressful legal battle to protect Webcomic Name (my “oh no” comics). It’s a relief to finally talk about this publicly! I’m launching a crowdfunder to pay my
remaining legal fees to end this. 1/8 gofund.me/7478032b
@[email protected] retweeted
On this day in 1917, men and women with calloused hands, tired bodies, and empty bellies seized state power in Russia.
They would soon build an advanced, dynamic society that inspired millions around the globe, helping power anticolonial revolutions from Asia to Latin America.
@[email protected] retweeted
November 6 🎂🥳🎉: Happy birthday and long life to Alexandra Elbakyan!
Neuroscientist and software developer #Alexandra Elbakyan who revolutionized the academic and scientific world with her ideals of open access to scientific knowledge.
