skysight-inc/HackerNews huggingface dataset:
Somehow, it feels like this is by design. To further numb the brains of anyone who could question, let alone challenge, the gov / ruling elites.
> After that, a top goal for us is to unify o-series models and GPT-series models.

In summary:

* GPT-4.5 will be the last non-chain of thought model to be released.

* GPT-5 is (GPT-4.5 + o3) with multi-modal and reasoning.

* Plus subscribers will be able to run GPT-5 at a higher level of intelligence.

* Pro subscribers will be able to run GPT-5 at an even higher level of intelligence. These models will incorporate voice, canvas, search, deep research, and more.

If you are wondering when this will be released to (dis)replace a lot of economically viable jobs? This year. [0].

The big question should not be about when this will be released. It should be why is he announcing this *now* and what is Sam still not telling you.

You better start preparing for 2030 if I were you.

[0] https://x.com/sama/status/1889757267425370415
It's rare I come across something so myopic, unimaginative and laughable. This will age as well as the Paul Krugman prediction:"the Internet's impact on the economy has been no greater than the fax machine's".
We have not even begun to explore the Uber/Airbnb applications of a 6G+ world. And the VR bandwidth ceiling lazy thought is an extension of the limited mindset of this author.
now i might understand what happened to them.
Computing Is the New Corn Syrup
https://archive.ph/nXemX
C-17: $252,000

C-130E: $852,000

https://economictimes.com/nri/latest-updates/up-to-852000-ho...
This merger deal was a strange one. Honda CEO on stage wasn't sure why he was there, unnamed Nissan exec reportedly remarked "good riddance" to the deal falling through, ex-Nissan Foxconn exec expressing interest and Foxconn CEO eventually declining through the press, and so on.

Whoever was pushing it for whatever reason, basically none of involved parties were interested in it, other than that everyone agreed that hypothetically combining Nissan and Honda would create some accumulated capitals.
In downtown Columbus Ohio the only internet provider (Spectrum) maxes out at maybe 5 mbps up (down 50-100x that), it's not just a rural issue, non-competitive ISPs even in urban cities want you to pay for business accounts to get any kind of upload whatsoever
I’ve actually used this extensively for months now since it’s free and works with PDFs I’ve downloaded off the internet. I was so frustrated with ridiculously overpriced TTS (must pay for annual sub! no monthly) when I found this gem.

My main use case is comp. sci and philosophy books. I download PDFs of varying quality off the internet onto my phone and import them into this app. The text translation is always solid but for the former, graphs and diagrams really break it. It’s a tricky problem because these often are important to the text so skipping them (for the app) isn’t ideal but the current solution just makes the reader goof up. I think it would be cool if the model could identify these objects and maybe generate some text describing the object and TTSing that. Minor gripe and for the latter, it’s perfect.

I’ve probably used this app for 70 reading hours at 1.5x speed across long road trips and walking my dog at the park. I’ve gotten through numerous books I wouldn’t have and for free. I’m happy!

(annoying bug I find often: it seems certain characters or tokens just break it and it freezes. I need to manually skip ahead hoping it doesn’t get stuck again. Really detracts from the hands free nature and is difficult to manage while driving)
I doubt the person writing the question had the more nuanced version in mind. When the column was published, nearly everyone who wrote to Marilyn vos Savant had been in agreement that the host always opened a door with a goat as the problem was specified. This idea that the host did not was made after Marilyn vos Savant was shown to be correct and after she had already confirmed that it was part of the consensus.
My wife and I have a couple Apple TVs in our house which are primarily used for watching YouTube and Law and Order reruns. We watch mostly "normal" content on YouTube, but I'll queue up shorts as well if they look interesting. I typically watch educational content on YouTube so I like the bite-sized snippets that you get with shorts.

But I think one of the biggest factors for shorts on YouTube TV is that they're not separated out into different rows or areas like they are on mobile/desktop. On the tv, they're mixed in with the rest of your regular subscription videos.
If the housing isn't desirable for housing, why would it go up as an investment?
Yeah, I've also achieved a degree of Zen about things like these.

