skysight-inc/HackerNews huggingface dataset:
You only need some official document (ID card, passport, whatever) that matches the name and birthday. If you are a tourist, you must have a passport or ID card close by anyhow.
It's not that conservatives don't believe -- it's that they don't care.

Winning > rule of law

Which I blame solely on conservative talk radio's lack of morals, and inspiring the same in their listenership.
> I'd love to see any sort of human rights justification for Tariffs against Canada though.

It'd probably be the opposite - Canada/EU put tariffs on the US to offset their higher standards of living and environmental considerations. But then the US should similarly do that to, say, China for the same reasons

> Sorry, but this "idea" originates from mercantilist thought and has been thoroughly dismantled and discredited. Even when one country is less wealthy and less productive, both countries benefit from expanded trade. This is Comparative Advantage...literally Econ 101.

https://www.thesling.org/the-failed-assumptions-of-free-trad...

Unfortunately for econ 101, just like the spherical cow in physics 101, reality is different and more complicated
A lot of old GUIs are built on Tcl/Tk, lots of people use matplotlib which I think uses it by default.
From Waste to Wow: 10 Innovative Recycled Plastic Products
Um, that sounds pretty much like what trump actually did.
Markets make rational calculations. I'm not sure how you could have rationally predicted this. For all I know he'll scrap it all on Monday. It's a bit random.
The pure breed hacker just published source code in a 100 MB PDF.
TCL stands for "tool command language." In terms of non trivial tools that have been built with it there have been several. AOLServer, MacPorts, tons of CAD and engineering software. There's a whole wikipedia category just for this:

https://en.wikipedia.org/wiki/Category:Free_software_program...

Aside from that there was Tk which was used to create many UIs in an era where scripted UIs were otherwise painful to create and maintain. A prominent example here is 'xconfig' from the linux kernel.

Like any good environment a little bit of practice with it can see you overcome it's apparent shortcomings and see you producing reliable and useful software in far less time that you might have in a more traditional way.

Programming is about trade offs. It's not a checklist of "good ideas."
The short answer is that removing the aid you were previously providing is more morally salient than not helping in the first place.

Short answers aside, could you stop with the indirection? The original question was whether millions of people could die due to funding cuts. The answer is yes, regardless of your moral views about how you should spend your own money.
More than 3 decades, not 2.

My first website is 3 decades old now.
Agree, the "intelligence" part is definitely the missing link in all this, however humans are smart cookies, and can see there's a gap, so I expect someone, (not necessarily a major player,) will eventually figure "it" out.
You put into words something I've been struggling to describe for a long time. Gemini gives short, succinct responses with whatever information you need and minimal anything else. ChatGPT, Claude both fill text with mannerisms, formatting, etc.

I didn't realize just how big the difference was until I tested it.

"How do I clear a directory of all executable files on Debian?"

Gemini 2.0 Flash: (responses manually formatted)

find /path/to/directory -type f -executable -delete
Replace /path/to/directory with the actual path.

ChatGPT: (full link [1])

To clear (delete) all executable files from a directory on Debian (or any Linux system), you can use the find command. Here's a safe and effective way to do it:
# [checkmark emoji] Command to delete all executable files in a directory (not recursively): [..]
# [magnifying glass emoji] Want to preview before deleting? [..]
# [caution sign emoji] Caution: [..]

[1] https://chatgpt.com/share/67f055c8-4cc0-8003-85a6-bc1c7eadcc...
What is SPLC? What have they done?

I'm also wondering why the ADL would defend Musk at all. Can someone explain their motivation for that?
Some counterarguments:

> it is better for a country to have a diverse manufacturing base

A country can exist and be wealthy without diverse manufacturing base.

> a net positive balance of trade

A country can have stable and growing economy with negative balance of trade, as long as certain conditions are met. In short, this country may offer something else to compensate trade deficit, i.e. there can be a price tag on military and political power.
That is absolutely not how Python works. Python values are typed.
Long negative beta securites, short positive betas, on margin. Sell calls on ETFs, buy puts on ETFs, etc. There's risk though because his actions are rather unorthodox and the full effects aren't known (and resulting fear can cause betas to shift drastically)

