MurphyA/hacker-news huggingface dataset:
by incomingpain | 2025-06-23 11:18:13+00:00
While it's generally estimated that Israel has nukes, there's actually no evidence that they do. They've never tested one and you're never going to hold something in your pocket for defense that's untested.

1998 India/Pakistan was a rough year; but every nuclear power has tested their bombs to make sure they work.

There are detection systems that were able to detect sub kiloton explosions in NK from across the world; with triangulation that's quite precise. We would know if Israel has tested.

If they havent tested, they really dont have anything.

Now lets assume they do in fact have some; perhaps smuggled or sourced plans from some other nuclear power.

Why are they allowed to? Well what are you going to do about it? They'll nuke you to keep them.
by cbolton | 2025-06-23 11:18:39+00:00
Regarding point 1: I'm so glad they didn't keep the math syntax, there's finally progress in math text input! E.g. we can now write

$ ZZ &= { ..., -1, 0, 1, ... } \ QQ &= { p/q : p, q in ZZ } $ $ a = cases( 0 & quad x <= 0, mat(1, 2; 3, 4) vec(x, y) & quad x > 0 ) $

instead of

\begin{align*} \mathbb{Z} &= \{ \dots, -1, 0, 1, \dots \}, \\ \mathbb{Q} &= \left\{ \frac{p}{q} : p, q \in \mathbb{Z} \right\} \end{align*} \[ a = \begin{cases} 0 & \quad x \leq 0, \\ \begin{pmatrix}1 & 2\\ 3 & 4\end{pmatrix} \begin{pmatrix}5\\6\end{pmatrix} & \quad x > 0 \end{cases} \]

Regarding point 2: you can put your settings in a file `settings.typ` and import it from multiple files.
by lentil_soup | 2025-06-23 11:19:39+00:00
that's alright! a 5% is infinite times better than 0% ;) Will probably not make you a millionaire but it put you in a better position than without it.

I'd recommend not getting stressed about people getting a million% extra, if the story really is true they're outliers and there's a natural bias for those stories to surface faster (or there's more to the story).

In my case, as I've gained experience that percentage has increased, specially when prioritising good experience over just pay at the beginning.
by jen20 | 2025-06-23 11:20:32+00:00
I’ve only tried twice (after using it ~30 times during the preview directly through the Waymo app) - neither time resulted in a robotaxi though, and one resulted in a driver that smelled so bad I’ve sworn off ride sharing until the end of summer.

Hopefully the Tesla app forces Waymo to reconsider their deal with Uber altogether and just run it themselves like they do in San Francisco.
by gnfargbl | 2025-06-23 11:22:34+00:00
I can't help but make the comparison with cryptographic network protocols, where the industry started with a kitchen-sink approach (e.g. pluggable cipher suites in TLS) and ended up moving towards fixed primitives (e.g. Wireguard mostly uses DJB-originated techniques, take them or leave them).

The general lesson from that seems to be that a simpler, well-understood, well-tested and mostly static attack surface is better than a more complex, more fully-featured and more dynamic attack surface. I wonder whether we'll see a trend towards even more boring Linux distributions which focus on consistency over modernity. I wouldn't complain if we did.
by rsynnott | 2025-06-23 11:22:57+00:00
To be honest, I suspect that someone reading Pride and Prejudice _after_ reading a bunch of ao3 stuff is going to suffer from https://tvtropes.org/pmwiki/pmwiki.php/Main/SeinfeldIsUnfunn... to an extent; part of why was significant was just in establishing a bunch of tropes which have now been absolutely _done to death_.
by stby | 2025-06-23 11:23:19+00:00
> Omitting social media information could lead to “visa denial and ineligibility” for future visas, the embassy added.

Honest question, how would they detect missing info? If they already knew all my social media profiles, they wouldn't need to ask for it. If I wrote some credible threads on any platform, I assume those would have been detected by someone anyway. Also, I surely wouldn't voluntarily disclose the account I used to publish those.
by harimau777 | 2025-06-23 11:23:19+00:00
I think that may depend on how someone defines intelligence. For example, if intelligence includes the ability to feel emotion or appreciate art, then I think it becomes much more plausible that intelligence is not the same as computation.