Like, I'm current on-boarding some guys onto linux workstations and linux administration, and honestly, there are many ways of holding the duck and in a lot of situations, most ways of holding the duck work equally well. I can show you two or three ways I found to work well to hold the duck, but it's still up to you to find your perfect duck rotation.

Like, I use i3 as a tiling window manager. But if I'm honest, I don't really use the tiling that much. The most tiling I tend to use is having 2-3 shells eithes stacked as dishes or one tall and a stack of dishes next to each other. Otherwise it's usually a 50/50 split of screenspace of just a full screen window. I just can't focus on more at the same time anyway. The latter use case can be had by using gnome or KDE with about the same amount of key strokes. Tmux offers it equally well, as Kitty windows do.

Personally I enjoy i3 on my workstation because a few key bindings and workflows have found their way into my lizard brain, but the newer guys relying on other window managers aren't much slower for most use cases tbh.

Similar, I've used multiplexers, terminals with such features. Currently I'm experimenting with rofi and single-purpose named kitty-terminals to easily find or launch shell environments I need. But honestly, everything works with little difference in efficiency imo.

It's more about finding something that clicks for you than doing the dogmatically correct thing. That's the wonderful thing about a linux desktop, and also it's biggest curse.
Bolt and Expo: Get your idea to the app store without writing code
Tired of Losing (2024)
Synthetic-1: Scaling Distributed Synthetic Data Generation for VerifiedReasoning
Original title, "SYNTHETIC-1: Scaling Distributed Synthetic Data Generation for Verified Reasoning," edited to fit HN's "title" length limit.

From their blog post dated Feb. 6:

"Today, we are excited to introduce SYNTHETIC-1, a collaborative effort to create the largest open-source dataset of verified reasoning traces for math, coding and science, leveraging DeepSeek-R1. Our dataset consists of 1.4 million high-quality tasks and verifiers, designed to advance reasoning model training.

We invite everyone to contribute compute and join us in our effort to scale distributed reinforcement learning to o3-scale and beyond.

In our recent post, Decentralized Training in the Inference-Time-Compute Paradigm, we explored how this paradigm shift will fundamentally reshape compute infrastructure, making globally distributed training the way forward.

The DeepSeek-R1 paper highlights the importance of generating cold-start synthetic data for RL. As our first step toward state-of-the-art reasoning models, SYNTHETIC-1 generates verified reasoning traces across math, coding, and science using DeepSeek-R1."
[Im]possible is a technical term. It's demonstrably possible, that's not a question. The problem is in incentives, which are naturally counter-aligned to this.

It seems that you're thinking on "a company is just a guy" level. But that is never true (except for nano companies with no structure). When there's no incentives but lots of risks and responsibilities, things just don't happen until there's a grave necessity -or- some envisioning directive that streamlines it.
It's used in Flight Simulator, but Microsoft have their own fork with changes not contributed upstream.
And a horse can do quite a bit more in peak as well— 1 HP is definitely meant to be the long term continuous output of a typical horse under load, especially a consistent load such as turning a millstone.
Well, there are still many overly complex spreadsheets in the SMB sector waiting to be turned into products.
What we really need is pervasive low data rate backup systems for text messaging and low fidelity emergency calls that don't kill handset batteries. If this means "Starlink" and/or lower frequency bands (<400 MHz): the more options, the merrier for safety. Perhaps there may come a time where no one needs an EPIRB/ELT because that functionality is totally subsumed by smartphones offering equal or superior performance.
Title 31 says the Secretary of the Treasure can. The Secretary cannot permanently cancel the penny, but they can stop making them.
Yes, many residential broadband ISPs top out at 1/10th that.
I don't need music player on my pc, because mpv can be used for playing music. It also supports zip archives, so albums from bandcamp can be played without unpacking
Shipping secure secrets is also a somewhat solved problem: TPMs ship with EKs that, AFAIK, nobody has managed to extract (yet?): https://docs.trustauthority.intel.com/main/articles/tpm-ak-p...
The name of the airport is probably the most pertinent fact for potential passengers, and that takes a while to get to.
Is there a peer reviewed version of this or does Hacker News exclusively post non peer reviewed works?
After reading more, it seems the novelty is in the two specific schemes that use these techniques to store data with high probability into tables of extremely high load factors with bounded pointer sizes, which are more complex than simple array indices due to having to resolve which fallback table is storing the key-value pair.

