skysight-inc/HackerNews huggingface dataset:
That's fair, I generally apply the same rule!

Wondering what your thoughts are on presidential immunity, gun control, and abortion decisions though. Corporate personhood? Civil asset forfeiture?
SpiceDB – The AuthZ Must Flow
People come from mobile contact apps, where it's normal to call contacts "Mother of <kids classmate>", "Sara Mobile New 2025", or "Hot Wife".
Now "unified messaging" tries to blur the lines between technologies and I completely understand that people expect that only the necessary information (the email address) is leaving their devices.
So maybe it's time to change the default behavior of email clients?
>Arkansas, Florida...

All red states.

>So presumably, it will continue.

You might be missing the lede here. It's not about the power, but who wields it. Twitter was an enemy, until it became X. TikTok was an enemy, until it showed fealty.

The idea that such a billionaire-friendly administration has an issue with Big Tech or any other monopoly is a ruse. When these entities are brought to heel and their power duly co-opted, they'll be treated with favor. In fact, these lawsuits are but one more tactic to ensure that outcome.
For those of us who haven’t paid the WSJ, what’s Delaware done?
The creator of relaysbc posts here every so often.

The bare PCB is here https://www.tindie.com/products/jhallen/single-board-relay-c...

I have not completed mine yet, what was the hardest part during assembly or the gotcha you had to debug?
It's about having transparency. If the public can't monitor what 911 centers and police are doing, how can the public trust them?
This was over a decade ago. We were selling into the Pro Tools market, alongside Waves, UA and other tools more likely to be sold into studios and didn't see a lot of objections to the iLok.

