Two things: (1) Trump doesn't control the prime lending rate (and that's not the interest rate, either); and, (2) he's rapidly headed to lame duck status, already.
My greatgrandmother (born in 1891) left grade school in 6th grade for similar reasons. The real reason she was taken out was "money". (This was rural Indiana about 1903.) She finished her own education through what you might call a master's program by studying her brothers' texts. It was an unwise person who assume her lack of formal education meant anything about her intelligence or informal education.
I think the major issue I have with Z3 is that if your input constraints are large and non-decomposable, then the resulting output is functionally undebuggable. There's a bit of handwaving from Z3folk about using assert_and_track() along with pseudoboolean proxies. But, there's a lot of pitfalls using these techniques. Combining bitvectors and pseudobooleans (y'know — the common case) under implication can either weaken or strengthen the constraints which literally changes the behavior of the given constraint problem. That means that any attempt to add tracing to the problem to debug your constraints can lead Z3 to change its behavior (because the underlying problem is different).
I really like Z3, and I like the convenience of Z3, but ... dang ... it'd be nice if you could trace internal statements.
Oh! Another pet-peeve is that there's no (sane) way to print large expressions. Once an expression gets large, Z3 begins dumping opaque internal variables (K!##). There is no way to get Z3 to unmunge these variables — that information is forever lost to you.
There's always someone else just as smart, willing to work harder. On the other hand, there's an inexhaustible amount of work & new ideas to work on. If you don't want to do new things, most "old ideas" have been poorly executed: go redo them well.
I had a cabinet built and the guy doing the work pointed out that the human eye is really great at detecting line-line deviation; but, building to & correcting for that deviation requires working across the whole surface. He was making an area-effort to linear-quality argument. He said every time you halved the gap, it quadrupled the effort. Also, he said that was what saw-dust & glue were for.
A large part of this lawlessness is rooted in nonnormative behavior. But! there are basic protections we could have right now if we demanded them. First and foremost: the Bivens Act; specifically, the right to bring suit in State court against Federal agents. Presidential pardons can't help these thugs in State persons.
Why does it need to be novel? It's (in theory!) a product you can buy. There's a bunch of different car companies & phone companies & writers & stuff, right?
There's always someone willing to outthink you. That's the whole premise of a magic show: there are people willing to dedicate irrational amounts of time to trick you in to believing something that isn't true.
I'm not really onboard with the whole LLM's-are-conscious thing. OTOH, I am totally onboard with the whole "homo sapiens exterminated every other intelligent hominid and maybe — just maybe — we're not very nice to other intelligences". So, I try not to let my inborn genetic predisposition to exterminate other intelligence pseudo-hominids color my opinions too much.
Every time I read about APL, I'm reminded of Lev Grossman's "The Magicians" — I'm always imagining some keyboard with just a little bit more than two dimensions; and, with sufficient capabilities, I could stretch to hit the meta-keys that let me type APL directly on my modified split MTGAP keyboard.
Which is why cheap batteries will be the camel that broke the straw's back. It's really hard to find numbers, but I like 20–30$/kwh by 2030. At those prices I can get a 4 day backup for an oversized (50kw) solar panel install for my house for 20k$. Why even hook up to the grid, at all?
I'm at high risk for colon cancer & had my first screening last year after putting it off. For those who've not done it yet: it's really no big deal. The most challenging part is drinking the fluids. Please get screened: caught early, it's easily curable, but it definitely kills.
I asked my 13 year old and she proposed N=4 and (after some prompting) P!=0. I always threatened to rename her "Howitzer Higginbitham IV". You can use her as a source.
I never even thought to think of it that way. I know that for a lot of readers that $13742 doesn't seem like much. And, cutting it down to (say) 25% of that —
$3250 seems like a pittance. But, I'd wager a lot of people reading here haven't been really desperately poor. I lived on <$8000 for a few years, and <$20000 for twice that. $3000 a year would have been LIFE CHANGING. That'd be things like preventative maintenance for my car; regular food in my house; guaranteed electricity; no fear of eviction; the ability to go to the urgent care clinic when I sick (vaccines for the flu!). Y'know ... BASICS. There's a lot of predatory stuff out there when you're scraping by. An extra 250$/month would've been pretty amazing.
We were privy to a lab that accidentally cooked mice with gold nanoparticles in the late 90s with multiple IR lasers. After they figured the power side, it turns out that gold nanoparticles are wildly cytotoxic on a number of axes.
"Political expediency makes for strange bedfellows, news at 11!"
I'm not even sure I'm against everything Trump is up to (it's unclear to me); I just don't like the autocratic moves: it's unamerican, and bad for democracy. It's setting a standard & an allowable behavior that could be exploited by bad people.
This is like buying tickets to watch your favorite sports team win first place. It's good to support the boys, but you'd didn't do anything. The rest of Trump's thinly veiled autocratic tendencies — whether they're rhetoric aimed to rile up opponents or real goals — have done little to promote fraternity amongst nations & people.
Assuming approximately 0 commercials in 1920 with a runtime of 110 minutes -> 140 minutes. I'm trying to decide if there's 30 minutes of commercials, or not? I'm thinking about the standard sitcom (TV) commercial density which is a 23-24m show with 6-7m of commercials (25–33%). So... 30m seems in range?
I recently saw an article about someone improving the machine code generation time of an assembler, here; I idly noticed that the scale was the same number of instructions we had in the budget to compile whole lines of code (expressions & all) "back in the day". It was weird. Of course, we're fighting bandwidth laws, so if you looked at the wall clock time, the machine code generation time was very good in an absolute sense.
Dang. My kids are just getting the hang of using ChatGPT as a way to generate random quizzes and additional homework problems; to the point where both of them just automatically use the AI to "fill in the gaps" each evening. (Prior to AI, additional HW was met with less enthusiasm than you'd think!) I told my wife that the billionaire class spent the last few decades cheating the tax system (and, thus, the education system) just to weirdly dump a trillion dollars into the AI ecosystem to build the world's finest tutors. I really hope that doesn't Go Away™.