Of course, simply stating that isn't in of itself a philisophically rigorous argument. However, given that not everyone has training in philosophy and it may not even be possible to prove whether "feeling emotion" can be achieved via computation, I think it's a reasonable argument.
by sigbottle | 2025-06-23 11:24:02+00:00
For me, the issue is, I always know that once I actually get into it it will be fine, but getting started even for that day is a toil.

For all my progress up there both intellectually and as a person, I'm still someone who will just sit in bed for 1 hour before work and watch brainrot instead of getting up and getting ready for work. Or sit in bed reading reddit for a few hours on a weekend before making myself breakfast.

Once I get into it, it's fine, but the thought of spending ~30-45 minutes getting up and properly starting the day is enough to make me procrastinate hours away :(
by diggan | 2025-06-23 11:24:15+00:00
> Does the US want other countries inspecting our citizens' social media posts for the last five years?

Do you really think the US government cares that much about how Americans are treated outside of the US, or even considers that when setting up these policies? Based on some quick searching and skimming, it seems like only half the population even have passports in the first place.
by shotvu | 2025-06-23 11:24:37+00:00
Traditional interviews are inefficient, slow, and often biased. One-way video interviews are changing the game — they’re faster, fairer, and built for a remote-first world. I break down why this hiring model is gaining traction and how companies are using it to improve both candidate experience and recruiter productivity.

Would love to hear what others think — is this the end of live first-round interviews?
by harimau777 | 2025-06-23 11:25:17+00:00
> Assuming the Church-Turing thesis is true, the existence of any brain now or in the past capable of proving it is proof that such a program may exist.

Doesn't that assume that the brain is a Turing machine or equivalent to one? My understanding is that the exact nature of the brain and how it relates to the mind is still an open question.
by hagbard_c | 2025-06-23 11:25:18+00:00
You're describing more or less every legal system in existence for at least the last few centuries. It is often close to impossible to go through a day without breaking at least one law, usually a multitude of them. Such infractions are not acted upon until some power-that-be deems it necessary to get a handle on a person.

As to the sudden insistence on due process when it comes to deportation of illegals I do wonder why this was not an issue when the previous regime let in millions of people without any regard for the laws of the land - i.e. due process. Is it the intention to make it impossible to correct this flagrant violation of migration laws by suddenly insisting on having every single individual go though a lengthy legal process, clogging up the courts?
by begemotz | 2025-06-23 11:25:24+00:00
- At a macro-level? I honestly do not know if it will at least in my life-time. And, if it does, it won't be due to higher education being proactive. What I can say is that I have a number of colleagues who are doing all paper and pen, in-class assessment. But this will not work for all disciplines.

- I agree that those who want to learn will learn. And for these individuals, generic higher education isn't that valuable anyway. However, I am a bit pessimistic about the number that represents, on the whole.

And, short-term goals and constraints can undermine these individuals. As with most things, the problem isn't with the thing but with the humans who wield it.
by potato3732842 | 2025-06-23 11:25:59+00:00
The point isn't that they'll provide it. The point is that a bunch of useless people buried in the bureaucracy can say "well, he wasn't on our radar and his social media came back clean" and act like that constitutes doing their jobs.

It's no different than your local government that's probably happy to permit all sorts of absurd invasive development as long as some engineer puts a stamp on it but if a homeowner wants to build a retaining wall he gets told to f-off and come back with $20k of engineered plans that make the project not worth it.

It's not about the end result. It's about dodging accountability.
by rekoil | 2025-06-23 11:26:14+00:00
I think they should have a larger responsibility than that, but yeah I absolutely agree that once devices are no longer "supported", the manufacturer should be required to relinquish control to owners in a safe manner (e.g. Android unlockable and relockable bootloaders).

