MurphyA/hacker-news huggingface dataset:
by ndsipa_pomu | 2025-04-30 17:15:02+00:00
Yeah, if you're targetting POSIX shells, then "command -v" may be more reliable.

If you're targetting BASH, then "hash" is a builtin so maybe slightly quicker (not that it's likely to be an issue) and it caches the location of "java" or whatever you're looking for, so possibly marginally quicker when you do want to run the command.

Whilst running "java -version" may be useful in some scripts (my scripts often put the output into a debug function so it only runs it when I set LOG_LEVEL to a suitable value, but it writes output to a file and STDERR), you run into an issue of "polluting" STDOUT which then means that you're not going to be using your script in a pipeline without some tinkering (ironically you're putting the failure message into STDERR when you probably don't care as the script is exiting and hopefully breaking the pipeline). Also, it can take some research to figure out what invocation to use for a specific command, whereas the "hash" version can just be used with little thought.

By the way, I don't believe that ">&2" is POSIX compliant, but that's trivial to fix.
by strathmeyer | 2025-04-30 17:15:18+00:00
"Never believe that anti-Semites are completely unaware of the absurdity of their replies. They know that their remarks are frivolous, open to challenge. But they are amusing themselves, for it is their adversary who is obliged to use words responsibly, since he believes in words. The anti-Semites have the right to play. They even like to play with discourse for, by giving ridiculous reasons, they discredit the seriousness of their interlocutors. They delight in acting in bad faith, since they seek not to persuade by sound argument but to intimidate and disconcert. If you press them too closely, they will abruptly fall silent, loftily indicating by some phrase that the time for argument is past."
by Lammy | 2025-04-30 17:15:18+00:00
> This is unusual — did your boss ever have to send you a memo demanding that you use a smartphone?

They did for Android testing actually. The biggest status symbol within the company was based around who got the latest iPhone model first, who was important enough to get a prioritized and yearly upgrade, and who was stuck with their older models for another year. This was back in the iPhone 3GS/4/4S/5 era. I took advantage of this by getting them to special-order me expensive niche Androids, because it was the only way they could get any employee to use one lol
by asveikau | 2025-04-30 17:15:42+00:00
Solaris got disrupted by Linux, and their hardware was disrupted by Intel machines. When Linux on x86 is working well, there's little reason to shell out money for Solaris on SPARC.

They had Java but that's also challenging to monetize. When it was introduced it was novel to have a portable C-like workhorse that has GC and bounds checking, but now there are many free options for that.
by h2zizzle | 2025-04-30 17:16:03+00:00
Empathy. If well-off people were to fully understand the situation the rest of us find ourselves in, and the increasing likelihood that it will eventually become a problem for them, too, they'd put all of their HOA-busybody/PTA-pearl-clutcher/campaign donor might behind solving the issue. They are currently in "ignore it, it doesn't effect me, it's not my problem" mode, heavy.
by IG_Semmelweiss | 2025-04-30 17:16:35+00:00
>>> The Cedar-8 rocket had nearly hit a British naval cruiser in the Mediterranean.

It seems they had no way to know where these things would land, or if they did, had no way to communicate to state actors of hazard zones ?

I'd love to know more.

>>> "By 1965, I realised that the Lebanese military’s interest had changed from scientific research for peaceful exploration of space, to rockets as an instrument of war.”

Due dilligence applies to all endeavors. Accepting VC money, or accepting government money, it still requires some work.
by rahimnathwani | 2025-04-30 17:16:39+00:00
Yeah when I do this, the modelfile has only FROM and TEMPLATE. No PARAMETERs:

ollama pull hf.co/jedisct1/MiMo-7B-RL-GGUF:Q4_K_M ollama show --modelfile hf.co/jedisct1/MiMo-7B-RL-GGUF:Q4_K_M
by badc0ffee | 2025-04-30 17:16:54+00:00
Would you really need to be doing that during school hours though? When would you even have time to do any of that anyway, outside of your lunch break?