One scheme proves tiny pointer size bounds for fixed length tiny pointers. The other proves bounds for variable length pointers.
"doesn't affect other things" is in no way ever whatsoever a reason to do anything in any way related to thinking, believing, or hoping that it might, would, or should affect nothing, especially around compiler optimizations (fun sentence to write, and one I violate myself for some things, but trivially true regardless). I'd be curious to hear about actual issues though.

The ppc64 case looks like llvm very intentionally not using the existing square root instruction, instead emitting a sequence of manual operations that supposedly run faster. And it's entirely in its right to do so, and it should affect no correct code (not that it's even really possible to write "correct code" under -ffast-math).
> It acknowledges that these behaviours are unsafe when its own outputs are fed back to it.

This is the typical "Ah yes you are right, I made a mistake. Let's correct the thing...."-type hallucination or whatever you want to call it. Calling it power-seeking or deceptive behaviour I find overblown.
Depends what you are optimizing, and whether your design uses application layer implicit load-balancing. Thus, avoiding constraints within the design patterns before they hit the routers can often reduce traditional design cost by 37 times or more.

YMMV, depends if your data stream states are truly separable. =3
Notably, not Musk's, and very different promised functionality.
>crossed the line between advocating for digital rights and political activism

The lawsuit was filed by individual federal employees claiming their private health records, social security data, and other private information was revealed to people without a legal basis to possess the employees private data, in direct violation of the Privacy Act of 1974, 5 U.S.C. § 552a.

Any fair judgement of EFF would await the findings and ultimate outcome of the lawsuit.
My house is not a sovereign state, and a sovereign state is not a house. I reject this argument by analogy as a logical fallacy (and more to the point, overly reductive, since my household's action space is drastically different from and mostly smaller than a sovereign state's action space).

A better analogy would be city to city moves, and as far as I am aware the aggregate percent of immigration inflow falls below far below domestic inflow for areas the most growth. Texas adds about a new large city (~130k) per year with net domestic migration. So clearly there are enough regional resources to support movement of individuals.

Wherein is the friction? Utilization of the social safety net? Given that undocumented immigrants are cut off from almost all social services outside very basic ones like access to public schools, for which their rent and sales tax payments are likely to cover (unless in an oddball state like Ohio or Pennsylvania). They aren't getting healthcare except by the extreme standards that we force individuals to go to the ED for basic medical care if they are indigent.
Donald’s book The High Cost of Free Parking is about this! Really great read, highly recommended.

Rest in peace.
Patents last 20 years:

https://en.wikipedia.org/wiki/Term_of_patent

The SNES came out in 1990:

https://en.wikipedia.org/wiki/Super_Nintendo_Entertainment_S...

Every patent on the original SNES should have expired by 2010.
Ask HN: Should an AI marriage be used to build your online dating profile?
The idea is to use a simulated marriage with an AI to reveal what you would truly be like in a real marriage, enabling the online dating site to better match you with a potential partner.
> use billions of dollars of electricity and GPUs

For now. Qualitative improvements in efficiency are likely to change what is required.
Interesting challenge! Is the motivation to discover effective prompt injection techniques?
Presumably the point is that the user (or bot) wants to access the content, a connection would have to complete the load successfully to do what they came for. if they just drop it instantly then that's a bot turned away.
> if that means you will be uncompetitive in the new emerging world. (…) There is a difference between being careful and being fearful.

