skysight-inc/HackerNews huggingface dataset:
> But so far, officials said, investigations involving the United States and a half-dozen European security services have turned up no indication that commercial ships suspected of dragging anchors across seabed systems did so intentionally or at the direction of Moscow.

> Instead, U.S. and European officials said that the evidence gathered to date — including intercepted communications and other classified intelligence — points to accidents caused by inexperienced crews serving aboard poorly maintained vessels.

So they did do it, we just haven't found concrete evidence of commands being given from putin, yet. Regardless. Whatever the reason is all russian vessels should be blocked from sailing if they are so incompetent and reckless.
So in conclusion, any evaluation of openai models on frontier math is increadibly invalidated.

I would even go so far as to say this invalidates not only FrontierMath but also anything Epoch AI has and will touch.

Any academic misjudgement like this massive conflict and cheating makes you unthrustworthy in a academic context.
Yeah these features are overrated. You can still autocomplete based on existing words in the same file by pressing Ctrl+N, but otherwise just typing it out or copying is totally OK.

I've also experienced autocomplete in NetBeans IDE so slow that it was just faster to type it out.

I quite value syntax highlighting though. Back then I used Turbo Pascal 5.5 on PC XT because it was way faster and less demanding than Turbo Pascal 6.0, but I remember not having a syntax highlighting was quite worse experience. You could get used to do without though.

But it also depends on the language. I've seen some Lua code without syntax highlighting and it was just a soup of words, very unreadable. Whereas something like C with symbols is OK.
I have Bambu, Qidi and Creality printers.
Qidi is a good compromise between open and 'print-quality-out-of-the-box'. My Q1 pro is easy to hack, but I have not done anything to it because it prints pretty much as well as Bambu.
idk, losing access to preinstalled OEM license?
The real motivation behind systemd (2018)
This is exactly the set of rules I happen to have ended up using. I suspect this is one of the few styles that you inevitably arrive at if you search the space for a format that looks okay, is easy to read, doesn't cause things to shift around when functions are renamed, and is relatively simple and self-consistent.
> young people who otherwise do not hold a negative opinion towards Israel suddenly became anti-Israel

You're not seriously blaming TikTok for anti-Israel sentiment?! Couldn't possibly have anything to do with the genocide being carried out by the apartheid state of Israel?
my view of ice cream has changed over time. I grew up close to the biggest factory for ice cream in the UK where it was adjacent to the biggest bacon factory in the UK.

The myth at the time was that the fat from the bacon went next door to the ice cream factory. At the time the label just said 'animal fats' rather than 'dairy' so there was nothing to dispel the myth.

Since then the formulation has changed, now you get the usual palm oil. As far as ultra-processed foods go, is there anything worse than commercial ice cream? You have got animal fats or palm oil to block your arteries, refined sugar to spike your glucose and lots of emulsifiers and other 'e numbers' to disrupt your digestive tract?

Most ice cream is sold in tourist venues where the vendor knows he will never see the customer ever again. There is zero motivation to make it a healthy product or to use quality ingredients when you are not expecting repeat customers.

In other developments, there is a move to have more efficient freezers for ice cream in stores, which means changing the temperature so it does not need to be stored at such a low temperature. The likes of Unilever can spend a fortune on the food science to get the temperature up, to roll out new freezers.
Since you ignored the passage I linked, let me qute it for you and the surrounding context if it helps you learn to read:

(a) Right of action.—A petition for review challenging this Act or any action, finding, or determination under this Act may be filed only in the United States Court of Appeals for the District of Columbia Circuit.

(b) Exclusive jurisdiction.—The United States Court of Appeals for the District of Columbia Circuit shall have exclusive jurisdiction over any challenge to this Act or any action, finding, or determination under this Act.

(c) Statute of limitations.—A challenge may only be brought—

(1) in the case of a challenge to this Act, not later than 165 days after the date of the enactment of this Act; and

(2) in the case of a challenge to any action, finding, or determination under this Act, not later than 90 days after the date of such action, finding, or determination.