Same goes with multiplayer game developers. If they wanna stop hosting servers, they should be required to release the server software in a manner that makes it possible for me to set it up for myself to keep playing the game.
by tapoxi | 2025-06-23 11:27:00+00:00
Musk needs to keep hyping the next big thing to justify the insane valuation. So it was going to launch regardless of how ready or safe it was.

Still seems nuts to me, they're pretending Waymo doesn't already regularly drive without supervision.

https://en.wikipedia.org/wiki/List_of_predictions_for_autono...
by polivier | 2025-06-23 11:27:01+00:00
I don't recall if we asked him why he did this, but we did make it clear that he should never leave the house alone at his age. Curiosity-wise, however, we generally let our kids explore the world on their own terms as long as it's not dangerous. And "dangerous", in our view, is understood to be "lasting permanent damage" (doing something that can lead to losing an eye is dangerous, doing something that can lead to breaking a finger is not dangerous).
by crossroadsguy | 2025-06-23 11:27:02+00:00
At this point I honestly feel the same about those books as I did later in life when I did that IMDb top 250 in college. I wish I would have read "different" books when growing up. But I guess that's how you go to somewhere — gradually. It's a bit like how I read a lot and if it were not for those not so-literary pulp fiction books and cheap action comics, I would have never picked up reading.

A lot has to do with language in those books. They read as kind of "foundational" and well structured (and I am speaking exclusively about English and Hindi classics, two languages I can read and write in). This gradually takes you on a journey of not only enjoying the language but also learning it. From there, different people branch off in various literary directions, and majority just drops off from the literary journey altogether.
by invalidusernam3 | 2025-06-23 11:27:15+00:00
I've had a time limit set on my phone for twitter + instagram to only allow 15 minutes of usage per day. There's an "ignore limit" button when you go over the time but it's surprising how few times I've actually pressed it. 99% of the time I go "yep, that's enough of that for today" and close the app
by mzl | 2025-06-23 11:28:02+00:00
SAT (satisfiability), SMT (satisfiability modulo theories), CP (constraint programming) and so on are not magic solutions. They are more or less really smart backtracking solvers that use lots of heuristics, deductions based on the constraints, learning, restarts, portfolios, and so on. A real benefit is that one can re-use the algorithms that someone else has developed and debugged.

For toy-sized problems such as the LinkedIn Queens, 8-queens, and 9x9 Sudoku more or less any competently implemented solver will work fine. As soon as the size of the problem starts to grow, the difference between a plain backtracking algorithm and a SAT/SMT/CP system.
by all_factz | 2025-06-23 11:28:31+00:00
That’s a little simplistic. Iranians feel, somewhat justifiably, that they and the Arab world have been pushed around by the West for over 100 years. The Jihadism we bemoan today didn’t arise in a vacuum - it is at least partially a reaction to Western interference in Middle Eastern affairs (recall how the US deposed a democratically elected Iranian leader). Israel is one such example of this Western interference, and while I obviously have the utmost sympathy for Israelis - having family there - I do think not enough Westerners are willing to see this from the Arab/Iranian PoV. There’s a reason they dislike us, and it’s not just that they’re fanatics. Negotiation would be more fruitful if we didn’t typecast our enemies as unreasoning fundamentalists.
by viraptor | 2025-06-23 11:29:11+00:00
> Why can't we just ask an AI to give its best answer in due time ?

Sure you can. One approach is https://arxiv.org/html/2505.11274v2 another is having a parallel "do you want to do more analysis?" agent, and I'm sure someone's already at least experimenting with building the confidence measurement into the layers as well.
by Cthulhu_ | 2025-06-23 11:29:16+00:00
Why's that? Doesn't tourism and business coming into the US benefit the country?

Take student visas. Sure, you could have a student come to the US, finish their education, and go back to their home country, "stealing" knowledge from the US to benefit their own country. Or they could find a job in the US and/or start the next trillion dollar company since the opportunities in the US are better. Satya Nadella traveled to the US for a university degree and ended up at Microsoft, where he led business units bringing in tens of billions, and under his CEO-ness he increased the value of the MS stock from around $40 when he became CEO in 2014 to $477 today, making it one of the first trillion dollar companies in the US.

