Edward Kmett⏏️
@kmett
Followers
14,807
Following
797
Media
643
Statuses
12,682
Founder/CTO @Positron_AI Helping @ToposInstitute I talk about Haskell, category theory, AI, and safety.
Here, Now
Joined October 2008
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
jungkook
• 1243458 Tweets
برشلونة
• 227882 Tweets
Barca
• 189191 Tweets
Rice
• 183052 Tweets
Flick
• 148544 Tweets
#WWEBash
• 148273 Tweets
Georgia
• 141512 Tweets
Haaland
• 138797 Tweets
Raphinha
• 127272 Tweets
Lamine
• 100321 Tweets
Everton
• 84145 Tweets
Fatman Scoop
• 75131 Tweets
#الاتحاد_الاحق_بالدعم1
• 69116 Tweets
Adana
• 57702 Tweets
Clemson
• 47687 Tweets
Warren
• 36153 Tweets
Iowa
• 31724 Tweets
#ADSvGS
• 30571 Tweets
Rhea
• 28155 Tweets
Xavi
• 25569 Tweets
Greenwood
• 23897 Tweets
Leverkusen
• 23579 Tweets
CM Punk
• 22890 Tweets
Bianca
• 21537 Tweets
Penn State
• 21301 Tweets
Mañalich
• 14792 Tweets
Gunther
• 13076 Tweets
Dabo
• 11471 Tweets
Vandy
• 11135 Tweets
Pinned Tweet
Given a choice between two things, I always try to do the one that nobody will believe me about later.
8
35
303
Berkeley is a strange and sometimes wondrous place.
I just had the 𝙥𝙞𝙯𝙯𝙖 𝙙𝙚𝙡𝙞𝙫𝙚𝙧𝙮 𝙜𝙪𝙮 recognize me and ask a bunch of Haskell questions as we sat on the deck and ate said pizza. 😆🍕🤭
10/10 will order again
19
197
2K
@zetalyrae
Clearly there are several layers of fluid in there with different specific gravities, like a layered unmixed cocktail. Given the specific gravity of a human body is generally in the range 0.916 to 1.049. If you start with something heavier than that and top-off with something
16
5
686
This should make for some over the top zoom calls once it is all set up.
19
44
650
does a great job breaking down what is in the Pfizer vaccine.
15
248
630
@SHL0MS
Which one?
I have no idea how much current I can draw through that. It is somewhere from 2.5W - 240W, 500mA - 5A. Both extremes exist. 5V only? 5/9/15/20V? 28/36/48V?
I have no idea how much data I can draw through that, or if I can even draw data at all. Is it USB2? USB3.2?
43
20
602
Douglas Hofstadter on the rate of AI progress and his collapsing belief system.
23
109
576
Haskell, though not perfect, is of a quality that is several orders of magnitude higher than Java
— Edsger W. Dijkstra
18
79
489
Springer has made a lot of my favorite math books available online, for free! Everything that is 10 years old.
o_O
11
361
482
@ZeitgeistSchool
@bastard_brian
His name was based on Nevada Smith. Renamed to Indiana because of Lucas' dog name, then Jones because Spielberg hated the name Smith.
1
0
362
My white friends, at least those who couldn't stock up or actually have to work outside, are all cranking out masks like this is Halloween meets Burning Man, while my black friends from back in Detroit are all "You want me to put a bandanna on my face and walk into a store?!"
1
50
331
People keep saying learning programming languages makes you a better programmer. It really doesn't. It makes you [better] up to a point. Then it makes you bitter and dissatisfied because you'll never be able to port those ideas to your day job --
@deech
9
63
324
Things I do prefer about Rust over C/C++
* an actual package manager!
* traits means no SFINAE silently eating half your codebase
* macros trump templates for code gen
* borrow checking is kinda cool and all
* but most importantly
std::mem::size_of::<()>() = 0
as God intended.
4
28
285
Liquid Haskell becoming a GHC plugin took it from being a mostly-academic toy to an amazing power tool overnight.
Wow! I lack words to express how happy this makes me. Now to integrate it into my current project.
Kudos to
@RanjitJhala
and
@welltyped
.
0
71
271
Can an anti-anti-armchair (epidemiologist, economist, constitutional scholar...) movement start already?
I'm sick of the narrative that displaying any competence or interpreting data outside your pigeon-holed niche is bad.
I've literally built my career on doing just that.
15
27
246
A good one stop explainer on the state of COVID-19 for friends/family:
Not much new, unless you've been stuck in a bubble (ICU?) for the last 2 weeks, except impact of even a day of delayed social distancing, but it tracks with the best models I've seen.
5
153
241
Good luck, Simon!
I'm always gobsmacked at what you get up to, and I can't think of anyone more suited to the role.
#Microsoft
researcher Simon Peyton Jones appointed first chair of National Centre for Computing Education (
@WeAreComputing
):
3
92
269
0
31
214
@ReinH
I always figured, in light of the fact that Slack itself wouldn't let its employees use it for remote work, that Slack isn't for remote work at all, but rather for laundering internal communications by ensuring they aren't retained more than ~2 weeks unlike email.
6
17
211
Support: Have you tried turning society off, waiting 4 weeks, and then turning it back on again?
4
50
212
hosted its inaugural (unrecorded) test live-coding stream last night and everything worked smoothly.
The transformation of my home office into a movie studio is almost complete!
A schedule will be forthcoming and future streams will be recorded.
7
49
205
The lengths some will go to to avoid monads.
6
32
195
This talk by Barbara Liskov is a great look back at the birth of abstract data types, object oriented programming, generics, her substitution principle, etc. It is so hard to imagine a world without these things.
0
43
190
Everyone likes to talk about Dijkstra's great handwriting, but I've never seen anyone comment on Grothendieck's consummate artistic talent.
2
32
188
I'm trying to learn Haskell, but the type errors I'm getting are pretty confusing.
16
20
179
Congratulations, SPJ,
@simonmar
, and
@satnam6502
!
The runtime system for GHC is one of the many things that keeps me looping back to Haskell. What it does it does really well.
3
55
186
"You go into your toolchest and you select, I don't know, that sad excuse for a Scala effect system, for instance, because you're trying to tell the world that you take yourself too seriously to care about monad tutorials or abstract category-theory. [...]
And you're also
we need an FP version of this meme
"You think you don't care about monads? I think it was in 2007 that Peyton Jones and Wadler wrote the paper on comprehensions. And that influenced the development of CEs in F#. Which then trickled down to some tragic tutorial you no doubt read"
8
7
92
4
36
178
Signed distance fields, MCMC sampling. All my favorite things thrown into a blender and then.. thrown at PDEs? Wat? It is practically a Rosetta stone for bridging graphics tricks to the PDE world! Mind blown.
I _adore_ this talk. So many great ideas.
5
34
177
Over the last couple months, David Turner's Miranda source code has been released!
Miranda first tried the cookies 'n cream combo that is type inference and laziness, and shaped Haskell. For those interested in compiling to combinators, it's a goldmine.
5
60
168
This talk on Differentiable Programming by
@headinthebox
hits so many of the talking points I've been using lately that it is positively eerie. It is well worth your time.
2
25
166
This clip from
@Jonathan_Blow
provides incredibly actionable advice about how to tackle hard problems in large programming projects.
I'm as guilty as anyone living of the "going deep into the weeds to crush sub-problems" approach that he calls out here.
2
40
166
@ShriramKMurthi
It was way less socially awkward to rip the top off the box to use as plates and offer him some while we chatted than to either stand around with my pizza getting cold, or to scarf it down in front of him.
Screw the social contract. Service industry folks are people too.
2
1
164
Google finally got around to discovering -- and maybe starting to use -- Taylor models, which have been in use elsewhere since... er.. 1998. Martin Berz, Kyoko Makino. You can find a hundred or so papers here. Hell, I have decade plus old work on this myself in Haskell.
7
16
163
Simon Peyton Jones?
I mean, he hasn't let all that power over GHC go to his head. It's not like he's going off and change education or cram FP, non-determinism and logic programming down the throats of the masses who just want to learn to program games or something...
I don't know anyone who is universally liked, universally known and powerful.
If people have power there will be disagreements on how they use it, unless just no one knows who they are.
I think if you seek to be powerful, you should have realistic expectations.
6
0
11
9
9
159
Haskell Live Coding on Twitch with Edward Kmett, Session 1
Sunday at Noon (EDT)
Event Link:
Let's play around with commutative applicative functors.
1
48
158
Fact 23. What do you call someone who reads a paper on category theory?
A coauthor.
2
17
156
Marvel: "Infinity War is the most ambitious crossover event in history."
Me: Nah, bra.
1
62
156
I've uploaded the first version of `unpacked-containers` to hackage. It uses backpack to give a ~15-45% performance improvement vs. code using `Data.Set` and `` for unpackable key types.
Feedback welcome!
3
53
158
I am pleased to announce that I have accepted a new job over at Digital Asset (
@digitalassetcom
).
Let's put functional programming to work.
14
16
156
Left side of mouth: "We're totally going to keep this lonely engineer in a box and only ask it questions of monumental import that we can check in excruciating exactitude."
Right side of mouth: "Here's my github and AWS credentials, go nuts."
2
10
156
Knuth's Christmas lecture this year just gave me a bunch of new ways to think about constraint satisfaction problems.
I'd already twigged to the idea of making cheaply backtrackable structures, but he really puts the one he has there to work!
1
35
154
@ChShersh
@MarisaVeryMoe
Ask yourself why B-trees exist and are _provably optimal_ for so many applications if the asymptotics you claim here can also exist. Replace B-trees with cache oblivious b-trees if you want to work in worlds with caches you don't know.
Don't want to think about the IO mode?
A
1
18
154
Light fields are huge 5D functions, (x,y,z,θ,φ)->color; 4D if you limit yourself to a manifold. Never considered just throwing a neural network at them. The result is stunning and fuses together so many of my favorite things.
/cc
@TwoMinutePapers
4
42
149
Now that the cat is out of the bag, I should add that I'm also participating in trying to help
@david_i_spivak
and Brendan realize their vision for the Topos Institute, in my case as a board member.
Let's put category theory to work.
7
25
145
I built a thing.
With linear types and the right notion of an arrow, we can build full intuitionistic linear logic by riffing off of a paper by Mike Shulman that derived affine logic in a more normal setting. Top, Bot, Void, ().
Requires GHC 9.0.1
8
26
139
Fox News may have finally changed its tune on COVID-19, but much of the damage is done. Many will die for no reason.
When we tried to convince my mother in law to take any precautions, she just spouted 10 minutes of old Fox talking points.🤬
Talk to your conservative relatives.
8
16
137
This chart shows just how much work is left to do to flatten the curve as well as anything. (Every once in a while it is worth taking off the log-scale blinders.)
Anyone who can look at this chart and say to your face that NOW is the time to throw open the economy has an agenda.
6
53
139
Category theory going mainstream?
Psh. I was into category theory before it was cool.
Oh crap. I feel the hipster transformation starting. But I don't _want_ to drink craft beers, wear a man bun... tattoo sleeves... and what would I do with all that flannel?
Help!
16
17
136
I've had my disagreements with
@jdegoes
in the past, but the gross inconsistency in pushing to bury John (and
@emi1lypi
by association) under
@typelevel
's COC whilst seemingly ignoring
@travisbrown
's excesses has pretty bad optics.
6
25
136
Another great article by
@tomaspueyo
on the course of COVID-19, now incorporating the advice from the Imperial College (and later criticisms thereof).
Get this in front of folks who think this is no big deal.
3
45
88
@Sosowski
@cbrzeszczot
The hell for apple is they give you an API like they'll accelerate anything and everything but it only works for a very rigid stride pattern that you just have to psychically know in advance to invoke with.
2
0
134
GPT-3 providing an _almost_ coherent explanation of category theory:
10
25
133
Congratulations, Simon!
We are delighted to award an honorary degree to Professor Simon Peyton Jones alongside our
@UniKentSPS
@UniKentComp
#KentGrads
1
42
160
2
24
134
@TylerGlaiel
Well, sure, but I have like 1000 games on steam that I'm totally going to get around to some day.
3
0
130
I'm going to need a tutorial.
6
14
130
This made my day. Audrey has been a huge influence on me. Her work on pugs taught me how effective just trusting people to do good work and being radically inclusive of committers could be. So good to see her ideas at work in an even more important space!
2
30
129
Video from my Scala World keynote on monoidal parsing is now online!
video:
code:
4
50
128
Stream 1 results: We had 150-170 people stick around for the 4 hour stream. 3.5 hours of code, 1/2 hour of general Q&A. 60% old hands, 40% new. After that we "raided"
@puffnfresh
and about half of the audience stayed to watch him stream even more Haskell!
5
17
125
Woke up to find this.
4
14
116
I am very concerned that Apple Silicon will have the same sort of concurrency concerns that their PowerPC systems used to have due to the relaxed memory model of ARM relative to X86. There's a ton of desktop software written assuming TSO.
So many bugs; so many missing fences.
13
20
122
She follows the GNU/Testament.
6
10
118
I finally figured out how to properly use a macbook pro stand. Once mounted upside down and tricked into rotating the built in display, I don’t have to waste desktop space on the useless touchbar’d keyboard and can still use the screen to fill my field of view with tiny pixels.
5
26
121
Need to dig out an analog oscilloscope. It seems all the “modern” digital ones don’t support a proper XYZ mode. How am I supposed to pick up the “pen” like this. Hrmmph.
5
13
117
This talk by
@edwinbrady
on the state of Blodwen is definitely worth watching:
Throughout his talk, the benefits of linear types for program synthesis are made quite painfully obvious.
0
23
119
I don't think this protest is constructive.
2
14
115
Matrix multiplication without multiplication?
3
23
114
@p1xelHer0
@TheEduardoRFS
Yes.
Ubiquitious laziness is one of my primary reasons for using Haskell.
Recovering amortized analysis for a language that promotes working with immutable values. Okasaki basically identified the problem and wrote the book on this and said 90% of what there is to say, but the
6
30
115
I like trees. I even just this week went out of my way to plant about as many trees as I reasonably could in my backyard. Did I do any real good for the planet or just arrange for a nice place to hang a hammock or two in a couple of decades?
If you successfully planted -- and
4
22
113
@TrishPutnam
@nataliesurely
@kazweida
@KHNews
I took my (uninsured) nephew to get his first vaccination shot. They called and hounded him to get his non-existent insurance information for _days_.
He tried wiggling out of getting the second shot to avoid dealing with that crap again. The deterrent effect is quite real.
1
13
106
On my most recent twitch stream, we built a little library for authenticated computations in Haskell working out several approaches to the problem: backpack, fundeps, type/data families, quantified constraints...
Recording:
Code:
0
16
109
Readily composable and _nicely_ type-inferred lenses are possible in Rust, and they compile quite nicely!
The trick is to use a constant complement encoding and think hard about what implies what re: constraints to pick between args and associated types.
3
17
110
"As a functional programmer, I wish we could introduce lambda to the general population."
MONKEY'S PAW: [curls]
4
18
108
@thechosenberg
Clearly all the major characters are HAM radio operators or truckers using CBs, or are really close by and use walkie-talkies, or never leave their homes and just use IRC all the time to talk to folks. (The last one was me in 93.) Bonus points for blending all four where
1
0
109
It looks like the software industry can continue to exist, so that's nice.
Just in: The U.S. Supreme Court, in a 6-2 opinion, found that Google’s use of Oracle's lines of code when creating its Android operating system constituted “fair use” under the copyright laws.
40
357
1K
1
14
108
Data.ByteString doesn't need to store an offset!
ForeignPtr addresses are disconnected from the contents they manage, and the machinery to implement this has been available to us since GHC 7.0.
This should save one word per ByteString when merged.
3
14
106
There is little more depressing than rummaging though hackage to find multiple copies of code I wrote with other people, across a dozen years, now w/ fresh copyrights, new licenses and no reference to the original authors, as if it sprang forth fully formed from the brow of Zeus.
9
8
106
I try to find new platforms to talk to users through on a regular basis. Conferences? IRC? Stack Overflow? Facebook? Twitter? Discord? Twitch? Clubhouse? Quora? Check.
With that in mind, it is time to finally open an OnlyFans account.
7
5
101
When I was a kid I wrote a little program that took over the 1541 and drove the printer to print a file while the computer was completely turned off. I thought it was clever and a great way to show off.
This demo exceeds that by a pretty wide margin.
1
31
105
_Every_ time I try the Russ Cox sparse-dense trick for using uninitialized memory I screw up and forget to use unsigned ints and then spend the next hour debugging.
(It isn't technically his, but the easiest article to find on it is, so it is easier to just give him
3
13
104
@zetalyrae
Before anyone goes to actually er.. try this. You should almost assuredly cut the glycerin with at least 50% water to avoid skin issues. That would leave you with a mixture on the bottom with a refractive index of ~1.4, while most clear oils land in the 1.46-1.48 range. Mineral
3
0
106
I get terribly jealous every time I look at makepad.
@rikarends
' baby leans in so hard to the benefits of Rust. The whole immediate mode GUI, the shaders, everything are all cleanly written directly in Rust.
My imgui fumblings in Haskell will never be so cleanly done.
Kudos.
Today we launch an early alpha version of Makepad basic! Play with Rust+Wasm live. Compile and run the makepad desktop application for mac/win/linux yourself with Rust:
28
271
1K
2
13
103