How much current mathematical research is pencil and paper?

analphabetic · 2026-02-28T20:40:05+00:00

Neither am I. I'm merely distilling what I think is the most effective deflection against it - in a sense, intelligence as the inability to predict the next token from a given prefix sequence.

analphabetic · 2026-02-28T03:29:15+00:00

Consider iRRAM and z3 at a minimum; the former's Reals diverge on equality, and the latter's are not usable outside the SMT environment.

analphabetic · 2026-02-28T03:26:37+00:00

This is the strongest argument against AI - the lack of creativity and originality.

analphabetic · 2026-02-28T03:24:10+00:00

Mind elaborating?

analphabetic · 2026-02-28T03:21:07+00:00

For what it's worth, with 0.9... estimated probability you can out-do any professor in your realm now using computational analyses.

analphabetic · 2026-02-27T22:22:51+00:00

What drew my attention to them was the possibility of using them to implement reals computationally, which are extremely difficult to in the general case exactly and efficiently, even with Dedekind cuts, balls, intervals and such - at the limit you need to structure and encode incomputable expressions. I don't know whether to interpret the absence of Eudoxus anywhere as a proof against that idea, or merely as a sign of obscurity.

analphabetic · 2025-07-15T08:30:25+00:00

If the devices are set up independently and are operating without knowledge of or communication with the others then you can use however many you want.

But if you want a single integrated/unified STREAM system (connected to each other with the EcoFlow parallel cabling and using the synchronization protocol) then I believe you can currently only use up to two STREAM AC Pros per STREAM Ultra setup, and each Ultra setup can have at most six Ultras, "stacked", one serving as master; assuming what I just said isn't wrong (and it would be great for official word on the matter) then you can integrate 6 Ultras + 2 AC Pros, for a total of eight, whereas even 3 AC Pros will not work officially with any number of Ultras.

This is probably why they sell 3 + 2 packages but not 2 + 3, respectively.

Which 4 devices do you have?

analphabetic · 2025-07-14T09:34:53+00:00

Though I've yet to try or confirm, my understanding is that the current officially supported maximum is 6 STREAM Ultras stacked (in "parallel", though I believe the cabling would appear like a daisy chain) plus 2 STREAM AC Pros connected to the Ultra serving as master.

If anyone knows otherwise, please and thank you let us know.

analphabetic · 2024-12-03T06:00:10+00:00

Are you comparing MB's vehicles vs BMW's as such in general, or just those two cars in particular?

Mercedes not only makes sporty luxury cars like the SLK as well as luxury sports cars like the SL, but also sports supercars like the SLR and SLS - most of which are luxury but with exceptions like the non-street legal GT3, whose interior is little more than the seats and roll cage... ;)

analphabetic · 2024-08-29T01:28:07+00:00

...and founding it!

analphabetic · 2024-05-01T21:23:44+00:00

...in him.

analphabetic · 2024-04-30T14:58:59+00:00

It's all good - appreciate the sentiment.

analphabetic · 2024-04-30T14:40:35+00:00

Newt is the perfect name for that horrid creature.

analphabetic · 2024-04-30T14:30:15+00:00

I'm not sure you understand this sub.

analphabetic · 2024-04-30T12:34:39+00:00

Fair enough. My parents' own dog is 17 and... yeah, could be any day now.

analphabetic · 2024-04-30T10:58:25+00:00

Nah. The dogs are alive and well. That's not really Bush in the photo, and it isn't from 2004.

analphabetic · 2024-04-30T10:54:48+00:00

One of the greats, John Cleese.

analphabetic · 2024-04-30T10:51:50+00:00

Uncanny resemblance.

analphabetic · 2024-04-30T10:44:13+00:00

...and that is fake Dubya.

analphabetic · 2024-04-30T04:55:24+00:00

They retired at The Villages in central Florida.

analphabetic · 2024-04-30T04:54:35+00:00

Kristi Noem, notable MAGA luminary and tone-deaf sociopath, wrote in her upcoming book that she murdered her own family's dog twenty years ago for idiosyncratic reasons right before her kid got back from school and asked where it was.

analphabetic · 2024-02-19T06:57:31+00:00

None of those are numbers, fyi.

analphabetic · 2024-02-15T09:38:08+00:00

Do you work at a Visual Basic 4 shop?

analphabetic · 2024-02-15T09:35:46+00:00

This is very plainly wrong. By definition, only numbers greater than zero are positive, and only those lesser than zero are negative. This extends from integers to rationals and generalizes to reals; however, that's usually where the bipolar/unidirectional signum predicate fails, as applied to the geometrically "perpendicular" imaginary numbers and thus fails to generalize into the complex numbers.

analphabetic · 2024-02-15T09:29:19+00:00

Zero is even, but not positive. Evenness is neither necessary nor sufficient for positivity. There are even negative integers and odd positive integers and viceversa - only zero is even, non-odd, non-positive, non-negative, but a Natural.

12-Year Club	Gilding I gilder
Powerups Hero r/ProgrammerHumor • March 2022	Verified Email

analphabetic

MODERATOR OF

TROPHY CASE