I’m so sick of that word. “You need to be competitive”, “you need to innovate”. Bullshit. You want to talk about fear? “Competitiveness” and “innovation” are the words the unscrupulous people at the top use to instil fear on everyone else and run rampant. They’re not being competitive or innovative, they’re sucking you dry of as much value as they can. We all need to take a breath. Stop and think for a moment. You can literally eat food which grows from the ground and make a shelter with a handful of planks and nails. Humanity survived and thrived before all this unfettered consumption, we don’t need to kill ourselves for more.

https://www.newyorker.com/cartoon/a16995
Not really. In the abstract that's just some number. It's the same issue with money. The numbers involved don't mean anything. 1, 2, 3, 4, large number. Most measurements that actually tend to mean anything tend to be human scaled. https://en.wikipedia.org/wiki/Human_scale

In the case of the distance measurements used, those are numbers beyond distances most humans will ever personally travel. In the modern era, many likely travel that distance in cars fairly regularly, yet then there's an intermediary. The human themselves are not traveling 100+ miles. Even in those cases, it's often changed into another form, such as "a couple hours drive." Very few actually walk 100+ miles and have any concept of that type of distance from their own human perspective. Used to be a part of Boy Scouts, and even in an organization focused on hiking, the amount that ever actually went on a 50 mile hike was rather small.

They also use abstract units without much actual connection to humans themselves. What's a mile? How about a km? A unit decided by committee based on the distance across the Earth.

"In August 1793, the French National Convention decreed the metre as the sole length measurement system in the French Republic and it was based on 1/10 millionth of the distance from the orbital poles (either North or South) to the Equator, this being a truly internationally based unit."

It's a 1000 of those, whatever that means. Truly international.

When it gets smaller and closer to your actual life, people can actually visualize those ideas. It's a concrete object, you may have actual experience with, and a sensation of how far that is, and amount "noun" it takes to interact with. (time, effort, ect...) It's rare that anybody ever even looks at anything labeled "this distance is a mile", "this distance is a km", or something similar. The most frequent would be road markers. How often do most people walk down the highway and try to "human scale" remember how far a mile is? "That's like the distance from downtown to that highway onramp" or something similar.

For a lot of humanity, there's suspicion that most likely cannot even tell me how far it is across their town. A distance that's interacted with semi-regularly. It might be the numbers you quote. Perhaps it's 8.8 miles. However, most can probably not just state that number, and would likely use an intermediary form like "a couple hours walk", or "a 15 minute drive by car."
No it wouldn’t be just as easy.

Source: this is a description of my own workflow and preferences, so I’m the ultimate authority on the subject, haha.
And have other EV makers seen more success or have they all had declines?
To handle low entropy text, the “adding a smaller constant to the logits” approach avoids having much chance of changing the parts that need to be exactly a particular thing,

Though in this case it needs longer texts to have high significance (and when the entropy is low, it needs to be especially long).

But for most text (with typical amounts of entropy per token) apparently it doesn’t need to be that long? Like 25 words I think I heard?
Don't you mean background checks? A company sees the value in talking to 4 people of the candidates choice for HIPAA is just sad.
The first number is the percentage, with the second being the size of the Standard Deviation from that.
Ban free street parking. Then the developer of the apartment building has to build parking. Or carfree people self-select themselves into that building.
Can we harvest that energy?
It's "necessary" because the TSA is largely just a jobs program, albeit one that is palatable to the median American.
Fully agree. And even if there was a legitimate study, it wouldn't be dispositive. I had horrible anxiety and depression for most of my adult life. I believed I would never be a happy person, and that I would always be tormented by my mental illness.

I finally found treatment that worked for me in the pandemic (Ketamine assisted psychotherapy), and it was life changing. It has been 2.5 years since I stopped treatment and I'm 10x happier. I wake up every day happy and curious about what the day will bring.
"Tesla’s sales plummet across Europe"

Financial Times January 2025

