skysight-inc/HackerNews huggingface dataset:
But I bet you'd know if some calculated number was way too far-off.

I'm no Turing or Ramanujan, but my opinion is that knowing how the operations work, and as example understanding how the area under a curve is calculated, allows you to guesstimate whether numbers are close enough in terms of magnitude to what you are calculating, without needing to be exact in figures.

It is shocking how often I have looked at a spreadsheet, eyeballed the number of rows and the approximate average of numbers in there and figured out there's a problem with a =choose-your-forumula(...) getting the range wrong.
If I have to spin up a keycloak instance (you forgot to say on a public-facing data center that runs 24/7) to use a single service I would usually signup with an email and password, I might as well spin up my private vpn server.
This a a great tutorial! Very easy to read and understand. If someone would like to dive into C programming I would suggest this.
He might not have done it deliberately, but it’s a good method to get the tariffs through without opposition. You have a lower level set first, everyone says about how terrible they are. Then you come out with insane higher tariffs that will ruin the economy. Then you go back to a lower level and capitulate, and people are just relieved that they’re not the ridiculously high levels instead of being up in arms about the original level.
I don't think we will be making much of anything in the UK until energy prices come down, which is unlikely to happen with little new nuclear coming on stream and fracking new North Sea oil being banned.

The good news is though that if EG steel manufacturing moves to China and starts using cheap coal fired energy and selling back to the UK, it helps the UK meet its Net Zero targets.
Show HN: Pledge – A Lightweight Reactive Framework for Swift (No Rx Overhead)
And apparently she really does pay all her taxes (£47m last year, roughly $60m)
Nice to see Mercurial on HN — my favorite version control software (:

I remember years ago learning that in some way Mercurial repo functionality was a "superset" of Git, the main issue being Mercurial's "named branches" — you could not round-trip those through Git. But you can round-trip all Git stuff through Mercurial.

I wonder how this project deals with that? Or maybe something has advanced on one side or the other so now they can round-trip each other.
Automating drudgery is a good thing. It frees us up to do more important things.

Automating thinking and self-expression is a lot more dangerous. We're not automating the calculation or the research, but the part where you add your soul to that information.
If a device doesn't require grounding the third pin is often just made of plastic so it opens the shutters.
Exactly, high speed rail is a nice option, but it's not really widely available. I needed to go to Warsaw, 1200km away, I wanted to go by train, but I don't have that kinda time. It's either 17 hours, half of which is going to be in a bus anyway. An alternative route had me take a ferry, extending the travel time to almost two days.

Taking a plane was cheaper and took three hours and given that airport security, at least in one direction is basically non-existing you just show up 20 minutes before your plane leaves.
This company has a track record of cheating on benchmark by training on test datasets. Take it with pinch of salt and try the model yourself.
This mentality is why rail is always destined to fail in the US. That mentality didn't stop China, which has a comparable land area to the continental United States and allows it to benefit from highly efficient cargo operations all over the country.

But if you want to keep the France comparison, let's compare a journey from Paris to Marseille with a journey from San Francisco to Los Angeles:

Paris to Marseille:
- by car: 7h30m (773km/480mi)
- by train: 3h11m direct for 94 EUR/103 USD with luggage and WiFi, amongst others

San Francisco to Los Angeles:
- by car: 6h (613km/381mi) - note that I'm checking the route times at 8:24 BST and so it's night time in the US - hence less traffic.
- by train (and bus): 8h30m with a change for 61 EUR/67 USD

The SF to LA route covers less distance and requires a change, so the passenger would travel 6h by train and then a further 2h on a bus - and when you compare that to driving it doesn't make any sense to ever pick public transport.

I do think there's more to it than just Americans not liking rail travel or preferring their cars. To build significant passenger rail infrastructure requires coordination at state government levels with all the stakeholders; funding; purcahsing land; technology to build modern and efficient railways etc. I don't believe the US has the capability to just build rail anymore - it would require significant investment in skills and manufacturing to increase capability to the point where it will be able to build the type of modern railway they would need to actually be a viable alternative.
Not really. Flying is fast, but when you measure door to door, in distances of under 1000k, a high speed rail network would not be slower.
The best rail being built in the US is in Florida, the brightline:

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

it's a tad expensive for a lot of people, and doesn't go as fast as it could because it uses existing lines but.. it's pretty good. it came about during the 08' recession, florida (gov Rick Scott) cancelled what was going to be a statewide rail line to save money. i remember nearly all the people i mentioned it too wished it had been kept. whoever the man/team/group that eventually founded brightline they fought an uphill battle but it helped most seniors in the state at the time could remember the US with trains and it had broad public interest, along with the backing of Disney.

it's still really hard to use only the train in FL. florida is very spaced out and a misery of heat during the summer. you can avoid the heat if you go from inside>car>inside, but trains lend themselves to walking.

having optionality is nice and i take it at least once month for the novelty and invite friends on to hopefully build awareness.

the us can build great things. we just need more builders to take their eyes off software and go back to public projects.

https://www.gobrightline.com/
>You don't need to drive cross the whole state for your daily commute, do you?

I've done this before in America. It's over twice as cheap to drive than take a train.
There are so many examples in the US where this isn’t true. Examples of where lines make economic sense but have not been built: Ohio (Cleveland/Columbus/Cincinnati possible extension to Detroit ), Texas (Dallas/Houston), Cross-state lines like Detroit/Chicago and Madison/Milwaukee/Chicago. There are others. The problem is a lack of will to do it, a century of demonization by the auto industry, and seventy years of deep pocketed sponsorship of the interstate freeways by the federal government to the exclusion of railways.
Country size is irrelevant for two reasons:

- most travel is within the local polity, e.g. suburbs to work & back, social activities, etc. The radius for these is not hugely different between the US and the EU.

- it's the European train network at this point, not one country's, and it needs to be one US system too, not one state's.

Yes, trains are hard in the US Midwest. But not on the west coast, and not in the larger east coast area either.
There's a saying in Russian: "beat your own to make the others afraid".

Maybe there's something to this theory of Trump being on the dole in Kremlin... ~
France truly has awesome trains though. Main criticism is that it lacks routes that don't go through Paris (like Lyon-Bordeaux, or Marseille-Bordeaux). But I live close to Marseille and it takes me 7 hours to go see my father who lives in Cherbourg (with a 1-hour connection in Paris, and one of the train being local). Coompared to 1200km of driving and zero planes.

And boy, don't get me started on the Eurostar. It's expensive sure, but 2 hours-ish to go from London to Paris is ludicrous.
> the average EU country is quite a bit smaller than the average US state

I ran some rough calculations and this is true but the distinction is perhaps not as great as you imagine.

USA has land mass 9.1 million km2 50 states => 182000 km2 per state

EU has land mass 4.2 million km2 and 27 countries => 156000 km2 per country

The average EU country is 87% the size of the average US state.
You're giving the person too much credit.
Some of the Gemini stuff is almost at airport level. I'm surprised. Everything is going so fast.

The odd thing, is that with technical stuff, I'm continually rewriting the LLM's to be clearer and less verbose. While the fiction is almost the opposite--not literary enough.
France still has some influence in Africa. I doubt the level of function of the government was the only factor.
For the first point I'm comparing against existing rail. It makes 0 sense for me to use the existing rail. Even when it is being subsidized it's still more expensive than driving.
Mmm, when I took a train based holiday in Ireland a few years back the rail map did strike me as rather withered. You wouldn't really want to try to go from Ballina to Sligo by train these days, although you technically could...
> Because you can’t have America and France at the same time!

Why not? That could look something like Denmark, or the Netherlands ...
Hence "as distance grows"...
I wanted to try Coreboot/Libreboot too, but I couldn't read the damn chip with a clip. I probably need to unsolder it but I'm afraid I'm going to break it permamently and I care too much about this laptop.
> Parser combinators are both less efficient and less featureful than bespoke solutions, which is a problem when you're writing a parser for your custom language, and you want to add extra features, like resilience, or rich error reporting.

This is untrue. PCs are the bespoke solutions. The article shows how to introduce a feature like state. Parser generators are the technique which just dump fixed-functionality source code on you.
as someone that just started using Waymo I can take a car without having to give it any attention. I love trains and public transportation in cities with good systems in place and lived without a car for 15 years. but, in areas without that already in place, my prediction would be that self driving cars are going to win. they are already functioning today and the experience is amazing. A good public transit system will take 50 to 70 years here with all the red tape but self driving cars are already here and will expand much faster

I’m not judging them as better. I’m just predicting they’ll come first and make it even more challenging to get public transportation funded and approved
But the US is huge. So is China, and they have fantastic trains.

The freedom to choose between public transportation and your own vehicle is immense. I don’t like driving, maintaining a car, or constantly paying for gas and insurance, and I’m fine with the inconvenience. At least in Europe, I have the option to give up a car and opt for public transportation.
If he got away with what he got away already like January 6th 2021, I would say there are no consequences.
It's an investment though. Every part of France that's next to the high-speed train really blossomed.
Are they an LLM wrapper or do they have own models? I feel Sonnet 3.7 should cost $30 per month for regular coding, and Refact.ai pricing (10$, 20$, 30$ - most popular, 40$, 50$ and above for higher prepaid limits) reflects that.
My last calculator had a "solve" button and we could bring it in an exam.

You still needed to know what to ask it, and how to interpret the output. This is hard to do without an understanding of how the underlying math works.

The same is true with LLMs. Without the fundamentals, you are outsourcing work that you can't understand and getting an output that you can't verify.
Sure, but that very much depends on the application, no? What if it's statically linked its SSL lib?
Americans are asking why they can’t have European trains, meanwhile Japan and China are ROFLing.
Isn't he legally immune for anything done in the course of his duties?

You'd need pretty solid proof he was colluding with others to place trades, and not just running his tariff policies as he saw fit with advanced notice given to his inner circle as some sort of courtesy.

I'd be surprised if anything could be made to stick.
Is there a score for internal consistency? I dunno, maybe have another LLM extract structure into some kind of a logic language and score how many assertions are incompatible? Or to a probabilistic language and do some Bayesian analysis?
good luck getting the average person to even get past the 2nd slide with basic calculations lol. he's preaching to the choir.
I feel conflicted about this. On the one hand, it seems like an enormous waste and a threat to the effort to contain climate change.

On the other hand, this would seem in line with the idea that life has evolved to more efficiently dissipate energy. So this might be the natural path forward?

Statistical physics of self-replication: https://pubs.aip.org/aip/jcp/article/139/12/121923/74793/Sta...
Amazon river dwellers are fighting to rein in the massive Belo Monte dam, which has sapped the flow of water along a vital stretch of the Xingu River. With the dam now up for relicensing, they see a rare opportunity to restore the flow.
That's a good point. The two endpoint of the main Danish railway line are both airports. Flight time between the two is around 30 minutes, maybe a little less, price, as little as €25. Take the train between the two, travel time is 6 hours, and it costs €70, if you're lucky you can buy something overpriced to eat, but don't count on it, so pack a lunch and drinks. So why would you ever take the train?

The problem is that Denmark is shaped like a big L and there's no way to connect the ends without building an insanely long bridge.
We did a similar (less rigorous) evaluation internally last year, and one of the big things we identified was "purple prose":

In literary criticism, purple prose is overly ornate prose text that may disrupt a narrative flow by drawing undesirable attention to its own extravagant style of writing, thereby diminishing the appreciation of the prose overall.[1] Purple prose is characterized by the excessive use of adjectives, adverbs, and metaphors. When it is limited to certain passages, they may be termed purple patches or purple passages, standing out from the rest of the work. (Wikipedia)

The Slop Score they have gets at this which is good, but I wonder how completely it captures it.

Also curious about how realistic this benchmark is against real "creative writing" tools. The more the writing is left up to the LLM the better the benchmark likely reflects real performance. For tools that have a human in the loop or a more structured approach it's hard to know how well the benchmarks match real output, beyond just knowing that better models will do better, e.g Claude 3.7 would beat Llama 2.
China unveils planetary exploration roadmap targeting habitability and ET life
I love the timeline! Are we limited to search for some keywords? I tried some countries but couldn’t find them in the results!
In a similar vein for laptops, Veracrypt offers (offered?) a "Hidden OS" feature that allows an OS to be stored within an encrypted container inside of another encrypted container, with two separate passwords. This allows the outside volumes password to be divulged, which would show a dummy OS and allow for plausible deniability, while the real OS is only accessible with the second password.

However, this feature doesn't seem to work for Windows 11, or on some modern laptop hardware anymore?

Is there other software that offers similar functionality?
The best plan is to wait until your bargaining position has been thoroughly destroyed rather than taking any action while you still have some power.
I have tried it out, and the more modern design is very convenient.
Search MCP Server
There’s a plan to build a Cork-Dublin-Belfast high speed (300km/h standard) line, but it seems unlikely to happen. There’s a more feasible-looking plan to upgrade Dublin-Cork to 200km/h (high-ish speed?) via improvements to the existing line (which currently caps out at, at best, 160km/h or so, but much worse in many parts); that seems likely to happen now.

This would bring it from 2h30m to maybe 1hr30, which would be a big improvement. There’s an argument that Ireland just isn’t physically big enough for ‘true’ (TGV/ICE-type) high speed, though I’m not totally convinced by it; with a 300km/h line it’d be less than an hour journey, making commuting borderline feasible.
interesting, where did you learn that from?
This is an extremely important question, and you’ve phrased it nicely.

We’re either handicapping our brightest, or boosting our dumbest. One part is concerning, the other encouraging .
The potential consequences is that he probably will make a ton of money. Assuming historical data might somehow resemble what will happen in the future, he'll probably get away with it after his term as well. Hopefully, the prediction is wrong though.
Nonsense. First, the money is pretaken from your salary under several categories (taxes, social changes, public transportation tax, and occasional taxes for specific lines).

Then, a metro monthly pass is around $100 in Paris and $130 in NYC. In other words, after paying through taxes, you have to pay for tickets at market rates. That’s $1200 for city transport, not covering outer zones or intercity travel (unless you live in densely populated cities that have sufficient transportation, in which case you pay in rent).

Then, you pay through wasting time, and other factors I mentioned in my other comment.
The wonders of brexit on both sides of the channel.

I am pro europe, it used to be so easy to buy from Germany or France or the Netherlands.

12 keys @ £3 each, All that fuel, time, wages, packaging and staff that have handled those tiny little keyboards keys. The obscene costs of capitalism and every middle man earning his share.

I just bought a brand new keyboard for my old and still running Arch perfectly lenovo T450, £20 with delivery, a bargain.
Productivity since 2000 had only increased by some 30%, which can not account for structural changes in job market.
Any examples of the silent GRUB setup? Sounds interesting.

I left a comment about Veracrypt offering the Hidden OS feature, with two passwords - one for the dummy OS and one for the real OS. However it doesn't seem to be supported anymore on Windows 11 or modern hardware, the option is greyed out on my laptop with no explanation.
having worked in professional setting for more than 7 years, I've given up on getting a job. I'm starting my own venture (although ive been trying to get that up since I was in school) with full commitment and almost no alternative of getting into the job market.

The job market is skewed and gamed.

You should change the way you're applying to jobs, and on the side, try to find cofounders who are starting some startup.

You can also join new ones who recently got funded. Some of the MIT folks work at windsurf, you can find similar startups that are need of engineers.

1. new founded startups
2. start one yourself (although this is risky, only reliable if you can get funding)
3. networking and meeting folks from your college
4. get a job you're overqualified for to keep your visa, (given you talk about going back to home)

Me personally have given up on jobs so im starting something of my own, although i dont have the pressure of going back home cuz thats already done, i'm back to my "toxic environment".
haha, Mr. Thorne shows up again in the Gemini 2.5 samples.

I have played around with creating long form fictional content with Gemini 2.5 the last week, and I started adding "no one named 'Thorne'" to my prompts, otherwise it always creates a character named Mr. Thorne. I thought it was something in my prompts trigger this, but it seems to be a general problem.

However, despite the cliches and slop, Gemini 2.5 can actually write and edit long form fictional pretty well, you can get almost coherent 10-20 chapter books by first letting it create an outline and then iteratively write and edit the chapters..

I also used Gemini 2.5 to help me code a tool to interactively and iteratively create longform content: https://github.com/pulpgen-dev/pulpgen
Funnily enough, the best use of AI in education is to serve as exactly this kind of tutor. This is the future of education.
Osaka Castle is a reconstruction. It's an empty shell, almost like a movie decor at this stage. If you want to see a real castle, there's the Himeji castle not too far from there.
>For Austria the answer for instance is "the alps" and urban sprawl.

There are no Alps between Vienna and Graz, the second largest city yet it takes 2.5 hours to get to Vienna from Graz, while the same ~200km journey is faster by car on the highway and that's accounting for traffic and you sticking to the 100-130kmph highway speed limit which plenty of drivers do not to shorten their journey. My ex-CEO would floor it to get home much quicker than the train and have his secretary pay the speed-cam fines on his company's dime.

When you monitor the trains' speed on the internal screens, you can see the average speed on the straights is somewhere around 100kmph, slower than cars on the adjacent highway.

What's the excuse there for such slow ass trains? And Austrian train tickets aren't cheap either.
> I’m petrified of the restore being imperfect in some way.

A lot of this is from anchoring important things to your phone. I practice, and strong recommend, avoiding that as much as possible. Your phone should be entirely disposable. If you drop it in the ocean, would you care (other than the monetary loss)? If yes, find way to detach those things from the phone. There should be nothing important on a phone.
> there's a difference between solving problems _with_ LLMs, and having LLMs solve it _for you_.

If there is a difference, then fundamentally LLMs cannot solve problems for you. They can only apply transformations using already known operators. No different than a calculator, except with exponentially more built-in functions.

But I'm not sure that there is a difference. A problem is only a problem if you recognize it, and once you recognize a problem then anything else that is involved along the way towards finding a solution is merely helping you solve it. If a "problem" is solved for you, it was never a problem. So, for each statement to have any practical meaning, they must be interpreted with equivalency.
… Do you get free petrol?
I don't think that anybody is going to forget the damage caused Trump.

I'm willing to bet that negotiations are underway between pretty much everybody outside of the US-Russia axis to try and come up with a new world trade order. Lowering the tariffs from an insane level of 20% to a slightly less insane level of 10% won't change that.
yep!

Or use a login system you already have.
Delusional themes may be more varied than we thought