Could you share some of "what you now know bout them"?

Was there some issue in customer support, or getting spare parts?

Is it about the new products that have since come out?

I'm also using a Framework notebook for the past two years and have been quite happy, but nothing needed replacement so far...

This is to signal non-AI slop?

SageMath is much broader than SymPy, by integrating a lot of third-party niche tools that have been developed for decades, often as C libraries.

Unfortunately, SageMath is not directly usable as a Python package.

That's where passagemath [0] comes in, making the rich ecosystem of SageMath available to Python devs, one package at a time.

[0] https://github.com/passagemath/passagemath

There's also the argument that human intuition can and should be trained, rather than just dismissing it, in particular when it comes to mathematics.

See, for example, the book "Mathematica" by David Bessis, or this blog post: https://davidbessis.substack.com/p/thinking-fast-slow-and-su...

Interview with the author about that book

https://www.econtalk.org/a-mind-blowing-way-of-looking-at-ma...

Nice.

There is also Intuition in Science and Mathematics: An Educational Approach by Efraim Fischbein - https://link.springer.com/book/10.1007/0-306-47237-6

I really like "Root" (for the asymmetry) and "Arcs" (for the openness), although they are quite "heavy" in terms of rules and interactions.

+1 for Root!

For a nice entry game for a group setting, I recommend Carcassonne. It has a simple and engaging basic gameplay with a surprising amount of depth, that can easily be scaled up and down in complexity depending on your group's preference and experience level by simply adding more pieces/mechanics.

Carcassonne is also really nice with children. You can start them on just the "puzzle" aspect on attaching matching tiles, without scoring.

Our oldest child is now capable of the base game, and I can still make it interesting for me by going for secondary objectives, such as filling difficult gaps ;-)

Very clever to introduce it to kids as purely a puzzle game! I'll keep that in mind.

When my girlfriend and I play, we sometimes give unofficial bonus points as compensation for suboptimal plays that fill out unseemly gaps that would otherwise stay open. Makes for a nice, aesthetic endstate board without handwringing over your score :b

In particular, the core disagreement seems to be about whether the automorphisms of C should keep R (as a subset) fixed, or not.

The easy solution here would be to just have two different names: (general) automorphisms (of which there might be many) and automorphisms-that-keep-R-fixed (of which there are just the two mentioned.

If you make this distinction, then the approach of construction of C should not matter, as they are all equivalent?

And we know how reliable normies are with the backup of their personal data...

"I want to make cypherpunk friends, but none of them are on Facebook!"

Not only his secretary, also some psychiatrists wanted Eliza as a tool to scale up their work clinically.

Say, has anyone deployed Hartford's Samantha yet?

To add to the above: The high-performance commercial solvers typically offer a free (as in beer) licence for academics (students and researchers), so this subgroup has a smaller incentive to develop a competing solver.

Similarly, researches who do spend their time implementing solver algorithms and running tedious computational experiements (the work that the software vendors put in) have historically had difficulties getting academic credit for their work, because the journals favored theoretical work.

That being said, with HiGHS and SCIP, we have two open-source solvers developed in an academic setting, with a lot their graduates joining commercial software vendors. So it's not like these are two completely separate worlds.

Sadly though, the Open source solvers seem to perform pretty badly compared to commercial solvers.

https://plato.asu.edu/bench.html

True, especially on difficult problems. Open-source can be good enough for many practical applications, though.

In my opinion, the gap in performance is less important, but the commercial offerings are typically more robust/reliable.