But that wouldn't have happened if he didn't get a visa. Neither would Tesla (Elon Musk, migrated from South Africa on a student visa), netiher would Google (Sergey Brin migrated in from Russia, Sundar Pichai migrated on a student visa from India), etc.

I just don't understand it.
by Canada | 2025-06-23 11:30:19+00:00
It's materially different in my opinion.

I will submit to inspection of the things I bring into a country, but I will not submit to a review of everything I've written that I haven't made public.

It's like asking me to bring decades of letters and personal journals to be judged by. It's unreasonable. If this required of me I won't go.
by darajava | 2025-06-23 11:31:11+00:00
Beautifully said and my sentiments exactly. It's not nice to see even Iranians (assuming the very GPT-esque parent comment is actually from an Iranian) fall for Netanyahu's incredibly hollow and cringe "sympathy" for the Iranian people. zorobo replied to your comment saying that Israel doesn't want to invade Iran, but this is not true in an absolute sense. Israel doesn't work like that (outside of their borders, anyway). They are subversive[0] and want to invade the minds and culture of the Iranian people, just like they have subverted people elsewhere.

https://www.upi.com/Top_News/2002/09/12/Netanyahu-US-should-...
by rsynnott | 2025-06-23 11:31:31+00:00
> And they no longer are coerced into going along with another belief system (compromise) due to economic need from the majority. At that point the civilization unravels due to lack of coherent direction.

I mean... you think this is _new_? See https://en.wikipedia.org/wiki/European_wars_of_religion

Civilisation, you will not, survived a few hundred years of _that_.

I'm not sure that the sort of ultra-conformist society that you seem to be thinking of ever really existed.
by Eddy_Viscosity2 | 2025-06-23 11:31:38+00:00
How many of those are there really? How much are you willing to sacrifice to prevent this hypothetical? Because there is no end to this sort of argument. Why should it stop with foreigners, wouldn't a suicide bomb by a local cause just as much damage? "We have to monitor every web page and every email, text, and word spoken of every person at all times to 'prevent a tragedy'" You want to prevent a tragedy don't you? You don't have anything to hide right? The fact that these kinds of powers have always been abused by those who have them is not something you should be concerned about. It won't happen to you. They will only go after the bad guys, and you're good, right? Now show us your papers.
by crote | 2025-06-23 11:32:58+00:00
The goal is to provide an excuse.

Very few people will be able to provide a list of 100% of the accounts they used. This means every visitor will technically be lying on their forms.

You're more than happy to visit - until you do something the regime doesn't like, like criticizing the recent attack on Iran, or making fun of the military parade. Then they have a ready-made reason to deport and ban you.
by razemio | 2025-06-23 11:33:14+00:00
What are you doing that you do not feel a difference? Claude is superior for me in every single way. It is not even close. I mainly use scala, python, js and dart. Maybe curser is better with other languages? I can use claude to be a very productive assistant. Especially useful for small to medium changes. If I plan accordingly it is like magic. It tends to duplicate code but that us about it. Code produced by cursor needs alot of work the last time I tried. Often slowing me down instead of helping.
by wizzwizz4 | 2025-06-23 11:33:42+00:00
Stocks going up doesn't actually improve things for anyone. To use Microsoft as a specific example: that stock price increase corresponds directly to a reduction in quality of life for many people.

This is, of course, immaterial to your main point: we can point to many actual contributions from migrants, such as maintaining infrastructure, providing food and education, and technological advancements.
by southernplaces7 | 2025-06-23 11:33:49+00:00
Without taking this rather sketchy paper too seriously, my simple and heuristic take is as follows: AGI constructed through raw information processing in the way an LLM works probably won't go anywhere near AGI, but since something, though we don't know what, gives us self-directed reasoning and sentience, and thus natural general intelligence, than some form of AI is at least a possibility.

