MurphyA/hacker-news huggingface dataset:
by Nevermark | 2025-09-01 22:57:37+00:00
I am not sure what your last statement means.

Constructible reals are continuous over [0, 1] in that there are no gaps between any interval between constructible reals [r1 r2] that are not filled by more constructible reals (and in fact, the cardinality of the constructible reals within any interval is the same, i.e. countably infinite, in a fractal way).

So there is no obvious motivation for anything but constructible reals from that standpoint.

Unconstructible reals were invented (or at least used) by the mathematician Cantor to explore ideas about different infinities. A "real" number with infinite decimal digits but not any finite description lets him create a number space larger than the constructible reals, a larger infinite cardinality.

So there is nothing missing in a [0 1] constructible interval. Or to put it another way, constructible numbers are closed. There is no sqrt(-1) situation requiring unconstrucible numbers to fill, like the square root of -1 required imaginary numbers (or geometric algebra dimensions) to fill.

But [0 1] contains the higher infinity of unconstructible reals in it, if you want. But I am unaware of any claim that they solve any problems by being included, other than exploring interesting puzzles related to unconstructible numbers as interesting ideas in themselves.
by ants_everywhere | 2025-09-01 22:58:03+00:00
I doubt it. But you can't simultaneously cultivate an image as a propagandist who lies to and about AI and a truth teller who tells the truth about AI.

You either try hard to tell the objective truth or you bend the truth routinely to try to make a "larger" point. The more you do the latter the less credit people will give your word.
by Aurornis | 2025-09-01 22:58:10+00:00
> A commitment that this license will not change, even by the original author

Unless you’re entering into a contract with the project maintainer (which you’re not, if you’re just downloading or using it) then such a commitment means nothing.

Applying an open source license to your work means you’ve licensed other people to use it under those terms.

You can make all the commitments you want in the license, but it doesn’t actually commit you to keeping all future work open source as well under the law.

So you could write this license and make the commitment, but if you changed your mind later and decided not to open source future commits to the project that you made then nobody could stop you. Not unless you had entered into a contractual agreement with them and exchanged some consideration (money).
by lstodd | 2025-09-01 22:58:53+00:00
Where I lived all this summer the only transport infrastructure that was available for the last 80 years since the reservoir dam was completed was an old diesel tractor and an equally old motorboat with an evil 2T outboard, or a 3 km walk to a pier that was being visited by a 1957-built ferry twice a day, if it did not break down.

Then there are two to four months in a year when there is no transport except a single emergency services hoverboat while the ice settles or melts. Depending if it didn't break down, there isn't any emergency elsewhere, and a host of lesser things, like hovercraft travel isn't exactly cheap or fuel-efficient.

And then snowmobiles in winter. But also cars, if you're not afraid enough to test the ice thickness by driving on it.

That is an immutable property of the land.
by duskwuff | 2025-09-01 22:59:04+00:00
nommu is a neat concept, but basically nobody uses it, and I don't see that as likely to change. There's no real use case for using it in production environments. RTOSes are much better suited for use on nommu hardware, and parts that can run "real" Linux are getting cheaper all the time.

If you want a hardware architecture you can easily comprehend - and even build your own implementation of! - that's something which RISC-V handles much better than ARM ever did, nommu or otherwise.
by pvtmert | 2025-09-01 22:59:12+00:00
Ah, I just saw this, although I wrote a (much comprehensive) reply here: https://news.ycombinator.com/item?id=45097345

The full payment that requires pro-rates is even worse. They expect you to pay it fully back. (ie. with the deducted taxes included!)

I bet it is possible to profit from a such scheme if Amazon is able to declare that as a reversed-transaction (similar to VAT-refunds) at the end of the fiscal year.
by photochemsyn | 2025-09-01 22:59:47+00:00
Don't hide your content from people using NoScript, how about that for starters...

And oh great, another Peter Thiel company booted to the top of HN, really?

