skysight-inc/HackerNews huggingface dataset:
If I had explained it further, then the proof would have been longer!

Right, we need the Fundamental Theorem of Arithmetic, that each integer factors uniquely into a product of prime numbers; right, that statement leaves out a little about the order of the factors.

Well, 2 is prime number. So however many factors of 2 q has, q^2 has twice that many and, thus, an even number of factors of 2. Same argument for p^2; it also has an even number of factors of 2. But then

2 q^2

has an odd number of factors of 2.

Uh, more generally, we can keep arithmetic simple or make it complicated. E.g., multiplication of integers is associative so that

(2 x 3) x 4 = 2 x (3 x 4)

The intermediate results are different, but the final results are the same. So there is a little something there (matrix multiplication is also associative, with more there -- right, easily function composition is associative so regard a matrix as a function and matrix multiplication as function composition).

We can keep the Fundamental Theorem of Arithmetic simple, e.g., ask a 4rd grader, or make it complicated: To make arithmetic complicated, we can take a college course in abstract algebra that proves all this. Then for still more complicated we can go through axiomatic set theory before the abstract algebra course. Then in the set theory course we can get to undecidable issues.

I went through all that. Instead, what I wanted was differential geometry as background for general relativity, partial differential equations for the various applications, but I'd put up with exterior algebra, of course the inverse and implicit function theorems (proved in Fleming's book and an exercise in Rudin's), fluid flow, Maxwell's equations, Schroedinger's equation, Fourier theory, Lebesgue integration, Leibniz's rule (differentiation under the integral sign; there's a simple proof if assume enough continuity and a more general proof from Lebesgue theory), how come, with Lagrange, action is stationary, on and on. I was willing to take arithmetic as okay!
I don't know the specifics about Twitter's API saga over the years but... why isn't this the case? Why does Twitter need to be involved on the client side with consumption of the API?
Coincidentally, same year we started homeschooling. Hence my ignorance on the topic.
Ubuntu shipped the patch three days ago. The output of `apt changelog sudo` on 22.04 LTS:

sudo (1.9.9-1ubuntu2.2) jammy-security; urgency=medium

* SECURITY UPDATE: arbitrary file overwrite via sudoedit
- debian/patches/CVE-2023-22809.patch: do not permit editor arguments
to include -- in plugins/sudoers/editor.c, plugins/sudoers/sudoers.c,
plugins/sudoers/visudo.c.
- CVE-2023-22809
* SECURITY UPDATE: DoS via invalid arithmetic shift in Protobuf-c
- debian/patches/CVE-2022-33070.patch: only shift unsigned values in
lib/protobuf-c/protobuf-c.c.
- CVE-2022-33070

-- Marc Deslauriers <marc.deslauriers@ubuntu.com> Mon, 16 Jan 2023 07:36:33 -0500

There is a detailed explanation on the sudo website: https://www.sudo.ws/security/advisories/sudoedit_any/
> Twitter shows no respect whatsoever for these devs.

Or for the users of those apps.
That is exactly what Tapbots has done with Ivory - Taking Tweetbot and using that as the basis for a Mastodon client. I've been using it for the past few weeks and it's fantastic https://tapbots.com/ivory
Fun story, development of Digital Research's CP/M68k and GEMDOS/GEM GUI on the 68k was also done on the Apple Lisa (and I think some VME 68k boxes from Motorola?). So, a competitor to the Mac (albeit not a successful one) developed on the Lisa, too.

And in fact, fun people have gotten GEM/GEMDOS to boot and run again on Lisa emulators and real Lisas.

Computer archeology.
Anyone can be blackmailed.

If the thing you did was less bad than the penalty for treason or revealing secrets (life in prison and/or death) then the blackmail argument falls apart. It's just more irrational hocus pocus by self-important bureaucrats. Hell the thing you're blackmailing doesn't even have to be true, they can just find an ex lover and blackmail that person to say you raped them or whatever, and well even if you beat the charges your kids get tossed into DCS/foster care your life is ruined etc etc.

Yet another reason why I'll never work for the government.
Was going to ask about that - I mean, hydrocarbon chains, by definition, contain hydrogen, so surely you should be able to use part of the input as hydrogen source (leaving concerns of practicality, efficiency and price aside).
"drinking the Flavor Aid" doesn't sound nearly as good. It sounds like a knockoff
Trump was not President at the time of the Liz Cheney leadership controversy, that was after he was out of office. Trump is not President anymore and no one should pretend that he is.
Twitterrific, and a lot of these early iOS clients, really helped defined the Twitter service, and even more so, our interface idioms for mobile apps.

Right from the bird’s mouth, which by the way, they created, not Twitter…

“Since 2007, Twitterrific helped define the shape of the Twitter experience. It was the first desktop client, the first mobile client, one of the very first apps in the App Store, an Apple Design award winner, and it even helped redefine the word “tweet” in the dictionary. Ollie, Twitterrific’s bluebird mascot, was so popular it even prompted Twitter themselves to later adopt a bluebird logo of their very own. Our little app made a big dent on the world!”

And “pull-to-refresh”? Tweetie.

https://en.wikipedia.org/wiki/Pull-to-refresh
"Please consider"

Is just an appeal and makes the choice clear.

Likely, some customers that did purchase it have received some value; It's likely the difference between needing to claim bankruptcy protection and quietly dissolving
What I always wanted to have is a tool that syncs my uncommitted changes of git repos between all my devices. So that I can switch from the desktop to the laptop without committing, pushing and pulling. Right where I stopped. Also sync not yet pushed commits, I may want to rebase/edit before pushing.
What's Win11 do that Win10 doesn't, other than Thread Director (Which enables proper usage Intel's E-cores)?

I'm looking for things beyond simple UI/UX changes, mainly because I think Win11's UI is horrid.
AppSheet do it too and they are owned by Google now, if Apple lets Google do it, I’d think Retool are fine?
It's time to de-google. Seriously. Now it's from a self-preservation POV, not a political POV.
Archaeologists Unearth 3k-Year-Old Wishing Well in Germany
> First of all congress generally does not pass budget bills, they pass budget resolutions

The budget resolution is a planning framework for the appropriations bills that make up the budget. It is not a “budget”.

> and congressional resolutions are not submitted to the president for his signature, and congressional resolutions are not submitted to the president for his signature and do not have the force of law.

That's not true. All Congressional actions are resolutions (e.g. the USA PATRIOT Act was "House Resolution 3162" of the 107th Congress), and many end submitted to the President and with the force of law. Some are even primarily characterized as "resolutions" after they are signed and have the force of law (See, in terms of the budget space, the use of "continuing resolutions".)

There are types of resolutions that are nonbinding, and do not have the force of law, and the "budget resolution" (which, again, is not the same as the budget) is one of them, but this isn't generally true of "congressional resolutions".

> As far as budget bills (like the Budget Act of 1974) are concerned, it is impossible for a previous congress to pass laws that govern the actions of succeeding congresses in a binding fashion

The 1974 Budget Act is not (relevant to this discussion) a budget bill, it is a meta-budget bill, or maybe even a meta-meta-budget bill (that is, a bill on the process by which Congress will plan future budgets.) You are correct that it is not binding on future Congresses, but this has no bearing on the budget not being binding, merely a past Congress's plan on how to plan annually to arrive at a budget is not binding.

> So Congress can simply neglect to pass a budget resolution

…which isn’t a budget, but a plan for one…

> and the only remedy is for individual representatives to raise points of order.

Well, sure, but the budget resolution isn’t the budget. If Congress doesn’t pass a budget (or only passes part of one), then the remedy is “spending governed by the parts not passed stops” (that is, a government shutdown.) This is…rather noticeable.

> On the other hand, if you wish to refer to an appropriations bill as a “budget bill” you are merely disagreeing with me (and with congressional practice) over nomenclature. Personally, I have never heard of an appropriations bill referred to as a “budget bill”, but I am sure someone does it.

While it is common to refer to the aggregate of appropriations as a “budget”, its not usually used for individual appropriations bills as a “budget bill” unless they are a single consolidated bill, which is typically referred to as a “budget bill”. Budget bills are frequently introduced, but less frequently passed. But not having a single budget bill passed is not “not having a budget” or “not having a budget with the force of law”, its “not having a budget in which the annual appropriations were adopted in a single bill”. Which is…less significant.
That certainly makes a lot more sense than the "leaked as a distraction against.... unspecified" theory.
Yeah original twitter allowed an explosion of creativity (both in style and interaction) around clients, due to its simple data and interaction model.
Tweetie even got bought and turned into the official client.
Just saw the discussion from 7 hours ago: https://news.ycombinator.com/item?id=34440757
Huge Pages Are a Good Idea
Man, I loved that show -- a modern day version of "World of Tomorrow"
What makes you come to that conclusion?
It's been decades since Apple had competent compassionate trained UI designers instead of narcissistic showboating cosmeticians, who'd even heard of, let alone read or actually written, Apple's own Human Interface Guidelines from 1978 onward, and aren't just motivated and addled by cocaine and a burning desire to prove to the world they're actually sensitive artists joyfully expressing their deeply unique spiritual creativity to immortalize themselves in the historic pantheon next to Leonardo da Vinci, and not mere usability engineers navigating difficult tradeoffs and conventions and applying sound scientific principles so users can actually get work done, instead pointlessly changing and banishing practical pixels and affable affordances that were there for reasons they're blissfully unaware of, which they wouldn't give a shit about even if Bruce Tognazzini, Bill Atkinson, Don Norman, and the ghost of Jeff Raskin themselves begged them to, simply to polish their resumes and burnish their egos, by spraying their sweaty cloying musk over every possible surface merely to express their ownership, just like the Cat in Red Dwarf. [But I digress...]

Red Dwarf - The Cat - That be mine!

https://www.youtube.com/watch?v=Q54lVO7elt0

How Apple Is Giving Design A Bad Name (2015)

https://www.fastcompany.com/3053406/how-apple-is-giving-desi...

A history of Apple HIG table of contents – the philosophy and principles

https://modelessdesign.com/backdrop/401

Rediscovering Apple’s Human Interface Guidelines from 1987:
UX Lessons from the Dawn of the Personal Computer

https://blog.prototypr.io/rediscovering-apples-human-interfa...
An issue highlighted there is that there are very few algorithms where you have an exponential advantage vs classical hardware
Possibly remastered (so different sound), possibly much later negatives made from the positive (positives wear too, a positive master for a million seller is a very precious thing (see below)). Far less valuable. Usually much thinner than the earlier ones so more prone to warping if not stored very nicely.

And if you're very unlucky it was made through an intermediary set of positive/negative.
Though the sums were tiny, weren't they? I mean, it was $400m in 9 years, spread over a million charities in the end. To get a significant amount of money through that program, you'd need to be a big name that a lot of people would choose to donate to ... at which point you're a big name that probably gets a lot more money through regular donations.
Inside CNET’s AI-powered SEO money machine
Well, that tells me how he feels about his/The Verge's average reader, that they're too stupid to be educated about what the difference between the two is.
"long-standing API rules" indeed.
It's missing the "I feel like crap because I got yelled at for the 1000th time by the same person for doing the same thing wrong" mixed with the anxiety of "I know from experience I can't avoid that happening again, but how I can I avoid that happening again?".

The themes I can detect in the playlist itself are "I don't know quite what this is, but that itself is interesting, so my brain is just going to surf on that for a while", "nothing's going on, so I started daydreaming and my brain is in that comfortable relaxed happy place", and "oh oh oh, Yes yes yes! Mode"
I never trust any claims that a surveillance tool will only be used to stop child trafficking. It is used as a method for law enforcement to get their foot in the door.
I was providing a silly example but there is a continuum as you’ve identified. My point is that it’s not your place to decide how far along this continuum to go. It’s the job of the person asking the question.
It's well-known that "carbon footprint" was popularized by oil companies around the time of Inconvenient Truth so that we don't come after them. [0] Even so, before you worry about your coffee tackle the low-hanging fruit first. Drive less, walk and cycle more, go vegan, and stop flying.

[0] https://mashable.com/feature/carbon-footprint-pr-campaign-sh...
Nah, the leaker was most likely Alito, who is on record as having done something like this before. He did it to keep Roberts's vote secure by publicly forcing the issue so he couldn't waver. That's why this report refuses to reach any conclusions, and why after initially thundering about the leak Roberts has been veeeeeeery quiet about this investigation.
Twitterific is made by Iconfactory in Greensboro NC. Twitter can sue for violating their terms of service if they did as you suggest.
Yeah I actually haven't downloaded this yet, despite being eager to look, because I actually wonder if I should be cross-checking my employment agreement with my current employer to make sure I wouldn't be violating any clauses in either document! Highly unlikely, but still, jeez.
Unlocking security updates for transitive dependencies with NPM
They aren't some poor dev struggling to eat and pay bills, they've been one of the most popular third party Twitter apps for 15 years. They are not down.
If you bought a 12 month subscription to Netflix and they closed down next week are you honestly saying you wouldn't be asking for a refund?

It doesn't matter that its an app for Twitter, you've paid for someone to provide something they can no longer deliver.
And when the Titanic cost £1.5M, the average weekly wage in the UK was £5.
I wonder if this bug in logic (instead of buffer overflows) would also have been less likely in a different language. Would it have been more obvious in a language where it's easier to work with dynamically allocated arrays and strings?
Yahoo uses the CRSP method (see: factor to adjust price) to back-adjust old prices when dividends and splits occur, so it's not as misleading as you're probably thinking. I'd be surprised if the others didn't do something like this too.
I don't think we need to evangelize what smug gatekeepers already far over-apply across many domains
Haven't tried this one, thanks. There's also Everything [0] which is usually my favorite search for Windows. Fast and supports regex.

[0] https://www.voidtools.com/
To start, you need huge amounts of diesel to produce this work. Expensive technology. Hours or weeks of work identifying this things...
Or the workers
It's still hugged-to-death so I can't see it, but based on responses, this looks extremely cool!

I know that monetization is a sticky topic for many people, so please don't be offended if this isn't something you're looking for, but I have a bunch of contacts in a major music streaming service's recommendation and personalization teams - if you'd like an intro to discuss this with them (either selling the idea/implementation, or using it as a resume-item for a job), drop me an email (in my about box).
I've used and researched a lot of portable wood stoves. If you want a portable rocket stove, the one I would recommend is the Virestove. There are some video reviews on youtube that you can check out before buying it. I haven't used a more practical one yet. If you have the funds, they have it in titanium right now. Should be quite lighter than the stainless version. The mini version is more portable of course, but doesn't achieve the smokeless combustion that the larger version does. I guess it's the length of the chimney, but not sure.

For a flat pack grill that's practical and portable, I'd recommend you check out the ones made by UCO. They come in three sizes as of now. The only downside I find with flat pack style grills is that on most of them you have to raise the grill to add wood.

Somebody recommended the Firebox line. They're pretty awesome, but are regular wood stoves. They will smoke just like any fire pit or flat pack grill. No rocket smokeless combustion. The stainless version is very well built and will last forever. Haven't tried the titanium version, but seem to be well like by users. I'd also recommend the Bushbox, by Bushcraft Essentials. These towo are the best of the folding style portable wood stoves (not rocket style).

links to this stuff (some are available on amazon):

virestove.com

ucogear.com/portable-grills/

bushcraft-essentials.com/en/outdoor-stoves/

fireboxstove.com

I have to say though that I've been using wood stoves to cook less and less, mostly because of health concerns. It seems every year I find more and more reasons not to be around them.
There's probably a distorted view there where the percentage of overall users using third-party clients is absolutely minuscule, but if you look at the percentage of content _creators_ it's much larger. At least I remember reading it was like that around the time that I stopped using Twitter a few years ago.
It wasn't particularly offensive nor bothersome, your comments just seemed out of place and the kind of thing that should be preceded by a private query as to whether the other person is interested in entertaining your proposal/s.
> It’s only weird if you assume all corporations should be amoral money exchange systems where by money is exchanged for labor and capital which in turn is exchanged for more money

What you’re missing is the final step in the chain, which is the part where profits are distributed to shareholders. If I’m one of those shareholders, I might very well take a large chunk of those dividends and donate the money to charity. But instead of paying me more of those dividends to donate to my preferred cause, the company’s management has decided that they should be the ones donating my money to their preferred cause.

Aside from that, it’s just a failure of specialization. Philanthropy is hard, making money is hard, and building a single organization that does a good job at either of them is even harder. I’d rather have corporations that focused on doing a really good job at whatever they did and non-profits that do whatever they do as efficiently as possible, rather than a corporation trying to do both.
While I think I've come around to this position, the big question here that comes to mind is: does this even work for iOS apps, given Twitter could just go to Apple (the App Store team, I guess) over it?
On the web too. Plus you can use extensions to block ads, promoted junk, suggestions on who to follow, etc.

But none of it holds a candle to TweetBot or Twitterific.
A Guide to Designing for Introverts
Thanks for the reply. I guess I am also strange, but I share your perspective.

At the very least, I feel like responsive options to toggle some of the various max-width CSS settings as an opt-in feature is worthwhile at least for reading-heavy sites like getpocket.com and news websites. I end up toggling these in Firefox / Chrome debugger and wish I could install extensions to apply custom code automatically but my employer does not allow this.
Followed immediately by "You don't want to do that. I, some internet guy, know what you really want to do even though I have no understanding of the constraints you are working under or what you're ultimately trying to accomplish!".
Dark Energy Camera Plane Survey 2 (DECaPS2): More Sky, Less Bias
Humble Bundle has also been ratcheting down the share that goes to charities even though that's their reason for existing.
Unless you capture it, as Amsterdam has been doing.
Largest hydrogen-electric aircraft completes 10-minute flight
I think you're view is based on politics.
Researchers discover two attacks against Z-Wave Home Security Systems
yep same with the journalists who pretend to not know the answer to the question "what does woke mean?"
The actual rating doesn’t really matter, it’s the changes that do.

Strong from a previous “strong buy” is very different than a strong from a previous of “hold” or even “sell”.
Explore lab test prices from the Transparency in Coverage Act
Are you implying that any amount of surveillance is acceptable so long as it is added to the ELUA?
If you're looking for a Python variant of this tool: https://github.com/abi/autocommit
From the title, I thought it might be just another rant about people with certain chromosomes (also called males).
The link to the proposed OGL 1.2 in the article is a chromeextension link that doesn't work. Here's the PDF: https://www.dndbeyond.com/attachments/39j2li89/OGL1.2_DraftF...
Imagine the maintenance challenges of a system like this. Why are there box trucks in the "lower storage"? How about a few apartments too? This is "Solar Freaking Roadways" level thinking.
Sounds like the crux is that 2(x^2) = y^2 can never be true for any integers x and y because any square of an integer must have an even number of 2's in its prime factorialization, and any doubled square of an integer must have an odd number.
I agree with the idea of cheap, disposable, fine-grained secrets.

With databases in particular the problem is that a connection is a relatively expensive thing which takes noticeable time to establish. Hence connection pooling, and the need for all sessions of a particular class to share credentials.
No? Helion doesn't use lasers, just old school electromagnets.

They do use the currents in the plasma to help confine it, but by having plasma be in a really simple shape that lends itself to that (a torus) not by "printing circuits" on it. They then take two of these and accelerate them towards eachother while making the toruses smaller (and denser) by activating electromagnets with very precise timing.
SCOTUS is the least democratic of the three branches of government. Trust in SCOTUS hardly qualifies as trust in "democracy" at all. Unless I guess you're using "democracy" in a sense that is synonymous with all aspects of American government, which would be a mistake.
Rust async is colored, and that’s not a big deal (2020)
Well done team!
Cant' wait for a map component!
Aha, I was aware of the 80-character line limit for source code files, but wasn't aware it was a general accessibility recommendation. Thanks for the link!
Because I paid them for something and I'm not receiving it? This isn't a hard concept.
It’s very common nowadays to see people suggest investing into S&P500 ETFs and keep them forever. More then 20% of US population owns stocks.

I think we are near a change into this paradigm.
Let's hope Twitter puts the time machine up for auction (https://www.npr.org/2023/01/18/1149731084/twitter-office-sup...) someday.