Or if the necessary capital is out of reach for margin trades or options (for his friends it isn't), buy long 3x inverse ETFs as much as you can risk.

If you expect him to play yo-yo some more, rinse and repeat buying either regular or inverse 3x ETFs as needed.

Is this happening at some scale? Surely. Is it the main purpose? Probably not. I'd expect there are easier ways for corrupt politicians and their cronies to profit.
Country is already bankrupt, he’s throwing a Hail Mary.
Whether he is right or wrong, when Lighthizer was on 60 Minutes, he said they have tried everything to level the playing field, and nothing worked. So this time, there is nothing to lose.

It is a very good interview and discussion.

https://youtu.be/KwUG2bOHqFA?si=DKm2Y_I53Qdfuh-b
then it is better to just buy wherever you go
Seems like the way things have been going up to 3 days ago has been pretty great for the US, our economy has been growing faster and doing well!
There are people (notably, Ha-Joon Chang) that have claimed that those protectionist policies have made South Korea more competitive, but I think you'd find a lot of economists disagree with that, and that South Korea become competitive in spite of those restrictions.

Keep in mind North Korea has had even stricter trade restrictions, and they don't have any functioning modern industry at all. Trade restrictions reduce export market size, insulate companies from competitive pressures, and those problems only serve to reduce capability, not increase it. Maybe there is some sort of happy medium of protectionist policies, but I've never seen any sort of framework for understanding how you could derive where that happy medium lies.

If trade restrictions only ever made countries more competitive, we wouldn't use them as a punishment.
Arc agi 1 that "got defeated" was published even before first mainstream llms and still stood the test of time
With homebrew, you can go all the way up to 1TB
The Fed Chair should answer: cut the crap and "stop playing politics", apprentice.
The problem is rarely "capitalism", since most of the most glaring issues are either in highly regulated systems, or cases where the person receiving a service is not the one paying for it.

I think the average english person fundamentally lacks the mindset for capitalism to work, there is little trust in an individual, and too great a desire to have daddy government come make it safe. It's the unquestioning faith in top down measures that has lead to the current system, and pulling things back to public ownership won't fix that.
Not sure what you mean. Export tariffs are very rare because nearly everyone agrees that it's good for a country to export lots of stuff. The question is whether imports are also uniformly good for a country. Free trade advocates say yes (and I think they're right), "typical" protectionists say they become bad when they undercut local producers, balance-of-trade protectionists say they become bad when they exceed exports.
orange site, where nuance goes to die. The out-of-context clip isn't a referendum on her artistry; it's just bait for people who never engaged with her actual work.
The Atlantic blew it, by continuing to equivocate around whether a "trade deficit" should be considered bad in the first place. Like all these Orwellian upside-down terms [0], it should really be called a trade surplus, as in we are getting more stuff from the other country than we're giving to them! Like duh, this is a no-brainer beneficial and enviable position. And Trump's goal is to end this, presumably to turn this country into an impoverished work camp ruled over by hollow charlatans like himself.