This applies unless we discover either some essentially non-physical aspect of consciousness that can't be recreated through any artificial compute we're capable of, or fail to discover a mechanism by which artificial reasoning can imitate the heuristic mechanisms that we humans apparently use to navigate the world and our internal selves. (since we don't know what consciousness is, either one is possible)
by childintime | 2025-06-23 11:33:52+00:00
I was thinking about presenting at a conference in the USA in november, but the risks and abuse associated with entrance are now so high, it's out of the question. The world can no longer center on the USA.

The tr*mp administration seems to think they are inviolable, that they can solve every problem with the military. They'll be caught with their pants down. A $400 drone can now take out a $2B piece of equipment. That waters the mouth of any adversary. A great humbling is coming.
by krona | 2025-06-23 11:33:59+00:00
While your perspective bias undermines your point, this form of government (i.e. vague laws, the highly selective application of them, and the use of the justice system regardless of guilt as a weapon to suppress dissent by middle classes (e.g. threat of bankruptcy, threats of long term pre-trial detention, etc.) has existed for quite some time.

It goes by different names depending on your bias, but it exists. The right side of the political spectrum would call it anarcho-tyranny.
by GeekDill | 2025-06-23 11:34:29+00:00
Your attitude is incredibly short-sighted. If I can't repair the car myself, I do not own it.

BTW Putting "your hands on your car" means doing basic repairs and maintenance e.g.

- I changed my oil on my car.

- I've bled my brakes.

- I fixed the H-strap as it was broken on my driver's side door.

- I replaced the wiper system myself. This BTW would have cost several thousand pound to be done by a specialist (you have to remove significant portions of the dashboard to do this.

- Replacing the rear shocks on my suspension.

A vehicle is the second most expensive purchase people make after a home and yet because you disagree with how a small minority of people modify their cars, you are fine with the concept of ownership being erased and your vehicle forever being beholden to the manufacturer. It is incredibly short sighted.

Modern cars currently are getting to a stage where they cannot be repaired by anyone except for the manufacturer. This will drive up prices of repairs (dealerships/specialists are already expensive as they are) and you won't be able to go to smaller shops to get your car serviced / repaired and these places will go out of business and jobs lost.

This is already causing huge amounts of waste because cars are being scrapped because they are uneconomical to repair after minor accidents, or minor faults. Compare this with 15/20 years ago and I had a car that did 300,000 miles before it became uneconomical to repair (I still got £500 from the scrap man). Repairing a vehicle is much less wasteful than replacing it.
by Towaway69 | 2025-06-23 11:34:42+00:00
> Scary times

It was Michael Moore in Bowling for Columbine[1] who commented on fear:

> Moore’s central argument emerges as he explores the role of fear in American society and how it relates to gun violence. He suggests that the American government and media perpetuate a culture of fear, which in turn drives people to arm themselves, benefiting gun manufacturers and retailers. To illustrate this point, Moore compares the United States to other countries, particularly Canada, which has a high rate of gun ownership but significantly fewer gun-related deaths.

Perhaps this is just another form of fear: fear of others.

[1] https://watchdocumentaries.com/bowling-for-columbine/
by poulpy123 | 2025-06-23 11:34:50+00:00
I tried typst a year ago, and I found it really nice to use compared to Latex. I even managed to make (or modify I don't remember) a small module to customize boxes, something I would not have even though of trying with latex.

I don't use latex anymore and I don't have a use case for typst, so I'm not currently using it, but I follow the advancements from time to time, and I have to disagree with the advisor.

Typst is perfectly fine for replacing latex in almost any place that doesn't require the latex source. The other case is because tthe ecosystem is much smaller so if you need a specific extension that does not exist or is not trivial to implement you'll be out of luck, and you'll be stuck with latex.
by londons_explore | 2025-06-23 11:35:59+00:00
The fact that Chromium OS has been teetering on the edge of deprecation/merging with Android/Fuchsia for a decade I think has deterred people from building stuff on top of it.

It also seems to have a lot of new code every year for very few new features. It's as if they get every new intern to rewrite a bit of the innards, and then next summer another intern rewrites it again.