Oct 272026
 

A few days ago, I exchanged some e-mails with a fellow volunteer Maxima developer. That exchange reminded me of a pet project of mine, something I’ve been contemplating for quite some time: a computer algebra system, one significantly less ambitious than a frontier-class system like Mathematica, Maple or, I dare include it in that list, Maxima, but one that runs in the browser, with no server-side code and nothing to install on the user’s computer either.

This time around, I decided to test my idea with Claude Opus 5.5, their latest and greatest model. I outlined my ambition in a couple of paragraphs. The result was less than overwhelming: After some 20 minutes, Claude ran out of “thinking” tokens, and returned nothing other than 128,000 tokens wasted.

Never mind, I figured, let’s try it again, with a slightly refined prompt to ensure that Claude doesn’t embark on a project bigger than itself. And that, well, worked. Claude presented a plan and then, following my instructions and my replies to its questions, began to proceed with the implementation one step at a time.

In this past, this is usually where things got derailed. Sometimes, the model got too ambitious and ran into token limits. Sometimes, the model’s code was incoherent, self-contradictory. Sometimes, the initial code was working, more-or-less, but additions did not.

But not this time. Claude kept churning out sensible code and, most notably, starting at the very first stage, included a testsuite. So even though we had no usable system yet, the testsuite was an assurance that the code we’re building is doing what it was supposed to do.

Notice that I am not using Claude as an “agent”. I did not give it carte blanche in a folder of its own, to build code, download libraries, mess around. No. Claude was talking to me. It was then I who decided if the code Claude presented was good enough or not, it was I who incorporated it into the code base. Claude, accordingly, provided helpful, detailed explanations at each stage. The important point is that the role I retained was that of a senior programmer who may delegate subtasks to junior programmers, but retains overall control of the project at a technical level.

And Claude delivered beyond expectations. Soon, I found myself hooked. One module after another, which I added, tested, tried. A rather nice-looking application was beginning to take shape. And there was both breadth and depth: the application was already acquiring features more sophisticated than I ever dared to plan for, while at the same time Claude never forgot to deal with the mundane, such as appropriate visual representation via MathJax or a growing collection of sections in interactive help.

About halfway through the project we got to basic calculus. I was beginning to wonder: When will Claude falter? When will useful code give way to AI hallucinations, code referencing non-existent language features or capabilities? But none of that happened. Claude robustly, methodically implemented basic calculus, one subroutine at a time.

Again, I stress, Claude had no free reign. We were proceeding step by step, I took the code Claude wrote, integrated it into the application, scrutinized it when I had to, looked for testsuite failures, even corrected the trivial ones.

Once we got past linear algebra and multivariate equations, I decided to get really greedy. I asked Claude, can we do ODEs and PDEs? Because even a half-decent differential equation solver makes a world of a difference when it comes to the usability of a CAS. Claude accordingly revised our plan, and then did the grunt work.

Claude remained enthusiastic throughout, but I began to notice that its responses felt… a little less coherent. Nothing big, no real mistakes, just subtle things like harder-to-understand explanations or instructions on where to place a code patch. No wonder: we were by now around 700,000 input tokens per conversational turn, rapidly approaching Claude’s 1 million token limit. (I also noticed the increasing frequency at which I received notifications from Anthropic about additional credit card charges. But, I digress.)

Claude was still eager to proceed with more ambitious additions but I asked it for something else: something genuinely useful in a CAS, a broader class of special functions like hypergeometric functions or Lambert’s W function. Claude delivered.

So roughly 36 hours after I sent my first prompt to Claude, I was in possession of a full-featured, rich, eminently capable browser-based computer algebra application. One that can also be installed on an Android device as an offline computer algebra tool.

This has been an amazing experience. Was it “vibe coding”? I don’t think so. I was not just playing the dumb user, asking the agentic AI to deliver a solution. I was a senior partner with an incredibly capable, knowledgeable junior assistant, but I retained intellectual ownership of the result, indeed I can confidently edit, and fix/expand the code myself when I have to, since I understand what it does.

End result: 26,412 code lines in 163 files, at the cost of 31,006,699 input tokens and 3,048,131 output tokens, consumed over the course of less than two days. And WebCAS — the name picked by Claude — is already my favorite computer algebra application, one that will likely receive regular updates frmo me in the future.

 Posted by at 10:38 pm