^ That is where the 90 day stipulation came from.

===

> Moreover, just in case we've forgotten, *Donald Trump is not currently the president.

Right okay, what does one do with that information? It's common practice for Presidents to collaborate with their successors during the handoff period. Both the Biden and the incoming Trump administrations collaborated on the Gaza ceasefire, as way to help gradually transition power.
Thanks Simon for joining the conversation nd bringing in some context and ultimately confirming you are not an AI ;-)
You’re talking about what vs. how, but imperative vs. pure-functional is both about the how, not the what.

When you’re explaining someone how to sort physical objects, they will think in terms of “okay I’ll do x [a physical mutable state change] and then I’ll have achieved physical state y, and then I’ll do z (etc.)”.
> unlike the US

The US is not a master piece of freedom. Want to market or own foreign shares? Want to travel to Cuba? Have you gone through the crazy US border control process as a foreigner?

Yes, China is absolutely worse. But the US is not a good example.
If I recall correctly, Apple isn’t allowed to run iCloud services in China, they are run and controlled by a local company
Doom in which way? Russia is not going anywhere, population is in complete acceptance of current state (despite everybody complaining, but thats nothing new). Chinese seem the same, don't take some isolated protests from time to time in 1.5 billion population as sign of things breaking apart. They will be probably fine, whether we like it or not.
What people hate is that every such regime that falls is immediately picked clean by western vultures and remainders of old power structures in new coats. If you wanted people to think positively of liberal democracy you'd have the CIA going medieval on all the crooks behind the scenes, not apparently precisely the opposite.

If you liberate DPRK and the South Koreans march in, "legitimately" buy up all the land and property and "fairly" put all the poor inhabitants into functionally perpetual indentured servitude there will eventually be some resentment.
That is covered by "pretty much anything." That doesn't mean absolutely everything.
The UK has no shortage of good banks. Santander can fuck off for being worse than their competition.
Paredit has lots of great ways to do that sort of thing, though, while keeping things balanced. In emacs with paredit, providing a prefix argument to open paren lets you surround n sexps in the new parens. There's also slurp and barf to move sexps in and out of parens.

Editing for lisp mirrors the language as a whole in that there's a learning curve, but once you've climbed it, it's a joy to work with. Because the syntax is so uniform, all you need is a handful of extensions/commands for full blown structural editing.

I get by splendidly in emacs with nothing but paredit and convenient keybindings(not a huge fan of paredit defaults).
So the debate of the flatness of earth is also not settled based on your measurements of internet sentiment?
I moved to theoldreader.com when google reader closed.
Bannon: Billionaire CEOs have surrendered to Trump
If you don't care about having the bits for texture and only care about the taste you could infuse the cream.
Heat the cream (stop before boiling of course), add the bits, let it rest for a while and then sieve it.
I will add some time but it should work.

I'm also not a fan of ice cream with solid stuff. If you can't lick it pleasurably, it's not really ice cream in my book.
I can certainly think of examples where reading code is harder than writing it, but given that much of my professional role has been dissecting the horrible code written by other people in order to figure out not only what it does, but also what it was supposed to do, I simply disagree. Reading code is just more boring than writing it.
IMHO the main problem with GH Actions is that the runners are so slow. Feels like running your build on a frigging C64 sometimes ;)
I think they'll push for something even worse: all computing to slowly become remote, turning local machines into dumb terminals as in the mainframe era, like the last 60 years of IT development never happened. Cloud, SaaS and vGPU are examples of this tendency.

Dumb terminals will be much cheaper: less resources, less (virtually no) storage, therefore many people will take this road to save money (ChromeOS anyone?), although in many cases they'll be forced to pay a lot more with time.
Japan has the famous "love hotels". If the bunkers fit two...
I beat the chaos in my plans and thoughts
Hello HN,

We’ve noticed that most planning apps tend to look alike, but many of them create pressure on users. That’s why our concept is a safe space where everyone can find room for their tasks, thoughts, and habits—free from judgment or coercion. Instead, we offer support, understanding, and freedom.