I still remember walking into one of the highest profile million dollar mixing stages in LA, opening their Pro Tools plug-in menu and almost every single piece of software was pirated. Unfortunately even people who could pay for software (and had a strongly developed sense of IP rights for their own work product) seemed to have no issues ripping us off.
The airports I fly at (student rotary pilot) have all had the same traffic for rotary/fixed wing, but the FAA talks about [flying _opposite_ planes at a different altitude](https://www.faa.gov/air_traffic/publications/atpubs/aim_html...) as a potential practice.

My understanding of why (and also why we're cleared _direct_ a lot of times) is that we move a lot slower than planes, and that ends up being dangerous in its own right in a pattern shared with planes!
Would you have specific recommendations of such vendors?
This is true now I come to compare them. The font rendering in ghostty is crisper. I don't really care about the resize issue, but I could see it.

Kitty has always felt super light to me compared to Mac alternatives.
Agree. Thanks! :-)
There is a parallel "underground" AI research world of stuff like this, with it's hub on "civit.ai" instead of huggingface.

Often the innovations from that world are ahead of mainstream AI research by years. You should see what coomers did for LLM sampling in order to get over issues with "slop" responses just for their own pervy interests. This is a full several years before the mainstream crowd ever cared.
Ask HN: AI PhD workload and applications of research in real-world business?
Dear all,

I am currently a Master student in Math interested in discrete math and theoretical computer science, and I have submitted PhD applications in these fields as well. However, recently as we have seen advances of reasoning capacity of foundational models, I'm also interested in pursuing *ML/LLM reasoning and mechanistic interpretability*, with goals such as applying reasoning models to formalised math proofs (e.g., Lean) and understanding the theoretical foundations of neural networks and/or architectures, such as the transformer.

If I really pursue a PhD in these directions, I may be torn between academic jobs and industry jobs, so I was wondering if you could help me with some questions:

1. I have learned here and elsewhere that AI research in academic institutions is really cutting-throat, or that PhD students would have to work hard (I'm not opposed to working hard, but to working too hard). Or would you say that only engineering-focused research teams would be more like this, and the theory ones are more chill, relatively?

2. Other than academic research, if possible, I'm also interested in pursuing building business based on ML/DL/LLM. From your experience and/or discussions with other people, do you think a PhD is more like something nice to have or a must-have in these scenarios? Or would you say that it depends on the nature of the business/product? For instance, there's a weather forecast company that uses atmospheric foundational models, which I believe would require knowledge from both CS and atmospheric science.

Many thanks!
I think it's the lack of trust in employees that companies want to increase utilization as much as possible. It's like if employees are not working on assigned work, they would not do things that benefit the company in any way.
Thanks for the intel man. I might have not known without your help. And I'm sure you wouldn't insincerely leap on an overly literal interpretation just to leave a silly comment.

But yeah, you cracked a tough one there. Two separate things. Who'd have thunk it!
Let's see your google scholar or huggingface profile. You better square up if you're going to talk shit.

It's telling that the release from OpenAI today warns about exactly this threat in their lengthy security section: https://cdn.openai.com/o3-mini-system-card.pdf
DeepSeek is only thing because they used OpenAI for refinement.
> Services for businesses, such as ChatGPT Team, ChatGPT Enterprise, and our API Platform
> By default, we do not train on any inputs or outputs from our products for business users, including ChatGPT Team, ChatGPT Enterprise, and the API.

So on API they don't train by default, for other paid subscription they mention you can opt-out
Oh, no. The machines have come to take my job.
The model looks quite a bit better in the benchmarks so unless they overfit the model on them it would probably perform better than deepseek.
Agree in theory that we should try to rewrite our foundational laws rather than twist or ignore them.

Disagree with your specific proposals though. I want more accountability, not less. Your proposals also rely on Congress stepping up, which it hasn't done in some time
So am I to understand that they used their internal tooling scaffold on the o3(tools) results only? Because if so, I really don't like that.

While it's nonetheless impressive that they scored 61% on SWE-bench with o3-mini combined with their tool scaffolding, comparing Agentless performance with other models seems less impressive, 40% vs 35% when compared to o1-mini if you look at the graph on page 28 of their system card pdf (https://cdn.openai.com/o3-mini-system-card.pdf).

It just feels like data manipulation to suggest that o3-mini is much more performant than past models. A fairer picture would still paint a performance improvement, but it look less exciting and more incremental.

Of course the real improvement is cost, but still, it kind of rubs me the wrong way.
These people see themselves as aristocrats. You don't expect them to travel with the commoners? They might have to see or even touch someone below them.
https://archive.is/buIH4
Capex was the theoretical moat, same as TSMC and similar businesses. DeepSeek poked a hole in this theory. OpenAI will need to deliver massive improvements to justify a 1 billion dollar training cost relative to 5 million dollars.
You're absolutely right. As we all know, the perfect must be the enemy of the good, and so we must shun and ban anything that might be helpful until we spontaneously reach a utopian society where there are no problems at all.
Yup, it distorts what a politician will say and what bills they'll sponsor if they're elected. The most dangerous thing the $12 billion in almond money will do is buy a politician to allow them to skirt worker protections and environmental protections to continue maximizing almond money. That puts the interests of the politician not with the general population who wants clean water and safe non-abusive jobs but rather the few almond farm owners who want to maximize almond production while minimizing worker costs (and perhaps locking out new almond farmers from the industry).

This sort of kleptocracy is the problem with American politics. Bribery laws are so laughably bad that you have to literally stuff gold bars in your suit pockets before you run the risk of being prosecuted. You have to be a grade A moron to get caught.
I think many of the people being flown by helicopters would go apoplectic if they had to rub shoulders with the hoi polloi in public transit.
Mathematically the boundaries of a record can be defined by production rules

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

which could be written as SPARQL queries, I've used these to cut records out of a big graph, I haven't thought seriously if these could be built into a large scale general purpose systems.

The most fun I ever had with Jena was when I used the rules engine for the control plane of a batch processing system which
used stream processing primitives [1]

https://jena.apache.org/documentation/inference/

The Jena folks said my use was completely unsupported, I had looked at the source code and got to understand how the rules engine worked and I knew damn well there was nothing wrong with what I was doing.

I've thought a lot about why production rules have had so little impact on the industry, I mean people really hate drools

https://www.drools.org/

That kind of system is particularly strong at handling deep asynchrony, like when a business process at a bank might involve some steps where you might have to wait for a loan office to approve a loan. It's disappointing to me that nobody has tried to use them (so far as I can tell) to deal with the asynchronous comms problems in Javascript though I've yet to get a clear picture in my mind about how to get started on that. (Funny I am getting an idea now so I'm putting a ticket on my personal Kanban board)

[1] I worked later at a place that had a similar engine written in very awkward Scala that allegedly used Either and Optional for error handling but actually dropped errors most of the time; I knew what algebra my engine supported, they argued whether or not something like that had an algebra; my engine got the same answers every time because it tore down the system properly at the end, their engine gave different answers every time but they didn't seem to care
I prefer Anthropic's models but ChatGPT (the web interface) is far superior to Claude IMHO. Web search, long-term memory, and chat history sharing are hard to give up.
Cron may have been working, but it had numerous deficiencies that could not be fixed. For example, there's no mechanism for preventing long-running jobs from piling up, you're on your own for logging and figuring out handling for failed jobs, and there's a litany of papercuts from differences in implementation across distros. Systemd timers solve all of those issues, while also granting access to all the other service-inherited benefits like cgroup isolation and resource control. In terms of features, reliability, and simplicity, cron is a poor substitute, and systemd timers really has no rival.
A lot of SV companies keep moving or talking about moving to Texas but is Texas really that billionaire friendly? Reuters says it is "perceived by some.." but is it?
Who else might be a good choice? Deepseek is down. Who has the cheapest gpt3.5 level or above api
Global variables are not the problem
>if Apple kept Google as the default search engine because it’s the best on the market and Apple doesn’t want to provide an inferior option to its users

Apple did exactly this in the past with Apple Maps replacing Google Maps, so I don't see why this would bother them much.
Big Tuta fan here -- tuta.com
If the author is reading this, might want to consider the possibility of an onset of chronic "silent migraines" which can have quite the nauseating effect but without the headache. I suffer from them and they are debilitating. While reading your article, I kept thinking it would eventually get to the part where you discovered you are having migraines (which also tend to run in cycles of a couple weeks to a month for many people, myself included), but no mention of this anywhere, so thought I'd point it out.
They made a discount; it's very impressive; they probably found a very efficient way, so it's discounted. I guess there's no need to build a very large nuclear power plant or a $9 trillion chip factory to run a single large language model. Efficiency has skyrocketed, or thanks to competition, OpenAI's all problems were solved.
> They have no desire to unseat BigTech, they want to be acquired by them.

Acquisitions are one way to make money off big tech. Breaking them up and buying parts of them for cents on the dollar are another, especially if you can issue barely veiled threats of government-backed retaliation if they refuse to come to the table with your allies/fronts. With a "loosened regulations" regime, IPOs may be even more profitable than acquisitions.
I'm holding out hope for a way to set per-tab (session) theme colors. In wezterm I have a fish alias called "prodmode" that sets my theme to a red theme (and sets some other environment things up). It's incredibly helpful to have.
Or further the hype and name it o9.
> Testers preferred o3-mini's responses to o1-mini 56% of the time

I hope by this they don't mean me, when I'm asked 'which of these two responses do you prefer'.

They're both 2,000 words, and I asked a question because I have something to do. I'm not reading them both; I'm usually just selecting the one that answered first.

That prompt is pointless. Perhaps as evidenced by the essentially 50% response rate: it's a coin-flip.
Google Installed A.I. To My Workspace. Getting Rid of It Was Creepy
The Most Compact Calendar?
Hector Martin on new Apple CPU speculative attack
>> Plaintiffs proposed a remedial term unique to Apple that would forbid any “contract between Google and Apple in which there would be anything exchanged of value.”

> Wow

That seems a little broad. Wouldn't it forbid Google from buying Macbooks for employees, for instance?
Do you really think the government funding this would lead to better outcomes? We see the censorship that China is doing with DeepSeek and we just saw the dictator in chief freezing all spending unilaterally even though that wasn’t in his power
They should have just created something above system and left as it was.
A guy I work with had some Dodge compact car and he said the touchscreen wouldn't even function (as in no video) until the car warmed up.
Sam Altman's Stargate is science fiction
Thank you! So good!
They can still do models o3o, oo3 and 3oo. Mini-o3o-high, not to be confused with mini-O3o-high (the first o is capital).
> read reporting on the Twitter Files

Really?

I get the impression there is much less freedom of speech on X than there was on Twitter.

I actually do not care myself how people run their platforms, I do not use that one. But from where I sit, and what I see, Musk is very controlling on what is said on his (privatly owned) platform

Good on him. He is taking advantage of the tools available to him
How cool! Thank you for the link!
If Musk had a lot of power, why did Trump invite Sam Altman to speak and spoke positively of him? Musk and Altman hate each other.
"Imagine if calls to the police reporting domestic violence resulted in advertising material from divorce lawyers."

While not nearly as cryptic, Target had to adjust their advertising a few years ago because they were accurately predicting women's pregnancies through their analytics. Women received targeted mailings. In many cases probably not problematic, but there's potential for that data to be horribly misused.
Seems like a bit of an overcorrection. They might want to re-think their criteria for allowing visual separation inside of class B. ATC already has discretion over when visual separation is applicable, and they could raise the visibility threshold for when it's allowed.
I agree Duolingo is not a substitute for more immersive learning or even just taking classes. It's especially not very ideal for the spoken parts of a language since it can't do the best job at judging your pronunciation and you're not going to spend a lot of time in the app having coherent conversations in another language. From my experience so far, it's good at teaching you the basics of a language so you can be just good enough at sounding like an idiot in front of your Brazilian friend.

That said, I have heard some people pairing it with HelloTalk to get that immersion piece. It's an app that lets you talk with others in the language you're trying to learn, and vice versa they too are trying to learn your language
Mike Dukakis regularly took the Boston subway to work as governor.
Wow! Thanks for the link!
It's nice to see Google finally having competition in a space it used to really dominate (though they definitely still are holding their own with all the Gemini naming). I feel like it takes real effort to have product names be this confusing and capricious
I had a VC-Funded Unicorn-in-the-Making and I Fucked it up
This became one of the top 10 posts of all time on the /r/startups thread in 24 hours so I figured it might interest the community here.
I wouldn't have guessed! Thank you so much for that link!
I played with their model, and I want able to make him follow any instructions, it looked like it just reads first message and ignore rest of the conversation. not sure if they is bug with oupenrouter or model, but I was highly disappointed.

from way how it thinks/responds looks like it's one of destinations , likely llama one
I also suspect that many of free/cheap providers also serve llama instead of real R1
No mention of water filters (cartridges) being colonized by bacteria & fungi, which (my understanding) can be a major problem.

To be fair, their CT scanner is the completely wrong instrument for checking for that.
Because the injection is basically the only sustained weight loss mechanism that works on the population level. If a fast works for you knock yourself out. But fasts also come with risks like dehydration and malnourshiment.
Having had two pet rats and observing them gnaw through practically anything that isn't steel - I'm not surprised in the least. They're smart, resourceful, stubborn and persistent. Gotta admire them, honestly.
For people who have debilitating social anxiety, yes, it does.
To be fair to our ancestors, their sewage composition was much simpler than the exotic chemical cocktail we send down the drain nowadays.
> Fixed lifetime suggests ionization rather than optical sensor?

Not at all. The 10 year lifetime is something that was set by people concerned by the lifetime of the electronics. The half life of the isotope in smoke detectors allow them to last well beyond 10 years. (The half life is 432.2 years)
I really think a "OpenAI Me" is what's needed.
Compared to o1 or o1-pro?
Android is not nearly as profitable as you think and how would you make money from Chrome?
Rust also has runtime panics (e.g. indexing outside the bounds of a slice) - how does kernel Rust handle that?
Personally waiting for the ME model. Should be great at jokes and humor.
Literally a Black Mirror episode.
Well these are just anecdotes but "five times the amount of code" is an outlandish claim. I've done direct ports of code written in more expressive languages (Python, Scala, others) to Go, and also created SDKs in multiple languages at the same time, and I've never seen anything close to 5x.

Go is certainly more verbose than the more expressive languages but the code is also usually much more robust and reliable in my experience, due to strong types, error handling, the well tested standard library.

On your example, the for loop verbosity is a bit annoying and I'm happy that go 1.23 got user defined iterators to help with this https://tip.golang.org/doc/go1.23#iterators
I haven't written any ruby for over a decade and a half, when ruby 2.x was still on the horizon. But I do know the source of "eigenclass". It was first jokingly used in an odd instructional programming book / web comic / experimental art piece by "why the lucky stiff" who was briefly prominent in ruby-land then erased himself from the internet. It's funny that it has now become an established term of art for Ruby people.
I understand that, I just think that's extra-constitutional and shields these agencies from accountability
First thing I noticed on API and Chat for it is THIS THING IS FAST. That alone makes it a huge upgrade to o1-pro (not really comparable I know, just saying). Can't imagine how much I'll get done with this type of speed.
> You are entitled to your opinion, but it differs to the official stance from the EU.

the EU taking credit for things for which it was entirely uninvolved? imagine that

> Now let's have a look at the Treaty of Rome (1957)

the Treaty of Rome (1957) was, and still is, an aspiration

the signing of it did not spontaneously unify the laws and regulations of its parties, create a common market, unified defence policy, and create a political union. this took time and is still ongoing

> I assume we can differ in the opinion of how much of that has been achieved and at what time

the Single European Act itself, the instrument which created the EU single market did not enter effect until 1987, so clearly it could not have been the catalyst for the changes to the UK services economy in the 70s

the EU single market still does not encompass most services: professional qualifications are almost entirely controlled by member states, there is no banking union, there is no capital markets union, and it goes on

it does not exist in any functional way whatsoever

you don't have to make my word for it, you can read it in the EU's own reports on the subject, such as the latest here: https://single-market-economy.ec.europa.eu/document/download... (1.1 Barriers in the Single Market)

this is very different to the single market for goods, which is extremely effective and functionally complete

but why debate this, when we have a direct example to refer to? a member state with significant intra-EU service exports leaving the single market

if being part of the EU single market for services was important, you would expect that UK service exports to the EU would decline significantly as a result

so, what happened in reality?

the exact opposite: UK service exports to the EU have increased since brexit

this should confirm to even the most pro-EU person that the single market for services is woeful
Click the 'open sidebar' icon in the top left corner of the screen.
Texas allows SpaceX to illegally disrupt 5 endangered wildlife reserves, ignore rocket launch regulations, and illegally block roads, so perhaps that is some of the appeal. Last year the Texas government decided they can do basically whatever they feel like without any checks to their authority in other regards, so if Greg Abbott is personally telling billionaires he will protect their interests, I honestly believe he would.
It is but it is inoperable below 1000 feet.
You're right, and also it's both. Broader Impacts covers "increasing and including the participation of women, persons with disabilities and underrepresented minorities in STEM" as an option, but BPC covers this more explicitly. I really doubt that the people implementing this policy care that much.
just deleted my Facebook account... (which I've had for nearly 20 years... but this made me unreasonably angry).
Preference is irrelevant. It's demonstrably dangerous. Maybe Gen Alpha will also prefer cars without functioning headlights, but those are thankfully banned.
This delights and concerns me. The best kind of delight, really.

"This paper presents a bold proposal" - don't they mean a modest proposal?