That's setting aside that "have access to all of humanity's knowledge, and learn any subject I'm interested in" could mean Wikipedia, or it could mean short-form, attention-wrecking candy on Tiktok.
by titzer | 2025-04-30 17:17:09+00:00
Webpages are dumptrucks for every bad feature anyone ever thought up and are in a constant state of trying to re-framework their way out of the complete mess of utils that get shipped by default. Need a gadget that implements eye tracking via sidechannels? Yeah, they got that. And then justify that with "analytics" or anti-fraud and abuse, and no "click jacking" or whatever crap, and roll it times 1000.
by nemomarx | 2025-04-30 17:17:27+00:00
If you built that alternative, would companies choose to use it? they get teams built into their outlook and office 365 contracts and all the other integration. Slack didn't lose because it was worse, so just being better isn't enough.

The hurdle is producing a full suite covering everything Microsoft sells in one package, which seems impractical without their funding to start with.
by nradov | 2025-04-30 17:17:55+00:00
Right. The last serious third-party presidential candidate was Ross Perot in 1992. In terms of political platform and voter appeal he was slightly more similar to the incumbent Republican candidate George H. W. Bush, which probably enabled the Democrat candidate Bill Clinton to win (although it's impossible to know what would have happened if Perot didn't run).

Some political analysts claim that Perot entered the race not really intending to win but rather as retribution against Bush. In 1979 the Iranian regime imprisoned two of Perot's EDS employees. Perot asked Bush, who was then Director of the CIA, to get them out. Bush refused to act and Perot held a grudge against him ever since.
by thehoff | 2025-04-30 17:18:05+00:00
I'm in this space. Where I work we've already lost 10% of our staff with senior management looking for an additional 15% in budget cuts (anything else we can cut).

