Viewing profile — ubj

> and/or have infants ricocheting around your home like screaming DVD logos Slightly off topic, but as a parent I found this hilarious and will now be closely watching to see if an…

I've said this before, but it's interesting to see momentum go back and forth between the flexibility and ease of everyday language, and the formal rigor of programming languages. …

There was an interesting article in the Atlantic recently where a journalist spent a year participating in sports gambling. Part of the article discusses the effect it had on his p…

The author of the Airfoil article has made several similar tutorials on various topics: https://ciechanow.ski/archives/ For machine learning, Distill.pub has some excellent hands-o…

Octave has not implemented all of Matlab's functionality. You can see a list of Matlab functions that have not yet been implemented in Octave at the link below. It's a long list. h…

Matlab is an great tool, if you can afford it. It was a very unpleasant feeling when I graduated from my PhD and realized that most, if not all, of the Matlab scripts I had used fo…

This is apparently such a common misunderstanding that it was put at the bottom of the C++ iceberg: https://victorpoughon.github.io/cppiceberg/

One of my students recently came to me with an interesting dilemma. His sister had written (without AI tools) an essay for another class, and her teacher told her that an "AI detec…

Buzz Aldrin (who was the second person to walk on the moon) wrote his MIT thesis on methods for astronauts to handle the complexities of orbital dynamics when performing rendezvous…

Very curious to see what usage limits are like for paid plans. Anthropic was already experiencing issues with high-volume model usage for Pro and Max users. I hope their infrastruc…

Platinum Medal: Complete a gold medal task in the presence of multiple children between the ages of 3 and 8. The children must remain safe throughout (and after) the entire process…

Science involves both deductive and inductive reasoning. I would in turn argue that mathematics is a science that focuses heavily (but not entirely) on deductive reasoning.

> Anyone knows what Mojo is doing that Julia cannot do? First-class support for AoT compilation. https://docs.modular.com/mojo/cli/build Yes, Julia has a few options for making exe…

[EDIT]: I was wrong, uBlock Origin Lite was addressed by the article and does not have the same features.

I use Claude Max with it. Haven't personally tried the API yet.

I use DevPod [1] to run Claude Code within Docker-based dev container environments, and it's been fairly seamless. It lets me run environments locally and focus Claude's context on…

Where is Claude Code? Surprised to see it completely left out of this analysis.

This looks nice. I wasn't aware of Acorn--how much adoption does it have in the mathematics community (or formal methods / robotics / other communities)? I feel like most are rally…