Technical Highlights:

• Built with Swift, SwiftUI

I’m hoping for your support and feedback — download Prostir from the App Store and let me know what you think!

App Store: https://apps.apple.com/us/app/daily-planner-prostir/id6535696029

Thank you for your time and thoughts!
> "The rich" are thought to have acquired their wealth doing dubious things, mostly by "exploiting the poor".

To be fair, that's probably true in the vast majority of cases.
The main reason to use it is not for reading it is to work with version control which is all line orientated.

The reading is not that bad as the indentation tells you where the brackets are and you don't really notice them.
I want to piggyback to compare TikTok and YouTube. It is so much easier to post a quick fifteen second clip on TikTok on their mobile app. Compare to the same on YouTube, I feel a lot more friction. I don't know if it is justified but maybe I haven't used TikTok enough to be afraid there. For example, I learned early on that a video of a party with music playing in the background is a bad idea™ on YouTube.
Does the printer also refuse to print when using toners not part of the EcoPro subscription, though? Or is this just another case of people expecting their subscription toners/cartridges to last beyond their payment? I can't blame them, the marketing is sneaky about it, I just see it often on threads about HP.

The post did mention the other toners that came with the printer also locked, but I think I remember reading elsewhere that those printers are cheaper precisely because they come with EcoPro-only toners in the box.
Show HN: I built an AI video filter to watch R-rated shows with my family
I wanted to watch Peep Show (really funny British comedy series ever, free to watch on youtube, season 1 here: https://www.youtube.com/watch?v=wXX4XJzsqQ8&list=PLAbD_h_-yg...) with my family, and lots of other shows/movies that are just too explicit for their taste, both in terms of language as well as visual elements (violence, sex, etc). Couldn’t find a clean version or any good software that could clean up the content for me, so I built it for personal use, and now have thrown it up on ClipFilter.com in case anyone else would find it useful.

How it works:
Two options
- Target rating: choose the rating level you want: G, PG, PG-13, R — each one has different presets for what kind of language and visual elements to filter out
- Custom: design your settings from scratch for each of these elements: violence,

Right now only one option to remove visually inappropriate elements:
1. Skip

But realized some scenes that are critical for plot were rendered incomprehensible with all the skipping, so also working on adding:
2. Blur

Underlying technology, simply put
- for language, speech is converted to text; when a word in the blocklist is found it identifies the timestamps at beginning and end of word and mutes audio during
- for visual elements, really poor experience with a content moderation apis, especially OpenAI's free endpoint.Instead, frames are fed to vision LLM along with requirements for what is inappropriate and what is not based on user input; frames that are found noncompliant are flagged and either skipped.

Because I am using OpenAI APIs I can’t make it totally free but all signups get 5 free minutes of content filtering on signup, and there's no verification on signup yet so if you're enjoying and run out of credits feel free to make a new signup.

Always looking for feedback on both the functionality/output quality as well as pricing.

Don’t expect there to be a ton of demand for this use case anyway but was a fun project and might be some similar use cases out there so eager to hear any and all thoughts!
You seem to be obsessed with finding one side to blame and then blaming it all on that side. And spend a lot of time point out the crimes of one side while not mentioning the reverse.

Sorry to disappoint, but I don't, both sides can be a morally wrong.

Zionism is colonialist and bad and was always going to lead to multiple forms of response and that is not surprising.
for not invading Albania or what?
Which is still the case. No one is skipping getting rich because of taxes, they end up paying very little anyway.
We drop the kids off at my parents and go for dinner at any one of hundreds of top quality restaurants. Can't do that in Kettering.
Fundholding GPs don't do badly. A lot get 6 figures if they are partners in a surgery.

I think most Doctors etc need to wait until they're consultants until they make decent money.

But I'm like you - fell into banking due to being a Lotus Notes developer when it was flavour of the month and have never left. I reckon I'm on over double what I would be if I'd ended up working for IBM or Cap Gemini or similar.

[And I should say I ended up in project/programme/change management. I'm not still a Notes Developer]
For the last 20 or 25 years the UK has been coasting on the North Sea oil&gas money, I'd say that worked up until the early 2010s, and then on the almost complete financialization of its economy and on selling out whatever pieces of the economy could still be sold out (that includes part of their beloved NHS).

But that can only work for so long and is beneficial in the medium to long-term for a very limited number of people (basically the owners of said financial capital), at some point you have to produce some real wealth, wealth produced from real stuff via resources of the Earth + human ingenuity and, yes, + human work.
I think he's right though, the 5% figure isn't accurate. Perplexity answer below:

https://anonpaste.pw/v/6f99bf00-ab49-48fc-978a-27f656a37c02#...

Nonetheless, the production hell people working at those factories went through shouldn't be downplayed.

Documentary (2024): https://www.youtube.com/watch?v=tjGYMFVMeYo
> interwar Czechoslovak fortification complex

Got a pointer/URL ? Sounds interesting. Czech design always stands out.
Probably because 85%+ of the population would reject it.
"Here is what I want from a future debugger when working on a hard to debug problem:

It should be able to show me the source code

It should be able to show me the IR

It should be able to show me disassembly

I want to be able to step through the program on each of these levels of abstraction, depending on the function and the problem."

You don't need a "future debugger" since current debuggers can do all of those already so I am not sure what the rant is about. Probably a skill issue.
Isn't China "state capitalism"? There is no "self governance of workers" in China.
> the troubles with VGA ports in meeting rooms

please elaborate

fwiw vga is plug and play, but multi-monitor support in operating systems was indeed a pia
Yes, it looks all but certain that OpenAI gamed this particular benchmark.

Otherwise, they would not have had a contract that prohibited revealing that OpenAI was involved with the project until after the o3 announcements were made and the market had time to react. There is no reason to have such a specific agreement unless you plan to use the backdoor access to beat the benchmark: otherwise, OpenAI would not have known in advance that o3 will perform well! In fact, if there was proper blinding in place (which Epoch heads confirmed was not the case), there would have been no reason for secrecy at all.

Google, xAI and Anthropic's test-time compute experiments were really underwhelming: if OpenAI has secret access to benchmarks, that explains why their performance is so different.
That sounds good and altruistic...

... for the high income techies that make most of the HN audience.

Ask a normal person how they feel about paying for the heat pumps and having an extra hundred or two on their ongoing heating bill and you may get a different answer. Up to and including them not being able to cut expenses anywhere else to compensate for this.
> I think more people should think about things this way:

Seeing the monstrosities people build I think we have a long way to go
>and it requires any US-based hosting providers that host TikTok services to stop providing those services.

And they were forced to use those hosting providers (oracle) by the US.
It's not like investing loads to bring all the data over to singapore or so would serve them well either. They'd still lose the US business relatively quickly and with lower chances of turning things around like they might've. Why bother?
I have noticed this anecdotally as well in costal areas of the United States.

It’s like textbook Baumol’s cost disease[0], except housing is rising fastest while
the cost of labor nearly not at all, because buyers (hiring firms) just don’t buy

[0] https://en.wikipedia.org/wiki/Baumol_effect
Thanks to anyone who's able to check it out!
> who then elected to not even attempt to enforce the law today, his one day to do so

I don't think the US president is exempt from the tendency to avoid hard work on their last day on the job.
California is only 34% European/white https://www.ppic.org/publication/californias-population/
In CAC40 company, It is possible to take unpaid leave with the possibility of returning to the company to set up a new business. The idea is that if the project fails, the original company recovers an employee who has learned a lot (free MBA).

If you're already unemployed, it's possible to keep your allowance longer for a business start-up or takeover.

It's also possible to sign a “rupture conventionée”, which entitles you to unemployment benefits.

But no, if the employee resigns, he or she is not entitled to unemployment benefits, nor to business start-up assistance.

the French system is generous, but not as generous.
Chinese government demands a lot from US companies. Google left for a reason.

Apple is quite a special case since iPhone ecosystem creates many jobs in China. If Apple managed to move jobs to India (or wherever cheap labor is), Chinese government will stop being nice to them.

And even then, right now in China, iCloud service is run by Guizhou cloud, not Apple.
> The problem with centralized totalitarian/socialist/dictatorial governments is that they can be hijacked by an idea and over-execute on it with no feedback from the people

This sounds like a political-economic analog of AIs consuming AI slop.
I have built a lot of projects maybe not as impressive as this one. I want to know this new tech so I ask the community for help.
According to the documentation it evaluates by walking the ast, so yes, this is considered very slow. The readme also mentions 1 million loop iterations in 0.14s (140ms). Even my unoptimised naive lips like language [1] (also implemented via a ast walker) does the same in 28.67ms - so yes id consider this pretty slow.

[1]: https://github.com/xNaCly/Sophia
Indeed, when a network effect can be monopolized, it'd be bad business not trying to become the monopoly.

There were of course "home computery" phenomenons with network effects: IRC and Usenet, for example. There are several reasons why they've fallen out of fashion, but corporations shepherding new users into silos is surely a big one. It's a classic tale of enthusiasts vs. the Powers That Be, although the iteration speed and overall impact is perhaps most noticeable in digital technology.

Perhaps we were naïve to think we'd be left alone with a good thing. I too hope for a comeback of "personal computing", but in every scenario conceivable to me, we end up roughly where we are now - unless also re-imagining society from first principles. And if we do that, the question is whether personal computing would have emerged at all.
Nevertheless texas power grid has collapsed, and the government had to get involved
I got my first 3d printer, an MK3S+ a year ago. Pretty late in its lifecycle, but I wanted to spend more time printing than fixing issues.

And it definitely worked! I got the kit and built it within 10h or so (very enjoyable time actually, like building LEGO as a kid) and have printed lots of stuff ever since. During that entire year I only had a clogged extruder one time and had to take that apart a bit. Any other issues I've had were either due to bad filaments or my own errors (not taking long overhangs or low adhesion seriously while slicing).

And all this time I have been using it completely offline with OctoPrint on an RPi.
Social media is making people crazy. Got to ban all of it.
At one point, every third Albanian had either been interrogated by the Sigurimi or they had been incarcerated in labour camps, around 25k murdered [1]

Albania was even within eastern communist block considered utter shithole run by mad paranoid guy. Well, he certainly was.

[1] https://en.wikipedia.org/wiki/Enver_Hoxha#Political_repressi...
Works on mobile, not via my ISP (Virgin, UK). I guess it will resolve itself
That was worse in the 18th and 19th century, and yet people were willing to ground new corporations back then.

I think the answer is something the left won't like - we (Europe) are killing ourselves with bureaucracy, often environmental bureaucracy. A road to hell paved with good intentions.

The documentation to the Lower Thames Crossing, a planned highway tunnel, already exceeds 360 000 pages. This is just crazy.

https://www.newcivilengineer.com/latest/lower-thames-crossin...
>>"Engineers: Your brain's worth billions. Build empires, not apps."

Pay engineers billions, then, not CEOs, VCs and shareholders.
One would think that should apply to essential services like power, but here in the UK our largest energy distribution network is owned by France.
> why trust the others and not Achmed?

Because, "trust us". Seriously, Google, Microsoft, Cloudfare, etc. at the same level as Achmed. The only thing Achmed lacks is marketing.
Some people live in the UK already.
If you limit the range of disasters to US ones, maybe, but flooding is a big issue.

https://en.wikipedia.org/wiki/2021_European_floods

Coming from the UK, increased flooding has been an issue for 20+ years and still it's a bit taboo to maybe say it's climate change to older generations
Not just me then? I was trying to fix a GitHub action just today but I have no clue how I'm supposed to tear it, so I just keep making tiny changes and pushing.... Not a good system but I'm still within the free tier so I'm willing to put up with it I guess.
How did you get a job in Japan? What were the requirements?