So this sector may be "ignored" so to speak (though I'm not even sure what that means). I also have a number of friends at agencies and government contractors that all think they will "feel" these possibly large federal budget cuts. They are all on edge, especially with eyes towards the end of summer and early fall.
by egorfine | 2025-04-30 17:18:26+00:00
> Are 20ish days of paid vacation per employee per year really an insurmountable obstacle for a tech startup? I'm guessing this was just an example but a weird one nonetheless.

Almost none of these rules by itself is insurmountable[1]. But it all adds up friction in the workforce dynamic which might end up halting the company. And afterwards you will be unable to bankrupt the dead company specifically because of the social protections.

Or the sheer inability to fire a developer in Germany because laws here assume that the only work that exists is at a factory producing physical things. So hiring an intellectual worker becomes a huge commitment not to dissimilar to marriage and all of that doesn't help growing.

[1] A notorious exception perhaps would be the paid maternity leave, as fraud with this one is something that happens in real life and can be deadly to a micro startup at the earliest stage.
by dylan604 | 2025-04-30 17:18:38+00:00
> Maybe I'm getting old, but I don't see how anyone can stand it anymore.

when you're not an old, and this is all you know, you just accept it without knowing that there was a better world back when the olds were young. not being able to accept this really shows how old man yells get off my lawn you are. YT is not trying to capture you, and probably doesn't care one bit about olds. it's the younger crowds that have been given YT as an absentee parent/babysitter that they have been able to set their hooks in from the beginning. that's the group that will be making them money for years to come
by kashunstva | 2025-04-30 17:18:52+00:00
> Biden was a really terrible president by any metric except for "isTrump? yes/no"

It’s not solely Trump’s identity that makes that distinction; it’s the haphazard, uninformed, and ruinous adventures in poor decision-making in economics and otherwise that characterize the difference. Biden was ineffective and a poor choice, but utterly benign in comparison to his mendacious, unskilled successor.
by shayway | 2025-04-30 17:18:54+00:00
Sorry, by 'this case' I meant in the article:

> The Lebanese Army and what remained of the Rocket Society would go on to launch another rocket, the Cedar-10, and western powers decisively stepped in to end Lebanon’s experiment once and for all. The Rocket Society was disbanded and the program shut down.

I did some searching around but I can't find any information on what it might be referring to.
by fckgw | 2025-04-30 17:19:27+00:00
The vast amount of warehousing in SoCal is in the Inland Empire, the logistics capital of the country, not LA proper. There's very little warehousing being done in LA and there's still ample land in the IE and high desert areas. It should have zero effect on housing prices in the area, they already moved further inland since ecommerce took off 20 years ago and only accelerated since the pandemic.
by trealira | 2025-04-30 17:19:30+00:00
I didn't even know C++ had generators, but you're right, generators make functions that walking trees much more obviously correct and convenient to write.

The site cppreference has an example of walking trees in C++ using them.

https://en.cppreference.com/w/cpp/coroutine/generator

But I have a question: why is it that in your example, you write `await` before the generator function, but it's not in the example given on cppreference? Also, did you mean `co_await`?
by ptero | 2025-04-30 17:19:30+00:00
>> "Going on a moral crusade to change the world? No, thank you. They do not end well; not for the world, which likely will not even notice, but for the crusader who will likely become disillusioned, radicalized or bitter when the world does not budge. My 2c."

> Your choices are yours, as are your 2c, but the rest neither follows nor computes. What follows from your logic is that serfdom and slavery are perfectly fine, you wouldn't bother to find a better way if they were imposed on you

Please explain how does "serfdom and slavery are perfectly fine" follow from what I wrote.
by corimaith | 2025-04-30 17:19:33+00:00
>Nobody's going to start a hot war with their neighbor when they rely on each other through trading.

World War 1 begs to differ, hell even the Russian invasion of Crimea back in 2014 begs to differ. Economic interdependence dosen't stop authoritarians, it only threatens democracies with a larger margin for dissent.
by OJFord | 2025-04-30 17:19:34+00:00
You may have thought you were saving your details with that shop (or not realised at all of course) but yes this is a recentish feature I think, at least I haven't noticed it for long, branded 'Shop pay' iirc.

As for legality in the EU/UK, it's just like everything else, on some level they technically asked for consent and you gave it, but yes, dark patterns abound.
by siliconc0w | 2025-04-30 17:19:46+00:00
This is incredibly strong coding performance for a 7b. I use Gemini Pro 2.5 which got 67.8 and this got 57.8, very close to Gemini 2.5 Flash which got 60.6.

I've become pretty skeptical about eval results given what we've heard about llama4 so we'll see where this lands on the closed evals but very impressive to see.
by nullc | 2025-04-30 17:20:08+00:00
SA.45s (and the eval board) has been on mouser in the past, I'm not sure if they carry it now because mouser continually blocks me these days. It was previously around $1500.

If you're interested in a small atomic clock and don't absolutely require the very low power consumption of the SA.45s and the very small package size you can get better performance, reliability, and cost in something a big larger and quite a bit higher power consumption.

The CSAC improved atomic oscillators a lot more in power than size... but its timekeeping performance is so/so as far as atomic clocks go.

In particular, the surplus market has a lot of telecom rubidium that can be had quite inexpensively.

I'm personally a fan of the PRS-10 (which also exists in a benchtop form, the SRS725). They seem to regularly sell on ebay for about $300 with a little breakout board for power. And unlike many small rubidiums they have very good phase noise. You can sync them to GPS time using a 1pps input (though I believe on the bare modules the 1pps sync is optional so if you want to use it be sure to get one that has it).
by tonyarkles | 2025-04-30 17:20:09+00:00
https://scdn.rohde-schwarz.com/ur/pws/dl_downloads/premiumdo...

Passive RADAR is an incredibly cool technology. Instead of the RADAR station transmitting its own signals, it relies on nearby high-power cultural transmissions (FM radio, broadcast TV, etc) as the signal source and measures the reflections of those signals off of aircraft. Since the majority of traffic in the region would be broadcasting ADSB, you'd be able to figure out which tracks from your Passive RADAR system correspond to aircraft without ADSB.
by bluGill | 2025-04-30 17:20:13+00:00
Clothing is hard because it needs to have stretch. Iron is easy to automate because it doesn't stretch (well it does but not by enough to worry about). Thus we have been automating steel for a long time, and clothing still has a lot of manual sewing done on it. To the extent we have automated sewing it is often has a significant quality reduction.

Hopefully somebody can solve the problem. There is a lot of work on it, and progress is being made. Don't ask me how close they are, I don't work in that space.
by throwaway2037 | 2025-04-30 17:20:20+00:00
Fair point! I am talking about when people receive Outlook emails or Word docs that contain em-dashes, then assume it came from ChatGPT. You are right: If you are typing "plain text in a box" on the Reddit website, the incidence of em-dashes should be incredibly low, unless the sub-Reddit is something about English grammar.

Follow-up question: Do any mobile phone IMEs (input method editors) auto-magically convert double dashes into em-dashes? If yes, then that might be a non-ChatGPT source of em-dashes.
by macspoofing | 2025-04-30 17:20:59+00:00
>The administration has absolutely no idea what they're doing.

In general, I agree with your sentiment, but there are competent people in the administration. However, all of them are paralyzed because Trump can alter any plan or policy at a whim, and he insists being involved in everything. And you can see that in the interviews Bessent or even Lutnick give - where they hedge everything because they know it could change any minute. For example, there was no plan to set 145% tariffs on Chinese imports, Trump just did it out of nowhere on TruthSocial.

That's also true of foreign policy in general. Rubio and State Department have zero power at the moment. Neither the Russia-Ukraine peace plan, nor Iranian nuclear arms control, nor Gaza-Israel negotiations are going through the State Department.

>All of this is happening so the wealthiest 1000 people, who already pay almost no taxes, can pay slightly less in taxes.

I disagree with that. This all happening because Trump is incompetent but also arrogant and highly opinionated. I don't think there is a nefarious plan here. Trump probably really does think that you can replace income tax with tariff revenue.
by _xerces_ | 2025-04-30 17:21:07+00:00
Two interesting things I took away from that were first that the uncertainty and constant changes of mind by the President on the actual rates and lack of reliable communications were almost as harmful as the tariffs. Second, that there is a "snowball effect" in that you often have to pre-pay, so you take out more loans at a worse interest rate to make your order and then if because costs went up, you order fewer items as well as being hit with a higher per-item cost.

The whole thing is a mess and shows how incompetent the current implementation is.
by taylodl | 2025-04-30 17:21:25+00:00
As I've said elsewhere, that's not how markets work. Supply is balanced with demand. Disrupting supply while keeping demand constant will result in an increase in prices and less stock available to purchase. Add in irrational hoarding when people see fewer things available, and we could have a real problem on our hands. This isn't even addressing the fact that not everything coming from China are items available for immediate sale; many are components used in other products. If shelves don't go empty, it's likely to be the result of the price of everything increasing to quell demand.
by nerdsniper | 2025-04-30 17:21:26+00:00
This is also an issue on desktop web. YT will arbitrarily change the quality/resolution but doesn’t update the selector displayed in the UI. So for every single video I have to select 4K just in case YT might be serving it at 1080p or some other resolution even though it displays “4K” on the UI element.

Also the compression algorithm is very aggressive and it works reasonably well for general content but for edge cases (like starcraft streams), the 1080p loses enough details to make it hard to see important things like observers and outlines of individual units in crowded clusters. The compression algorithm just isn’t trained/tuned for these types of content, so even on a 1080p screen I need to stream at 4K just to see the details properly.
by mattlutze | 2025-04-30 17:21:43+00:00
Honestly I'm here for it, because it's an option for a market of groups that don't otherwise have the opportunity to deploy this kind of capability. Teams feelings aside :)

I worked for a client once that refused to let us build and manage databases for things that needed it. The one option in the end that we could get approved was using Microsoft SharePoint lists and CRUD'ing to them through the Javascript API.

A lot of problems have lame constraints, but having an option at all to solve them is pretty nice.
by roughly | 2025-04-30 17:22:06+00:00
I think it's impossible to understand the relationships here without really grokking that the MAGA set is both incompetent and incoherent. The movement is properly seen as an angry tantrum - a reaction to the state of the world, not a coherent ideology and plan for improving it. The coherent ideology and plan for improving it involves actually investing in domestic manufacturing, a strong push for labor rights and unions to make sure people are getting paid, a commitment to antitrust action, and, yes, protectionism of domestic industry (as a fun bonus, compare that to Biden's economic policies), but that's not what we've got here - we've got rage and anger and personal vendettas and wishful thinking as policy.