> "Cognition AI, Inc. (also known as Cognition Labs), doing business as Cognition, is an artificial intelligence (AI) company headquartered in San Francisco in the US State of California. The company developed Devin AI, an AI software developer...Originally, the company was focused on cryptocurrency, before moving to AI as it became a trend in Silicon Valley following the release of ChatGPT... With regards to fundraising, the company was backed by Peter Thiel's Founders Fund which provided $21 million of funding to it in early 2024, valuing the company at $350 million.[2] In April 2024, Founders Fund led a $175 million investment into Cognition valuing the company at $2 billion making it a Unicorn."

The bubble's gonna pop, and you'll have so much egg on your face. This stuff is just compilers with extra compute and who got rich off compilers? VC people...
by some_furry | 2025-09-01 23:00:02+00:00
https://github.com/tvondra/jwt_context/blob/10be23c0651f1099...

https://github.com/tvondra/jwt_context/blob/10be23c0651f1099...

https://github.com/tvondra/jwt_context/blob/10be23c0651f1099...

Oh look, the typical setup for a classical JWT vulnerability.

Prior art:

https://auth0.com/blog/critical-vulnerabilities-in-json-web-...

https://github.com/firebase/php-jwt/issues/351

You should really consider not using JWT for new designs that don't a priori need to interop with JWT.

PASETO is less likely to create sadness: https://paseto.io
by Aurornis | 2025-09-01 23:00:20+00:00
> If you aren't interested in open source, that's your option, but open source has had a clear meaning for decades.

If I’ve learned anything from reading HN comments, it’s that “open source” means different things to different people, including those who believe themselves to have specific knowledge of the history of the topic.

There are half a dozen different claims about the original meaning of “open source” in this comment section alone. They’re coming from people citing history and notable figures from open source past.
by dwattttt | 2025-09-01 23:00:24+00:00
> If a group of users of 32 bit hardware care to volunteer to support the latest kernel features, then there's no problem.

It's not just the case that you need people to support 32bit/nommu; you also have to account for the impact on other kernel devs working on features that are made harder.

This is called out in the article around keeping highmem support.
by bilegeek | 2025-09-01 23:00:30+00:00
Couple of caveats:

1. Last I tried about 9mo. ago on a Pi 4, you still need 3rd party firmware to make use of >3gb RAM. Unfortunately, I couldn't get that to work.

2. Even though the full image has the complete software set, the installer can't see it; you have to either use the network (I have a datacap, it's a pain point with FOSS sometimes), or load another drive with the sets.
by Arainach | 2025-09-01 23:00:36+00:00
>Microsoft's compensation for early career is competitive with Google and Meta (at least for the first couple of years; Meta will grow your level faster and Google gives better annual RSU refreshers

It's not. Microsoft's stock grants are a joke. I left Microsoft after 8 years with ~36k in unvested stock (vesting over 4-5 years) and a title of Senior (L63). Both Google and Meta offered me a downlevel (L4) for a 40% increase in total comp and with annual stock refreshers significantly larger than 5 years worth of stock grants at MSFT.

Microsoft starts to become competitive around Principal/Staff, sort of, but from a compensation perspective working at them at a junior/midlevel/senior level is a huge mistake.
by rstuart4133 | 2025-09-01 23:01:02+00:00
I was answering this question from you, not asking for advice:

> what financial services companies are inaccessible via a web browser?

Yes the fix is obvious if it was a problem. I thought I made it clear I think it is a net increase in security, and so isn't a problem, for me anyway. Even if it was a problem, your throw away suggestion of "just move to another bank" is not so easy if you've borrowed money from the bank.

None of this has anything to do with topic being discussed - which is should Google allow side loading of unsigned apps. You seem to be positively enthusiastic about handing the keys to your life and assets to Google and / or Apple. The comments you see here are from people who aren't so sanguine about it. You look to be dismissive of their concerns. I would be too, if I thought if what they are doing yielded a big increase in security.

The OS should be so secure loading any app, signed or not, malicious or not, is mostly harmless. That is true for iOS and Android. You can always uninstall an app, and you have to give it additional permissions to access your data. I don't know if an app can attest it was downloaded from the web store so organisations like banks can be sure they are talking so software they issued. If it isn't, that's a security hole that should be closed.