Apr 172026
 

I got back last night from Phoenix, where I spent a day, invited to give a seminar at the cosmology group of Arizona State University.

When I arranged my journey, I was delighted to learn that Porter Airlines had a direct connection, YOW to PHX. Yay! But wait… I knew it was a long trip, but 5.5 hours? Holy macaroni. And I never flew Porter. So I worried… a budget airline? Crappy service?

I should not have been concerned. At the risk of sounding like a cheap commercial, I have to say, my experience with Porter has been super positive. They were genuinely nice. I mean it. The aircraft was relatively new and clean, the legroom (I bought an exit row ticket) was plenty adequate but it seemed decent in other rows as well, the service on board was friendly, the free snacks and drinks were good (I don’t drink alcohol when flying, but wine and beer were also served for free)… I’d go so far as to suggest that the experience reminded me a bit of what flying used to be like half a century ago, when I first sat on an airplane and when even economy class passengers were treated like minor royalty.

And Phoenix, well, at least the parts of Phoenix that I saw, was very pleasant. I’ve been to Phoenix before but only driving through, not spending any significant time there. Now I spent two nights, and throughout my stay, I cannot recall a single grumpy person. Everyone was smiling, and they went out of their way to be helpful. I was asking some students for directions on the ASU campus when another student, who overheard my question, immediately offered to guide me to the building I was looking for. Later, a member of the hotel staff went out of her way to make sure that I’d find the store I was looking for in the neighborhood.

Politics of the day aside, my dislike of travel these days aside, I am glad I accepted the invitation. It was an honor, my hosts treated me with exceptional hospitality, and my talk — which proved to be shorter than intended, mainly because not a single soul interrupted me, something I honestly expected to happen — was well-received. And I was also able to collaborate a bit with my host, to his apparent delight.

 Posted by at 9:42 pm
Apr 132026
 

I have since learned that the white toy cat at Mission Control, keeping a watchful eye over the CAPCOM station, was not just some random toy: Its name is Artemis, from the anime series Sailor Moon.

In the meantime, however, I also noticed another plush animal, one wearing a little mask. I was wondering about its backstory.

Today, I found out, courtesy of Reddit. The plushie’s name is Eugene, and it was there, in part, in memoriam of the late NASA engineer and flight controller, Jennifer Grassman.

May you rest in peace, Jennifer Grassman.

 Posted by at 8:24 pm
Apr 102026
 

Aaaand… they’re back.

No wait, wrong image. That picture was from 160 years ago, a Jules Verne illustration that is uncannily accurate.

What I meant this screenshot from NASA TV:

What a day. What a mission. I hope it’s the first of many, and deep space is again open to human exploration.

 Posted by at 8:46 pm
Apr 072026
 

Earlier tonight, at 6:44 PM Eastern time to be precise, we saw this on NASA TV:

It was followed, 42 minutes later, by this image:

Yes, that tiny thing in the depth of space is Earth. Every human being currently alive, and the remains of every human being who ever lived, are there, except for the four people on board Artemis II, the spacecraft that took these images as part of its live video feed as it circumnavigated the Moon. (And no, don’t worry, the Moon is still there in the second picture, it’s just that from their perspective it’s mostly dark. Soon thereafter, they actually experienced a solar eclipse in space, as the Sun vanished behind the Moon for about an hour or so.)

Meanwhile, a friend of mine sent me a picture of something that hangs on his wall:

Yes, it means exactly what it implies: he was a member of the recovery force that recovered the last human expedition to the Moon, after their successful return and oceanic splashdown, back in 1972.

I was not yet 10 back then. Now? I already celebrated my 63rd birthday.

Past and present, both now part of one of those rare arcs of history that are worth remembering for all the right reasons.

As the Artemis II crewmembers remarked after breaking the distance record from the Earth: they hope their new record will not remain unbroken for long.

I hope so, too. Very, very much.

 Posted by at 12:50 am
Apr 022026
 

And we heard the magic phrase earlier tonight: trans-lunar injection.

It happened. Whatever the outcome (and I hope it’ll be a good outcome) four humans are now committed to travel to the Moon, for the very first time in since December, 1972.