[0] eg "the deficit" should really be named the surplus as it's money representing the collected proceeds from our world wide demurrage currency that other countries still keep buying into because using it is just that advantageous.
Microsoft C/C++ Extension appears to no longer support unofficial VS Code forks
I think even in open ground if you have a big enough group you can still trade well. Ethiopian arbs fire 25% faster. If you micro the arbs to focus on individual paladinsthey can one shot paladins and their attack surface area increases with the sqrt() of their numbers. For sure it's a lot more work than spamming halb.
As a DevOps engineer who’s spent the last decade specialising in cloud infrastructure, I whole heartedly agree with your scream of horror.
Coinbase Sold 12,652 ETH in the Fourth Quarter, Standard Chartered Says
Does this project make its money via the cloud offering, or via sponsors? It's kind of unclear.
I have music stuck in my head more or less constantly. It's never bothered, and I'm kind of surprised to find all the remedies suggested here. For me, instrumental music is no different from vocal music. It can be a riff from a solo, a chord change, an interesting timbre, or pretty much any sound. Sometimes I think they're not from songs that have yet been recorded. Just the imagination of sounds that turn over and over. I've always kind of liked it. I'm a musician myself, and I think it helps me think of old music in new ways.
It's basically "divine right to rule" for rich people, sans religion. I remember hearing about Rand and eventually reading Rand, and I quite literally thought it was satire. Tbf it would be peak if it was satire, but I genuinely don't understand how anyone can subscribe to this in earnest.
Agreed. I'm someone who likes (more or less) his policy ideas/goals but HATES (can't emphasize that enough) how badly they have been implemented!
In the future, rich Chinese programmers will discuss the economics of their trade deficit with poor American factory workers :^)
That's fair. My understanding is that NN and ML are similar insofar as they are both about minimizing a loss value (like negative log likelihood). And then the methods of doing that are very different and once you get even more advanced, NN concepts feel like a completely different universe.
I don't think that's true. When chatgpt generates something that infringes (even on something not in the training data) it is still infringement and the output cannot be used by the user for anything they couldn't use the original for.

Luckily it doesn't do that often under normal use
Trump and the Republican Party have forcibly assumed control of the federal government, dismantled it, voided every function of the Constitution and replaced people critical to the functioning of global affairs with morons and lunatics. The economic and social and international underpinnings of the planet have been detonated on purpose so the remaining pieces can be reordered for their exclusive benefit.

This is just the beginning, and I can’t wait to see even more threads here trying to rationalize why this is all Good, Actually before a thread discussing the end of Pax Americana gets killfiled by an Altman acolyte.
Say hypothetically the Tarrifs are all reversed on Monday, does the market go back to normal?
I tried it out. Fascinating language and a completely different paradigm. The language itself is familiar, but the structure of the program is different - no files – all functions are in a database and their history. I found the language a bit difficult to navigate, but that is probably because of my experience of work with files, and having tools based on files.
I only have anecdata and I don't feel like googling until I find something that confirms the real life experience.

It's probably not impossible, but it's also not as simple a transaction as it could be. It is a difficult affair, at least bordering on impossible unless you're a EU citizen with a SEPA bank account.
I thought it was a hardware limitation
I use them daily, in not being some poor serf, by not risking famine every year, and not living in a land beleaguered by war.

Those things are sort of like having competent IT security. If they are doing everything right, they will seem like they aren't doing anything at all, but when they are gone all of a destruction and doom is always just a day away.
Fair. I sit enlightened. Although the court cases so far didn't seem to end up there.
> I'm not sure I've seen any explanation for this 10%.

So the orange idiot can make a "deal".
There we stand in agreement. Current copyright law and how it is governed is horrible.

What most people propose is equally bad and will never get traction with lawmakers.

Returning to what came before makes a ton of sense. Just make it X number of years and let's debate X for a while to get a decent number.
For FPGA IDEs, a lot of the background is just tcl scripts so you can easily write your own build scripts. You could theoretically put them into your CI pipeline but I don't know if anyone actually does this.
> We do not know whether the embryo models recently created from stem cells could give rise to living people or, thus far, even to living mice.

So it doesn't even work in mice... how about we get that working first. Then maybe grow chickens/cows for meat. Then write "revolutionize medicine" headlines.
https://archive.is/AjZbe

Not really Trump's new tariff math looks a lot like ChatGPT's (65 points, 26 commentS) https://news.ycombinator.com/item?id=43572947

This is The Formula Trump's Team Used to Calculate Tariffs (13 points, 3 comments) https://news.ycombinator.com/item?id=43568191
The Metamath Proof Explorer (AKA the set.mm database) works on a similar principle, of all theorems forming a tree of backreferences that ultimately lead to the axioms [0].

Though it wouldn't make sense to build something like that on top of such a fast-moving, complex, and bug-prone target like Lean.