This is what I mean when I say the oligarchs have the tiger by the tail - from the time of the Moral Majority through the evangelicals of Bush's era through the Tea Party through MAGA, the business wing of the republican party has been cultivating the populist wing as an electoral strategy. They've managed to muddy the water with enough "government bad, immigrant criminals, trans athletes" rhetoric that what you've got now is a party and a movement that can _feel_ that there's something wrong - stagnant wages, inaccessible health care, deaths of despair, and Jeff Bezos - but the right wing message machine still has enough of a hand on the wheel that they can't actually get their way to things like labor rights and social security and all the other stuff we came up with last time this kind of thing happened.

Then you get Donald Trump, who well and truly does not give a shit about anything at all, and so he's absolutely fine to grab the wheel here and yank it hard into populism land, and now the oligarchs have a problem, because they've got a mafia boss at the head of an angry mob, and no part of that has any coherent ideology except Trump's crystal clear vision of people paying him a lot of money and treating him like a king, and now you've got tantrum as policy and no actual adults left in the room.

So, yes, America First and the MAGA movement are, depending on the day and time, anti-oligarch, but they're anti-oligarch like a dog is anti-car - there's not really a _plan_ there, just a lot of noise and motion and probably some teeth marks, but I don't really think it's gonna work out great for the dog either.
by mulmen | 2025-04-30 17:22:44+00:00
> The solution is endless growing bureaucracy to implement and enforce fairness at every level and it is happening everywhere I can see.