https://www.ft.com/content/ea2329e4-b4bc-4e2d-be34-e9a8ea311...
So how are hobbyists handling auth in their hobby projects? I am sure they cant commit to using OIDC if its that difficult to implement? This is something I try to understand since almost 2 years... Are they just using jwts?
>Regulators may also have to consider whether fewer operators may be better for a country, with perhaps only a single underlying fixed and mobile network in many places—just as utilities for electricity, water, gas, and the like are often structured around single (or a limited set of) operators.

There are no words to describe how stupid this is.
Idk what the issue is here? It's a gov org with access to sensitive info. Sure, if they're selling the data or publishing that's an issue but as long as it's kept internal and used to... reduce waste... what's the real issue?

EFF was a cool org. Sad to see them shilling to waste gov money.
My “static site generator” is m4 and make.

People over complicate things.
My understanding is that it's been moved to a convenience macro and is no longer a syntax-level thing. The original videos where Blow talked about SOA at the language level is very old now, and the language has gone through a lot of changes.
Thanks! Yes, that is one motivation. But we also want to learn about how AIs interact with real money and how they make decisions on when to give money to people. Upcoming contests will involve tasks such debating with people, convincing the AI with emotional arguments, etc.
AWS app studio looks very similar to this.
Not just Europe: CA sales are down double digits recently as well: https://www.newsweek.com/tesla-california-sales-decline-elec...
People parking cars on the street are simply freeloading off the taxes of people who don't do that. They should pay for what they are using, so they can make better choices.
> A majority of the electorate wants government provided healthcare

No. (Come on, read your own source.)

A majority say "it is the responsibility of the federal government to make sure all Americans have healthcare coverage." There is a 10-point preference for a "system based on private insurance" versus a "government-run system."

79% of Democrats want a government-run system. But only 46% of independents and 13% of Republicans. Which explains the gridlock. If one side only proposes government-provided healthcare as its solution, it will waste a bunch of energy on it and then be predictably shot down.
Ok, thanks for letting me know :)
Well, there’s a lot of people in this thread not content with the status quo.

The whole urbanism movement of the past decade is evidence of that I think.

Moreover, even if a community is happy with free parking and expensive housing within that community, it doesn’t mean that people outside that community are happy with it.

I think it’s a bit more complicated than people are happy with the status quo.
> My personal theory is that the fallout from his divorce ...

Yes, I've noticed that people having nasty public fights with family members can lead to extremely negative effects on decision making.
I watched a little bit of the filesystems in rust talk and while it was a fairly straightforward talk, I was shocked at the q&a session. Emotionally hyperbolic ranting, jumping to conclusions, and wild accusations. I had no idea the linux community was so childish and reactionary towards rust.
This and several other abuse cases forced my previous work to use code pointers to count 'characters' for user's nickname / status messages. No one wanted to download 9MB simply browsing other users.
So many profound lines. The beauty in the tragedy.
He was in charge.
Exceptions to rules exist, especially if you’re trying to think of a really extreme cases that specifically invalidate it.

However, that really doesn’t invalidate the rule.
Show HN: Cadavre Exquis – Collaborative Poetry
Yes and no, it's modifying the NAT table and so traffic will not be subjected to inbound rules where you would normally add an "allow HTTPS"-style rule: https://docs.docker.com/engine/network/packet-filtering-fire...
But that still only happens over one set of power cables, from the PDB. The post you replied to described using a separate PSU with separate component power cables to power specific components. Current sharing in server PSUs is handled by every PSU equally powering all of the components.

Edit: For example, in a 3+1 redundant setting, 3 PSUs would be active and contributing toward 1/3 of the total load current each; 1 PSU would be in cold standby, ready to take over if 1 of the others fails or is taken offline.
Shameful waste of funds. And I'm sure they'll still ride these tax-payer ebikes at FULL SPEED on the sidewalk recklessly endangering people walking. Many of the delivery drivers barely speak english and don't understand why their actions are dangerous. I'm liberal but very tired of this...
Pretty sure that latency and desktop improvement projects upped the timer for smoother mouse and windows movements also. Nice to see that it also improves application improvement of AI and encoders too.
Around me the public comment is often from business owners who want to drive to work and park for free.