And the have a cat to watch over them. Not a real cat, but still: a cat at the Mission Control Center.

What can possibly go wrong when you have a cat supervising the flight? Nothing, I sincerely hope.

 Posted by at 10:15 pm
Apr 012026
 

For the first time in 53 years, NASA’s Deep Space Network is communicating not with a robotic spacecraft but with a human spaceflight in deep space.

Presently just over 32,000 km from the center of the Earth, in, as I understand it, a highly elliptical orbit, not quite yet heading to the Moon: that will involve yet another phrase we have not heard uttered “live” in 53 years: trans-lunar injection.

 Posted by at 10:32 pm
Apr 012026
 

I never thought (at least not in the past 25 years, give or take) that I’ll live long enough to see this.

Note the indicator I highlighted in the lower right.

Distance to the Moon.

For the first time since December, 1972.

I was not yet 10 in December, 1972. The world was troubled back then, just as it is troubled right now.

This launch? I was worried sick. A space launch system the design of which was very heavily influenced by politics. Political pressure to ensure launch. Frustrating issues with the rocket in the preceding months, with multiple delays.

And yet… so far so good. The launch proceeded without a glitch. The spacecraft is orbiting the Earth, soon to continue its journey to the Moon.

To the Moon.

I am astonished by my own reaction to these words. Thinking of Jules Verne, thinking of Apollo 8, of Apollo 11, Apollo 13, Apollo 17… and then 53 years — more than half a century! — with no human traveling beyond Low Earth Orbit.

You know what. Let me insert something here that these days isn’t very popular, for a whole host of (valid) reasons.

Yes. An American flag. On the Moon. Because…

Because they are on their way to the Moon again.

 Posted by at 7:03 pm
Jan 292026
 

A few days ago, I was in for a shock. Something I held as absolutely true, something that seemed self-evident in general relativity turned out to be blatantly wrong.

We learn early on that there is no dipole gravitational radiation, because there is no such thing as intrinsic gravitational dipole moment. Gravitational radiation is therefore heavily suppressed, as the lowest mode is quadrupole radiation.

Therefore, I concluded smartly, an axisymmetric system cannot possibly produce gravitational radiation as it does not have a quadrupole mass moment. Logical, right? Makes perfect sense.

Wrong.

What is true is that an axisymmetric system that is stationary – e.g., a rigid, axisymmetric rotating object with an axis of rotation that corresponds to its symmetry axis – will not radiate.

But two masses in a head-on collision? They sure do. There is even literature on this subject, some really interesting papers going back more than half a century. That’s because there is more to gravity than just the distribution of masses: there’s also momentum. And therefore, the gravitational field will have a time-varying quadrupole component even as the quadrupole mass moment remains zero.

So I took it upon myself to calculate a simple, pedagogical case: two masses on a spring, bouncing back-and-forth without rotation. A neat, clean, nonrelativistic case, which can be worked out in an analytic approximation, without alluding to exotics like event horizons, without resorting to opaque numerical relativity calculations.

Yes, this system will produce gravitational radiation. Not a lot, mind you, but it will.

Once I understood this, I had another concern however. Over the years, surely I must have written answers on Quora promoting my flawed understanding? Yikes! How do I find those answers?

Oh wait. Not too long ago, I built a RAG: a retrieval augmented generation AI demo, which shows semantic (cosine similarity) searches using the totality of my over 11,000 Quora answers up to mid-2025 as its corpus. That means that I can interrogate my RAG solution and that would help me find Quora answers that no keyword search could possibly uncover. So I did just that, asked my RAG a question about axisymmetry and gravitational radiation, and presto: the RAG found several answers of mine, three of which were wrong, one dead wrong.

These are now corrected on Quora. And this exercise demonstrated how RAG works in an unexpected way. Note that the RAG answer is itself wrong, in part because it is faithfully based on my own incorrect Quora answers. Garbage in, garbage out. In this case, though, it meant that the same cosine similarity search zeroed in on my most relevant wrong answers. In an almost picture-perfect demonstration of the utility of a RAG-based solution, it saved me what would likely have amounted to hours of fruitless searching for past Quora answers of mine.

 Posted by at 3:33 am