[0] https://us.metamath.org/mpeuni/mmset.html
Well, the idea is that you’d be writing low level CUDA kernels that implement operations not already implemented by JAX/CUDA and integrate them into existing projects. Numba[1] is probably the closest thing I can think of that currently exists. (In fact, looking at it right now, it seems this effort from Nvidia is actually based on Numba)

[1]: https://numba.readthedocs.io/en/stable/cuda/overview.html
buffett vid https://youtu.be/0z_Ujm3lmcU?t=401
> Instead, we are seeing countries match with import tariffs in the other direction, and a deterioration of global trust.

Right, because e.g. if Canada has no tariff on car imports and the USA has tariffs, then the logical course of action for car manufacturers is to move all of their manufacturing for Canadian-sold cars to the US, because it's more flexible to have manufacturing in the place that incurs fewer tariffs overall. Canadian import tariffs take that incentive away.

Export tariffs make more sense for resources where the manufacturing base can't be moved.
If Trump was really so unpopular, Republicans would throw their weight behind getting rid of him or blocking him in Congress. They still believe that is political suicide with their base which means either he is still popular with their base or they believe he is popular with their base which results in the same inaction.
I use a very simple custom system prompt (not on my work machine at the moment, but essentially something along the lines of "for technical questions, please be concise and to the point, and when asked for code, omit explanations and emit just the code itself unless I ask for explanations"), and it does wonders.
Hasn't there been too many "Surely they can't be that stupid/incompetent?", starting with "Hillary is surely going to win it"... and until yesterday everyone thought "Surely the regime in charge of the world's biggest economy isn't going to agree to the geriartic-in-a-full-diaper[1] wanting to implement his first-grader logic of how the world economy should work?".

[1] "I’ve heard from a reliable source, that Trump smells of soiled diapers, Axe Body Spray and hotdog burps.": https://www.indy100.com/politics/trump/trump-smell-kinzinger...
I mean, I'm not sure what other context could justify howling and screaming in the middle of a musical performance.
OSD 3

And possibly 9
If he cared about the debt there wouldn’t be a 4.5T tax cut for the rich.
https://www.gov.uk/government/statistics/households-below-av...

(the latest report came out a few days ago and actually the latest year is a slight worsening of household income, but not far off the high from 2022)
For one example, you'll pay tariffs on everything you import to do the manufacturing, from lithography machines to FOUPs. Equipment costs are the majority of wafer cost in a modern fab, so this is pretty significant.
That's the long-term theory, yeah.

It's interesting to see how the U.S. could make it happen though, given that there is already a shortage of labor and materials. It will be a long, long road.
um - I would. Colleges don't want to get panned for hiring a scam artist which is exactly what this is. Unlike VC where that skill is slightly revered.

The app is fake - at best its puffery, and the essay was littered with grammatical errors.
I’m glad that the age of platform decay and VC backed companies that these OSS alternatives exist to counter this destructive trend of extraction based vendor lock in.

Vercel, Netlify and Heroku will inevitably not exist in 10-20 years but Coolify will, humming along on a regular VPS.
>Last week, the ARC Prize team released an updated test, called ARC-AGI-2, and it appears to have sent the AIs back to the drawing board. The full o3 model has not yet been tested, but a version of o1 dropped from 32 percent on the original puzzles to just 3 percent on the new version, and a “mini” version of o3 currently available to the public dropped from roughly 30 percent to below 2 percent. (An OpenAI spokesperson declined to say whether the company plans to run the benchmark with o3.) Other flagship models from OpenAI, Anthropic, and Google have achieved roughly 1 percent, if not lower. Human testers average about 60 percent.

Arc AGI is the main reason why I don't trust static bench marks.

If you don't have an essentially infinite set to draw your validation data from then a large enough model will memorize it as part of its developer teams KPIs.

Forget all these fancy benchmarks. If you want to saturate any model today give it a string and a grammar and ask it to generate the string from the grammar. I've had _every_ model fail this on regular grammars with strings of more than 4 characters long.

