Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).
Joined August 2010
- Tweets 16,081
- Following 284
- Followers 5,316
- Likes 17,485
1,678 Photos and videos
Pinned Tweet
9 Apr 2023
> be NASA programmer
> excited to write Lisp
> code lookin like hieroglyphs
> boss walks by
> "wtf is that, alien code?"
> no, just Lisp boss
> boss laughs, Lisp now forbidden
> mfw no cosmic parens
> mission to Mars now in JavaScript
> planet doomed
> feelsbadman.jpg
17
31
396
54,194
Jun 11
A Common Lisp programmer has no problem with this.
Jun 10
1
23
1,290
'(Robert Smith) retweeted
May 20
Just saying that no website being served by a lisp machine got hacked in the last 5 years. Security record speaks for itself.
4
9
76
3,333
May 19
took my vacuum to the vacuum shop to get it repaired and the vacuum guy is like "wow nice vacuum"
2
2
17
720
May 15
I never learn my lesson about skipping leg day then pushing my squat PB when I decide to follow through. 1 day after: feel great, little sore. 3 days after: I am temporarily disabled.
2
15
709
May 12
someone sent me a DM showing me they Lean-formalized my recent blog post on an application of Khovanskii's topological Galois theory @_@
2
2
71
3,768
May 11
A discussion of Common Lisp style on Reddit. I answer w/some rules I have on my teams, including "no nonstandard iteration, binding, or conditionals", and a little about why I don't permit these kinds of language customizations in one of the world's most customizable languages.
10
8
86
4,099
May 11
Coalton deep-zooming experiments with built-in big-floats.
2
2
41
2,242
May 10
Someone wrote a patch to add GADTs to Coalton. Should it be merged?
7
1
29
2,285
musical rubato as real diffeomorphisms Ο such that β«(Οβ - 1)dt = 0 over the performance duration
443
Are there any courses in mathematical writing? I think some mathematicians have a gift for communicating just the right amount of information, whilst being neither too terse nor being too distracted by long mechanical calculation/explanation.
6
22
2,685
I found this MIT OCW "Writing Workshop"
youtu.be/G7p3lFMmDiQ
I think a trap that amateurs like myself run into w/math writing is not maintaining a consistent idea of the audience, particularly because of a lack of true understanding of a "stable audience" for whom to write.
1
9
722
New lambda shorthand syntax just dropped. Coalton hasn't had enough controversial features.
9
4
101
5,590
Last time I complained about packaging apps on Linux, people said it was all a well solved problem. Guess I have skill issues because:
- Wayland and X have different ways to copy-paste
- libwebkit2gtk-4.0 minor version bumps breaks API compatibility
Frustrating...
13
4
226
14,550
Packaging apps for Linux in a way that is even somewhat portable across distros is incredibly frustrating. No wonder every distro effectively builds all their apps from scratch within their own package manager bubble.
7
55
2,059
If a coffee shop starts advertising pictures like these, it's guaranteed to have undergone the coffee-equivalent of enshittification.
3
1
16
738
Apr 30
Cool new project from π―π΅: dotcl is Common Lisp on .NET by @snmsts.
github.com/dotcl/dotcl ε
¬ιγγγ.net10γγ©γ³γΏγ€γ γ«γγcommon lispε¦ηη³»γγ―γγΉγγ«γγ¨γγεΌ·γΏγ«γγγγͺγβ¦γ¨γ―ζγ£γ¦γγ(γγγγ)
3
6
54
1,810
Apr 29
I put a bounty on a Coalton issue (add syntax highlighting support in another non-Coalton project) and in less than 5 hours some unknown people started pushing AI-generated PRs to this other project. Makes Coalton look bad. Never thought I'd need to actually moderate on GitHub.
3
2
47
1,865
Apr 29
Closed/deleted the bounty. It was a bad idea on my part 100%. "I will pay you to interact with someone else's repository on Coalton's behalf" as a public
offer was a mistake.
8
412