HN user
It's very unclear to me how you seem to expect medical research to be done in the cloud. Overhead is crucial to create and maintain research infrastructure necessary to advance medicine and science.
I wrote a small novel but lost it due to user error, so here's a hot take with much less nuance from a college math professor. Just like calculators meant we needed and could pivot the skills we ask our students to learn, AI will also shift the paradigm. But unlike calculators, which are very good at what they're meant to do, AI produces BS in the academic sense [0] and if used uncritically frequently produces work that's just nonsense. So I tell students I don't care so much if they use it, but that the students who do tend to end up looking foolish.
[0] https://link.springer.com/article/10.1007/s10676-024-09775-5
Algebraically, where | denotes concatenation, and z is a string of 0s:
x = y | 1 | z
-x = ~x + 1
-x = (~y | 0 | ~z) + 1
-x = ~y | 1 | z
x & -x = (y & ~y) | (1 & 1) | (z & z)
x & -x = 0 | 1 | z
As an math educator, I think there's a huge flaw in this study. The investigators failed to follow up to see why the mistake was made. They leap to assuming the player is trying to "deny the antecedent", but I think there's a much simpler explanation: the players aren't reading the instructions carefully.
There's two reading errors I would expect someone to make given this experiment:
1. The instructions that each card has exactly one letter and exactly one number are before the big cards. I bet many players just skipped that instruction.
2. Mistaking the P→Q as P←→Q smacks more of a reading comprehension error than a logical error.
Disclosure: I made both mistakes. (-:
the kids are alright. Reminds me of when I organized a real life version of Pac-Man on the quad in 2006, inspired by this game ran on the streets of Manhattan in 2004. https://www.pacmanhattan.com/
It's just a little spark of inspiration.
3.0 has a "bug" that makes it risky to use materials without very careful attribution:
https://doctorow.medium.com/a-bug-in-early-creative-commons-...
Like most inequities, those who are in the benefiting group frequently don't realize that privilege.
Nice to see JRMF trending on HN. JRMF puzzles and festivals are a great way to engage general audiences of grade school students in mathematical inquiry and problem solving.
I like the phrasing used by https://houseofgraphs.org/ — while there are an infinite number of mathematical objects in any category, there are only "a few thousand that can be considered really interesting."
Those interested in databases of mathematical objects may want to check out https://mathbases.org
Literally Doug Bowser.
Calculus 1 instructors, everywhere, screaming
TikTok is finally concave down
https://Topology.pi-base.org (a database of certain mathematical objects) started as a wiki, but transitioned to using GitHub pull requests and custom software to support automated deduction.
Folks interested in open collaborative math content may find these interesting:
SymPy is open source, mathematica is not.
Additionally, SageMath (which depends on SymPy) is the more comparable product (and is open source).
A major Boeing campus is in Huntsville, AL, which is going to affect that average for sure.
They didn't make a business using an open source project; they turned their open source project into a monetized non open source project.
I've seen stranger things.
Same story here. It's a shame.
Frozen (2013), i.e. 11 years ago
Are people still on Reddit since last summer?
Little surprised there isn't a prompt to upload the copy of the ROM we all legally dumped from our personalized copies of the cartridge.
As a solely mobile user of HN, my fat fingers much prefer your layout to the current one, which requires a lot of precision or zooming in to find relevant links.
It can be annoying, and reviewer #2 is a jerk, but I'd be highly suspect of any scientist that doesn't respect the importance of peer review.
It's kind of like a Vine.
I'm a donating supporter of the Mathstodon.xyz instance, but (sadly?) most of "math Twitter", at least the education-focused university faculty, ended up on BlueSky. I think there's a strong appeal for "a straight forward Twitter clone without Musk" for a lot of people.
Probably not what you mean by "at work" but as a non-CS STEM academic that needs to help my colleagues get dev environments so we can collaborate on research software, devcontainers are a game changer. I work a lot with folks that are scared of the command line, but I can get them productive in their web browser with much less friction these days.
I once was stuck in my hotel room due to a malfunction in the inside door handle, which was an annoying way to discover that the latch wasn't even mechanical on that side.
I'd love to see the Steam Deck "console" change this status quo.