LLMs are the solution to natural language, which is a huge deal. They aren't the solution to reasoning which is still best solved with what used to be called symbolic AI before it started working, e.g. sat solvers.
The comment you replied to didn't say that this steelman wants an "even" balance of trade, it said the steelman wants a net positive balance of trade, more exports than imports. Export tariffs discourage something that the steelman wants. The basis for "trade deficit bad" is that we're collectively sending those countries more money than they're sending back.
While certainly not human-level intelligence, I don't see how you could say they don't have any sort of it. There's clearly generalization there. What would you say is the threshold?
Do women talk more than men?
> That's why Doom/Quake resonated. People want these simulations to be as realistic as possible.

Doom/Quake is about as realistic as Escape From Tarkov is easy-going, light hearted, non-at-all-sweaty fun.

> People don't strictly want to play games as much as they want [an] experience

this would ^ probably be more accurate version of your statement. it's not always about realism.
I don't see that happening. I reason to it this way;

In 2024, $15 BILLION dollars was invested in AI startups, and a record $250 BILLION dollars by established companies (nVidia/Microsoft/Google/Facebook/Apple)

I don't believe that AI making any meaningful progress on the "timeline" will occur just because you throw even more money at it.
There is nothing wrong with protectionist measures per se. These tariffs are just not set in reality. They demand the impossible, based on false premises. This won't happen. Therefore an economic recession will unfold.
Yeah Americans are going to learn that the hard way, if they haven't already
In the past few decades, hedge funds have had a significantly negative impact upon the following industries:

- Manufacturing
- Retail
- Local Journalism/Media
- Private Prisons & Detention
- For-Profit Education
- Healthcare Services
- Veterinary/Pet grooming Clinics
- Mortuary/Funeral Homes
- Pharmaceuticals
- Housing/Real Estate,
- Toll Roads
- Hospitality
- Restaurants
- Addiction Treatment Centers
- Daycares
- Hospice

What's next?

Doh, I keep forgetting that this site doesn't do markdown.
Booking.com is awful. Anyone can make a listing on Booking.com for places that don't exist. Airbnb at least makes an effort to verify the building is real.
The real question to ask is what comes next: What will Trump do with the tariff money?

That is what's going to determine if the policy is good or bad - if he uses it to boost manufacturing in the US, add jobs, even give people a rebate, it could do good things for the US.
The title and much of the article suggests that sperm whale might be extinct today.

While their population is down from estimates before whaling in the nineteen century; current estimates are about half a million of them are swimming around the globe today.
A rough survey of compilation, recompilation, and compile-time evaluation
If someone argued against existence of Ukraine, we'd normally understand their position as hostile to Ukrainians, and definitely one that ignores everything they want or deserve. This isn't different, except it also ignores the historical context to an absurd degree, not just the current context
Here is a write up on the forecasted tariff impact, from the team that makes investment decisions at Wells Fargo.

https://drive.google.com/file/d/1Gk7TTyAYgyvvoP6szjV7J5wjjkC...
Not to dismiss Chollet’s work, but I’m starting to think he need prove nothing to even the muggles. For example, nearly any endurance athlete stands a good chance of being a Strava user. If you run in those circles, have you heard a single person with anything good to say about Strava’s “Athletic Intelligence”? Garmin is rolling out a beta right now that includes “AI Insights” or summat. Same deal: useless summaries like “you ran 5 miles today, which contributes to your aerobic base”. I could do better with a database and some if/else statements. And Garmin wants a subscription for this. (It’s included in Strava’s subscription, but I suppose you’re still paying for it.) And so now the memes tend toward “dumb AI insight of the day” on many online forums.

Seems to me that a lot of folks are enjoying having an LLM rewrite their email or whatever, but I wonder how many are actually buying the rest of it? The companies themselves sure aren’t helping.
> … I believe our community should embrace it sooner rather than later — but like all tools and practices, with the right perspective and a measured approach.

There is no such thing as a measured approach. You can either use LLM agents to abdicate your intellectual honesty and produce slop, or you can refuse their use.
Worse is when your booking is confirmed but then cancelled a week before you go, at which point all the prices are much higher
I mean once assembled. In my design you can remove card, put files in, boot again, use the files.
Carom3d