Unlike adding attestation, sideloading apps doesn't look to be a security hole that needs fixing to me. I'm doubt it provides much additional security. I've personally had to fix phones whose apps went rogue after a spammers bought the developer licence from an abandoned app. Worse, the app still had the permissions granted to the original.

This new requirement does create barriers. I use apps from F-Droid. They typically have no ads, and they do what they say on the box. Security in the long term is higher than a Google store app because the source is available, and F-Droid uses reproducible builds. But I would not be surprised to find some open source app developers that aren't as keen as you are to hand over their private data to Google in order to get their keys signed, so there will be less F-Droid apps. If that happens, this new requirement would lead to a net reduction in security for me.
by matthewh76 | 2025-09-01 23:01:12+00:00
Random Wheel Spin is a free, customizable wheel of names spinner and random name picker tool for teachers, teams, friends, and family. Random Wheel Spin has the unique feature where you can add hidden activities, actions, questions, answers or facts behind each entry (this is particularly useful for interactive learning). You can save all your lists, share your wheels, embed the wheel into your own website, add images and colors or even get it to vocally announce and speak the result each time. You can import large lists of names from Excel, CSV or Google Sheets. No sign-up account needed.

FEATURES:

What really makes Random Wheel Spin stand out is the unique hidden activities, actions, questions and answers behind each entry. • Hidden information: Every entry can hold more than just text—activities, actions, questions, answers, or facts can be saved, ready to be revealed after the spin. Even images can be added both to the wheel entry and the hidden section. • Bulk media support: You can drag and drop images in bulk—hundreds at once if you want. The wheel can handle over 1000 images without breaking a sweat. • Full customization: Change colors, styles, and images to make the wheel feel personal. Whether it’s a classroom theme, a workplace brand, or a child’s favorite colors, the wheel can be customized to what the user wants. • Easy data import: Entire Excel or CSV spreadsheets can be uploaded in seconds. Data can also be copied directly from Google Sheets, saving huge amounts of time adding names to the wheel. • Accessibility and inclusivity: The wheel can speak aloud the selected result and hidden information. • No account is required: it’s completely free, and it can also be installed directly on your device as an app. • Sharing and embedding: Wheels can be saved, shared with students or colleagues, or embedded directly into external websites. • Multi-lingual support: Available in English and Spanish. More languages to come. • Ready-made templates: There are lots of pre-built wheels in categories like Classroom and Learning, Games, Occasions and Events, Workplace, Everyday, Travel, and Days Out.
by kulahan | 2025-09-01 23:01:15+00:00
I think you may have a different idea of what IQ is than me. I’m simply interested in some way to consider the raw horsepower of a given brain. But it seems like an odd question to leave unanswered, even if you don’t see any benefit to it immediately. Scientists aren’t inherently trying to answer the most useful questions, just the ones they find interesting enough to research.

And hell, maybe it’ll have the opposite effect. Maybe we’ll find that absolute raw horsepower is a worthless metric, because intelligence is simply too complex multifaceted, or maybe it’ll simply turn out to be like BMI, where it’s only applicable to populations of sufficient size. Who knows?

For all I know, true horsepower is the rate at which you form new connections, or the amount of working memory you have, or the efficiency of your brain (less activity for similar tasks).

But that being said, the brain is just the engine. I don’t disagree that the driver makes or breaks it. Of course things like grit and training and emotional stability and socioeconomic status and… matter just as much in terms of how well we can use that engine/brain.

Edit: oh, and to answer your question, I think it was a study in 2012 in Neuron(?) that was considered the death knell for the IQ test as we see it today.

I should also mention that in a perfect world, this test would be more physical than mental - brain scans and metabolic charts or something like that.
by duskwuff | 2025-09-01 23:01:21+00:00
> on nommu, you don't have any application isolation

That isn't necessarily the case. You can have memory protection without a MMU - for instance, most ARM Cortex-M parts have a MPU which can be used to restrict a thread's access to memory ranges or to hardware. What it doesn't get you is memory remapping, which is necessary for features like virtual memory.
by sangeeth96 | 2025-09-01 23:02:42+00:00
This is good feedback that ideally, Amazonians should read and reflect on but I worry the machine is too big at the moment for anyone there to care. Would take a big event and a reset for things to change.

