Syzygies

6 ms·

31.
by Syzygies 5mo ago
J is unclear on the concept, it's a hack to port APL to ASCII. I'm typing on a ZMK keyboard now where an APL unicode layer would be trivial. There are modern APLs. One can code a iOS keyboard with AI help. While a native APL would
32.
by Syzygies 5mo ago
https://www.youtube.com/watch?v=4cia_v4vxfE
33.
by Syzygies 5mo ago
Julia is reasonably fast. I returned to a language comparison project specific to my math research, to see how I might do better. My agents and I studied the advice in the post and various more recent links from the comments, but we were al
34.
by Syzygies 5mo ago
I have thousands of dollars of mechanical keyboards I could sell on eBay, if only I wanted to take the time to remember how I last left the firmware reset sequence. I set them all aside for several Leopold FC660C Topre keyboards with the Ha
35.
by Syzygies 6mo ago
Yes, that project. I keep thinking I'm done, but it's so much fun being a language tourist.
36.
by Syzygies 6mo ago
I admire Clojure, and Rich Hickey's deep experience and knowledge of languages that he brought to the table. Clojure bottomed out for my comparison. Perhaps an expert could strike a better balance, but it struck me and my various agent
37.
by Syzygies 6mo ago
Any benchmarks? I have a combinatorial enumeration comparison project where the .NET jit optimized my hot loops for F# to in some cases matching Rust performance. F# is inspired by OCaml, and for me F# runs twice as fast. Scala got a face l
38.
by Syzygies 6mo ago
LLM's are an extension of us. We sometimes have to work to learn something new; so do LLM's. It's all in how we manage that process. Reifying information is the whole ball of wax, what separates different people's succes
39.
by Syzygies 6mo ago
Yes, Chez improved a bit, at the expensive of readability.
40.
by Syzygies 6mo ago
The common theme is diverse notions of a language. When I order from a menu, I don't order based on price, but I prefer to see the prices. Lean 4 is the most interesting language on my list. I didn't reject it on price.
41.
by Syzygies 6mo ago
Thank you. I will try your Chez idea. I love Chez, even if coding in Scheme can feel like rubbing sticks together to start a fire on an island, when e.g. Scala has induction ranges. And I didn't try Idris or Racket as they compile to C
42.
by Syzygies 6mo ago
I recently revisited a language comparison project, a specific benchmark tallying the cycle decompositions in parallel of the 3,715,891,200 signed permutations on 10 letters. I kept a dozen languages as finalists, different philosophies but
43.
by Syzygies 6mo ago
I'm a retired mathematician hoping to finish a second proof of a major theorem before I die. AI needs to understand my math and help me code. What I spend on AI isn't going to deplete my retirement savings. So far, Opus 4.7 seems
44.
by Syzygies 6mo ago
There are many duality theories in mathematics where both of these perspectives are valid. Each instance is "Duh! What's going on here is just..." and the pragmatic move nimbly through each instance without concern. For other
45.
by Syzygies 6mo ago
It comes down to are you reading to write, or reading to think? Zettelkasten facilitates publication dysentery, which is already out of hand. I have the same problem with conventional bibliography managers. I have a few thousand papers and
46.
by Syzygies 6mo ago
Hearing my "before I die" math and code ambitions, a psychiatrist friend tried to convince me to hire a full-time programming assistant. Then came AI. Money is relative. I retired at less than the average professor salary (all age
47.
by Syzygies 6mo ago
That's funny. My paper on digital timestamping is one of eight references in the original bitcoin paper. You'd think if anyone was serious about unmasking her they would have asked me.
48.
by Syzygies 7mo ago
>The way I use Claude is quite similar to what super powers does under the hood anyways. I bake my own bread and solo code, both episodic. No matter how I vary fresh starts, I always end up in the same place. The optimization problem fee
49.
by Syzygies 8mo ago
Yes, "fucking" stood out for me, too. The rest of the text very much has the feel of AI writing. AI agents routinely make me want to swear at them. If I do, they then pivot to foul language themselves, as if they're emulating
50.
by Syzygies 8mo ago
I began studying 3-manifolds after coming up with a novel way I preferred to draw their presentations. All approaches are formally equivalent, but they impose different cognitive loads in practice. My approach was trivially equivalent to tr
51.
by Syzygies 8mo ago
We're in agreement. I understand how much harder it is to "think with AI"; the last year of my life has been a brutal struggle to figure this out. I also agree that neural net LLMs are not the inevitable way to implement AI.
52.
by Syzygies 8mo ago
I'm a mathematician relying heavily on AI as an association engine of massive scope, to organize and expand my thoughts. One doesn't get best results by "testing" AI. A surfboard is also an amazing tool, but there's
53.
by Syzygies 8mo ago
> Isn't a waste to essentially reinterpret an entire program that may be run 5000 times a day? This is a dated prejudice that I shared. To get started coding with AI I made a dozen language comparison project for a toy math problem.
54.
by Syzygies 8mo ago
He probably uses Phillips head screws.
55.
by Syzygies 9mo ago
(4A = Fourth Amendment, "unreasonable searches and seizures")
56.
by Syzygies 9mo ago
Back in 2001 I was the math consultant for "A Beautiful Mind". One spends a lot of time waiting on a film set. Eventually one wonders why. The majority of wait time was the cinematographer lighting each scene. I imagined a workflo
57.
by Syzygies 9mo ago
Yes. I've been using it today with Zed (a mind-blowing editor, by the way). One must use an API key to work through Zed, but my Max subscription can be used with Claude Code as an external agent via Zed ACP. And there's some integ
58.
by Syzygies 9mo ago
One of my side projects has been to recover a K&R C computer algebra system from the 1980's, port to modern 64-bit C. I'd have eight tabs at a time assigned files from a task server, to make passes at 60 or so files. This near
59.
by Syzygies 10mo ago
Mathematicians get enamored with particular ways of looking at things, and fall into believing this is gospel. I should know: I am one, and I fight this tendency at every turn. On one hand, "rational" and "algebraic" are
60.
by Syzygies 10mo ago
Nice! There is a Japanese feel to the lead graphic, their prevalence of cartoon imagery, that one might not recognize without having traveled in Japan. Is the design debate public? I'd imagine it would make great reading.

More ›