@stylewarning

Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).

 Los Angeles, CA
coalton-lang.github.io
Joined August 2010
  • Tweets16.5K
  • Following289
  • Followers5.4K
1.7KMedia
> 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
18
31
1
402
56,001
if univalent foundations of mathematics are so good then why aren't there bivalent foundations of mathematics?
2
1
15
685
Can't mutate an empty list? NIL issue
sabine 馃惈馃 / 'use ocaml';
@sabine_s_Oct 12
Can't get users for your app? shill issue
3
3
2
71
2,036
playing some parts of some pieces by beethoven slowly can be gut-wrenching
6
418
"Computer, please make the documentation a little more to-the-point." *beep boop* Docs: "This is documentation for totalbingus.cpp. Future contributions to this documentation should be to-the-point (requested 10-10-2026). totalbingus.cpp is a file last compiled on a Pentiu.....
3
2
68
1,956
if a restaurant is XYZ-inspired (like "Italian inspired"), it's usually just way worse than authentic XYZ. we live in a society.
3
13
1,007
"you play classical piano i guess that's what you mainly listen to" actually it's a lot of m煤sica mexicana and Gary Moore
9
441
Ugh. "Notes: 1. Please contact an Oracle sales representative for additional details."
2
15
911
coalton got that dog
3
1
42
1,003
i just implemented a sorting algorithm that runs in O(n^1.00001 log^3.14159 n) and I'm not even joking.
5
5
343
18,122
The tech breaux when they discover big-螛 notation after posting their 5000-word Grok-generated thinkpiece about the implications of computation in light of newly posited complexity bounds on multiplication.
28
3,082
(DECLAIM (OPTIMIZE (SPEED 3) (ALIGNMENT 0)))
geoff
@GeoffreyHuntleyOct 5
this is so fun Below: an LLM loop is hooked into the Lisp REPL, and the LLM adds functions to the REPL as needed. These functions persist across application restarts. Instead of the entire read_file + edit_file + bash compile loop, it's now just prompt functionality in the application as it runs.
3
1
54
2,041
every time an LLM says "byte-identical" i imagine prosecutor Jim Trotter III
1
15
638
as common lisp foretold
James Tucker@raggiOct 3
builders, compilers and linkers need to become servers for interactive development, this has been needed for a long time now. repeatedly throwing away all the setup is a waste of everyones time and is prohibitive for finer grained incremental output
8
18
1
252
9,921
anybody got a Zen 5c with more than a TiB of RAM and a few PiB of NVMe disk I can borrow? need to compute stuff
1
19
807
it is very satisfying to boot up a headless linux system and basically see nothing in the process tree running
6
5
2
134
5,151
tpot but it's pronounced "teapot"
9
1
14
1,469
i was arpeggiomogged by my piano technician today
1
14
512
'(Robert Smith) retweeted
Paul Snively@JustDeezGuySep 23
Your periodic reminder @stylewarning鈥檚 Coalton is worth spending a fair amount of time with to see what Common Lisp + HM type system + only a couple of key GHC extensions can do.
3
3
57
1,757
who will make the next math problems people care about?
6
20
1,233
I spent an hour today trying to discover the motion necessary for the right hand here. I think I know what I want to do, but now it's a matter of making it controllable and predictable.
1
3
369
Load more