Really? Endless? Everywhere? “I can see” is doing a lot of work there.

> From my experience family members have some sort of obligation towards other members( though maybe less true or just untrue in modern day US) whereas friends can say yes or no to any request purely based on convenience.

Ostensibly the United States is a meritocracy.

Nepotism is a form of corruption. It’s fine to help your family and peers with their career development but it’s not ok to hire them based purely on your relationship.
by smusamashah | 2025-04-30 17:22:57+00:00
That Putnam bench graph (middle one) is showing 49/658 solve rate.

> The resulting model, DeepSeek-Prover-V2-671B, achieves state-of-the-art performance in neural theorem proving, reaching 88.9% pass ratio on the MiniF2F-test and solving 49 out of 658 problems from PutnamBench.

Which is 0.07% (edit: 7%) for PutnamBench
by dekhn | 2025-04-30 17:23:44+00:00
I have a RAV4 Prime (decided to get that instead of a Tesla) and I absolutely love it. It's the best of all worlds for my use case (mostly <40mi daily commute entirely on battery, occasional longer drives that use gas). I often go months+ without refilling the gas tank, and it charges overnight from empty. And, it's clearly Toyota quality in terms of implementation.
by tonyarkles | 2025-04-30 17:23:48+00:00
> They have anti air weapons in embassies and wait for a military helicopter transporting a high value target?

I agree with you that it seems relatively unlikely that there would be a large weapons cache inside an embassy. I want you to consider the opposite scenario of what you're dismissing though.

If an American CIA officer in Russia wanted to shoot down a helicoper, do you think it would be that difficult for them to get ahold of a rocket launcher and do so?
by const_cast | 2025-04-30 17:24:08+00:00
The thing is that using a smartphone is a _very easy_ skill. I mean, who are we kidding. These devices are set up such that the stupidest person can use them.

It's not 1995 anymore and we aren't walking in a line to the computer lab. These things are idiot-proof. You really don't need hours of practice everyday to learn how to use them.