Jan 282026
 

It was 40 years ago today that the Space Shuttle Challenger exploded some 70 seconds after liftoff, a result of a faulty O-ring design in its solid rocket boosters, combined with an aggressively accelerated launch schedule overriding concerns about freezing temperatures.

It was also one of three tragedies during what is sometimes described as NASA’s “week of tragedy”. The Apollo 1 fire, which killed three astronauts 59 years ago, happened on January 27, and then there is of course the Columbia disaster, which took place on February 1, 2003.

 
 Posted by at 2:25 pm
Jan 282026
 

The other day, my friend John Moffat called me. He told me about a letter that he received the day before. An old school letter, paper-in-an-envelope, brought by the mailman.

A letter from the Prime Minister of Canada.

In these sad days, we have to question the authenticity of everything but no, this letter was the real thing: an actual letter, on embossed letterhead, with a handwritten signature.

I don’t know what prompted the Prime Minister’s office to send this letter to John. I refuse to speculate.

The letter itself stands on its own. It is a very dignified recognition of John’s amazing (and amazingly long!) career as a physicist, and a true note of appreciation that he decided to live his incredible life in this great country, Canada.

Congratulations, John. Perhaps you deserve more recognition. You definitely deserved this. And keep up the good work. I am rooting for you: perhaps I’ll be there when you celebrate your 100th birthday, still in good health and good spirits, still working on MOG/STVG, your nonlocal quantum field theory, your complexified manifold proposal and other intriguing ideas!

 Posted by at 2:32 am
Jul 292025
 

I just completed the process to release Maxima 5.48.

The new version introduces several noteworthy enhancements for symbolic computation, with improvements in performance, functionality, and user experience.

Highlights:

– Unicode-enabled output (when supported by the Lisp compiler)
– Numerous performance improvements across core routines
– New package for symbolic radical denesting
– New package for inferring closed-form expressions from sequences
– New package for simplification of gamma functions
– Resolution of more than 150 tickets, spanning both long-standing and recent bugs

Developed in Common Lisp, Maxima remains a reliable and customizable tool for research, education, science, and engineering.

To install, explore, or contribute: https://maxima.sourceforge.io

 Posted by at 2:56 am
May 192025
 

I briefly revived a piece of software I wrote last year, modeling the effect of multiple gravitational lenses. I long wanted to do this, it’s just a tad time consuming: to use my software for animations, I need to generate images one frame at a time.

What I wanted to do is an animation that shows what an actual galaxy (as opposed to a point source of light) would look like when lensed. The galaxy in question is NGC-4414:

Nice spiral, isn’t it. Well, here’s what we’d see if we viewed it through an imperfect alignment of four gravitational lenses:

I could watch this animation for hours.

 Posted by at 2:01 am
Apr 132025
 

Recently, I published a paper on arXiv about a very serious subject concerning a certain animal species and gravitation. The fact that the paper appeared on arXiv on a particular, notable date is, of course, pure coincidence. This is also evidenced by the fact that the paper received serious attention, in particular by the podcaster physicist Dr. Blitz, on YouTube.

I am very grateful that Dr. Blitz found my paper worthy of an “A+”. I wish I could have him as the referee of some of my other papers!

 Posted by at 4:07 pm
Apr 012025
 

Today, I am proud to announce what I consider my most important paper yet.

I consider it especially fortunate that it managed to appear at the very top of the listing of new papers in the subject group general relativity and quantum cosmology, on this important date.

Needless to say, I am very proud of my work.

 Posted by at 12:01 am
Mar 282025
 

So I am a friend of arXiv. It’s true. I may have been critical of some of their processes from time to time, but I appreciate the absolutely invaluable service that they provide.

So yes, I am a friend of theirs. And now it’s official! They sent me this nice certificate, recognizing my contribution, responding to their request to help test a new upload page.

I was, by my count, one of 79 folks who did so. I am surprised; I expected more. I also feel a bit guilty that I only tested their new submission system once. (It was glitch-free, apart from some issue with HTML generation that, as far as I know, was not even part of the actual test.) Still, it is nice that they sent us these little certificates. It may not pay the bills or buy groceries, but I am proud to be their friend.

 Posted by at 3:23 am