My time at Amazon made me realize that while LPs probably were written with the best intent during their inception, in practice in the more recent years, it ended up often misinterpreted and weaponized internally for personal gains or to speed things up to meet unrealistic deadlines and false promises. "Disagree and commit", "Bias for Action" were popular amongst some of the management I knew.

There are very detailed internal wiki pages written with examples on the right ways to interpret them but I doubt many bothered to go through all that beyond the material presented during onboarding — which is also not always completed. It was frustrating to see LPs overused by employees in every meeting, document and discussions without much thought as to what they were meant to convey.

That said, there were a _handful_ of teams and individuals I met who exemplified these but it was a rare occurrence during my time unfortunately. And even in the moments where someone went above and beyond w.r.t channeling the LPs and the internal process to bring forth a proposal (e.g. famous corp-wide one was the push against RTO), I saw them get shot down unceremoniously while low-effort work and planning with a dusting of LPs got the go-ahead.

I hence echo what a few folk here have already said — don't always expect the work environment to reflect the values and principles you read on the about page. Reality is often (sadly) disappointing.
by kaashif | 2025-09-01 23:03:16+00:00
> any assumed meaning of our existence only matters while we're alive.

What do you mean by this? It is obviously possible to have an impact that lasts after you die and that people view as meaningful long after you die.

If the meaning of your life is to raise your kids well, that still matters after you die. Or if you invented calculus, or general relativity, or conquered Egypt and Persia, or wrote an epic poem read for thousands of years.

The world will go on without you, but it will be different, and maybe meaningfully so to those left.
by diskzero | 2025-09-01 23:03:20+00:00
I worked at Amazon before the two newest principles were added, so I can't comment on Strive to be Earth's Best Employer and Success and Scale Bring Broad Responsibility. I was asked about the principles during my interview(s) and they were discussed extensively during my onboarding process. I found there were groups of peeple who were very sincere about them and groups that were quite cynical. Some co-workers had no opinion and just wanted to survive their current pager duty. I frequently used some combination of principles as support for an argument for or against some technical or business decision. It was nice to have them written down and the entire company accepting them as the basis of how the business should operate. This was quite different from my time at Apple, where the principles were somewhat fuzzy other than Do the Right Thing, Do What Steve Wants or Put the User First.

The Amazon of the 2020s is different from my Amazon of the 2010s or others earlier Amazons. I can't remember any instance of someone saying a certain principle needs to be violated because it would lead to decrease in profits or market share. There certainly could be cases I don't know about. I found many of the principles helped create a good environment to make technical decisions and maintain some technical autonomy across groups. Yes, working at Amazon is a grind and there many ways working there can suck the joy out of your life. I never found the principles used as a weapon against me, my team or customers. I know Amazon has a lot of faults, but I am not sure they are are directly correlated to the principles. A thought experiment would be to wonder what Amazon would be like if it didn't have any principles at all?
by jeberle | 2025-09-01 23:04:04+00:00
UTF-16 arguably is Unicode 2.0+. It's how the code point address space is defined. Code points are either 1 or 2 16-bit code units. Easy. Compare w/ UTF-8 where a code point may be 1, 2, 3, or 4 8-bit code units.

UTF-16 is annoying, but it's far from the biggest design failure in Unicode.
by jll29 | 2025-09-01 23:04:10+00:00
10 GBP/book, perpetual storage space included.

Sounds a good price, no?

His worst fear resonates with me: if the collection is separated, all his collecting was basically a waste of time and effort. I share similar thoughts: how to avoid that the collection gets ripped apart upon my departure? How to ascertain continuity (if now growth, at least at the status quo level)? Where should bet books be located so as to maximize utility? And, worst of all, how to stop the decay in people's willingness to read books for curiosity's and knowledge's sake? Move the books somewhere else where knowlege is not taken for granted (e.g. Africa)?
by specialist | 2025-09-01 23:04:37+00:00
Yes and: Our economy now has fewer young(er) small- to mid-sized companies. The kind that have historically been the engines for creating jobs, for creating wealth (vs merely transferring it), and innovation.

I was excited by all new green energy startups due to Biden Admin's policies (BIL, IRA, etc). Oh well...

I know you know all this; I'm just compelled to repeatedly point out the obvious.
by speeder | 2025-09-01 23:05:21+00:00
Technology made driving f1 cars less brutal on the body. To start of in the first seasons a lot of stuff was unknown, for example some drivers wanted oxygen bottle so they wouldn't pass out while carefully leaving a fire. Others preferred instead to have the car to be the most easy as possible to leave, if a fire happened.

Now there is also head support, while drivers back then had to just use their muscles to hold their head in place.

The list goes on... but it still is an athletic sport. When Nico Rosberg decided to win the championship, he had to heavily change his routine to so way more fitness training than he was used to. After he won the championship and immediately retired, he hinted that one of the reasons for retirement is that he didn't want to continue with the heavy body training.
by fujigawa | 2025-09-01 23:05:21+00:00
Yes.

I have a disability and traipsing around the developing world just isn't something I care to do anymore.

My personal situation aside, I was aghast that a company would move its operations to an unregulated slum just to eek out a few extra dollars of profit (under the guise of 'globalization'). Whatever facility they closed in the US or UK suffered for this and I didn't want to be a part of that.
by tempusalaria | 2025-09-01 23:06:05+00:00
Fast tire changes only matter a very limited amount of the time (pretty much only if the extra time drops you a place, so there has to be 1 car/20 in a specific 1 second window on what is typically a 90s lap for 3s (a slow stop) vs 2s (a fast stop) to matter. Maybe 20% of the time a slow stop happens, it costs a driver.

Strategy matters a lot and good strategy is worth at least a few positions in a race.
by diskzero | 2025-09-01 23:07:10+00:00
I wonder if overall team size has something to do with how the principles are dealt with? Mobile Shopping is huge. Some teams are tiny, experiencing massive growth or winding down. If a team has a super mature code base or market, and the team feels like they are caretakes as opposed to innovators, how does that impact them? How can it really always be Day One?
by Aurornis | 2025-09-01 23:07:18+00:00
> I'm not sure why someone who is spending their limited free time building software to give away for free would want Amazon as a downstream consumer

Are you kidding? This is the dream scenario for many open source projects: Getting adopted by a major company is a claim to fame like none other.

> Do you enjoy spending your nights and weekends dealing with CVE reports, while a high-6-figure BigTech engineer nags you that they need it fixed?

Then don’t? You don’t have to do anything. It’s fine to ignore it you want.

Practically speaking, Amazon engineers aren’t going to sit around and hope the maintainer fixes the thing that unblocks them. If they actually need it, they’ll fix it. They might fork it. They might try to recruit the person.

But nothing obligates you to do anything. This hand-wringing about the idea that someone might find the project useful enough to identify issues and report them is rather ridiculous. Just ignore it if that’s prerogative.
by __loam | 2025-09-01 23:07:36+00:00
OpenAI and Anthropic are practically subsidiaries of Microsoft and Amazon. Neither would exist without billions in cloud compute credits from their corporate benefactors. Competing in Generative AI requires the kind of resources that are only available to extremely large and established companies. I do not think all the wrapper companies count when most of them are either being bought out by the big guys or have products that are immediately outmoded in the span of months. Maybe you can make the argument for AI art companies, but Stability basically disintegrated after wasting $100m dollars and Mid journey is directly competing with Google and Meta which is not where I would want to be (aside from running a ghoulishly evil company trying to kill artistic expression).
by makeitdouble | 2025-09-01 23:09:45+00:00
There's no point in discussing a meme, but carcinisation doesn't occur in that wide of a range, and of course the reverse phenomenon (decarcinisation) is also observed.

It's a fun image, but just as Facebook isn't becoming Apple, and Amazon won't become OpenAI, evolution phenomenons are more complex than "everything becomes X"