MurphyA/hacker-news huggingface dataset:
by dwohnitmok | 2025-04-17 04:27:02+00:00
No a TVar isn't a mutex guard. As a sibling comment points out it gives you transactional semantics similar to most relational databases.

Here's an example in perhaps more familiar pseudocode.

var x = "y is greater than 0" var y = 1 forkAndRun {() => y = y - 1 if (y <= 0) { x = "y is less than or equal to 0" } } forkAndRun {() => y = y + 1 if (y > 0) { x = "y is greater than 0" } }

In the above example, it's perfectly possible, depending on how the forked code blocks interact with each other, to end up with

x = "y is less than or equal to 0" y = 1

because we have no guarantee of atomicity/transactionality in what runs within the `forkAndRun` blocks.

The equivalent of what that Haskell code is doing is replacing `var` with a new keyword `transactional_var` and introducing another keyword `atomically` such that we can do

transactional_var x = "y is greater than 0" transactional_var y = 1 forkAndRun { atomically {() => y = y - 1 if (y <= 0) { x = "y is less than or equal to 0" } } } forkAndRun { atomically {() => y = y + 1 if (y > 0) { x = "y is greater than 0" } } }

and never end up with a scenario where `x` and `y` disagree with each other, because all their actions are done atomically together and `x` and `y` are specifically marked so that in an atomic block all changes to the variables either happen together or are all rolled back together (and tried again), just like in a database.

`transactional_var` is the equivalent of a `TVar` and `atomically` is just `atommically`.
by ty6853 | 2025-04-17 04:28:56+00:00
I think you're looking at this with a misunderstanding of how SS works. You didn't pay hardly any SS to the youth that will support you from which you will make your demands. Rather you reciprocated to the investment made by elders that raised you.

The money you paid the elderly in SS is gone. The question is what proportion of the investment in the youth did you make that will pay you. Probably some, but likely less on average than a parent/guardian.
by PedroBatista | 2025-04-17 04:29:24+00:00
This is a font by adults to adults: the ones in charge of the KPIs.

The font is cool, I have no gripes with it. The things I can't stand is the absolute corporate BS coated with a heavy layer of weak "science" and "empowering kids".

If the work is good, just let it do the talking. No need for waterboarding us with waves of corporate slop.

Again, the font is fine. Congratulations to the people who worked on it.
by TheAlchemist | 2025-04-17 04:29:26+00:00
Such a shame that Tesla will need to report the Robotaxi rollout due to tariffs /s. I kid you not - this is a great excuse and they will 100% use it in some way.

It's already clear for a lot of people that the numbers at Tesla don't add up. They were able to cut a lot of (legal and accounting...) corners when they were growing quickly, but it will be much more complicated now when they are contracting.

Sure they can kick the can down the road a bit, let's say for 4 years during which US seems to be akin to a Banana Republic, but what's the end game ?

Is there anyone serious who still believes that this is a 1 Trillion $ company ? I would love to hear some serious arguments (other than projecting 100s of Billions $ from Robotaxis next year...)
by bastawhiz | 2025-04-17 04:31:14+00:00
> I'm pretty sure gzip would just compress that.

Bytes on the wire aren't nearly as important in this case. That value still has to be decompressed into a string and that string needs to be parsed into objects and that's all before you pump it into the renderer.

> have a wrapper client component that takes a server components as a child.

That doesn't work for the model defined in this post. Because now each post is a request to the server instead of one single request that returns a rendered list of posts. That's literally the point of doing this whole roundabout thing: to offload as much work as possible to the server.

> For example, for each post, have a server component, that contains a <ClientDeleteButton postId={...} />.

And now only the delete button reacts to being pressed. You can't remove the post from the page. You can't make the post semi transparent. You can't disable the other buttons on the post.

Without making a mess with contexts, state and interactivity can only happen in the client component islands.

And you know what? If you're building a page that's mostly static on a site that sees almost no code changes or deployments, this probably works great for certain cases. But it's far from an ideal practice for anything that's even mildly interactive.

Even just rendering the root of your render tree is problematic, because you probably want to show loading indicators and update the page title or whatever, and that means loading client code to load server code that runs more client code. At least with good old fashioned SSR, by the time code in the browser starts running, everything is already ready to be fully interactive.
by benoau | 2025-04-17 04:31:25+00:00
Absolute desperation for the illusion of engagement and retention. Otherwise, you'll almost definitely only get back there via an aggregator rarely if ever. The aggregators themselves, are almost down to just Google/Apple/Meta/Twitter, they don't care who they send the traffic to they just want a shitload of rent. They only care if you pay them to promote/boost/etc, and that's just extra rent for the aggregator to get around their shitty discovery and search, plus maybe 30% fee if you buy your boosted posts on your iPhone.

With that illusion of engagement and retention, they can convince someone to pay them to put ads and shit throughout and if they're lucky earn enough to keep playing.
by chillfox | 2025-04-17 04:31:37+00:00
Sure, but they also got a cut from all of those dvds I bought before streaming services was a thing or the new dvds/blu-rays I am picking up now.

I mostly watch movies I have already seen before, but with the fragmentation and constant moving around that's happening with steaming services I would frequently end up using 3+ different ones every month. The constant cancel/renew cycle was a real hassle and very error prone, I would often forget one or two.

I only watch about 20 new movies a year, so even without hunting for bargains I will easily save a lot of money. But I will be looking for bargains, because why not.
by jauntywundrkind | 2025-04-17 04:32:16+00:00
Indeed. Seems much more similar to Intel's RealSense L515, which was a tiny Lidar package. 1024x768@30fps, only 9m range thought; 20m/40m outdoors/indoors sounds impressive! I think mine retailed for like $300 at the time?

Am curious what the applications for this are. Is this for drones? is this for auto-focus and or auto tracking? Thinking of Insta360's new addon for their small gimbal, which adds auto tracking; maybe similar uses? https://www.theverge.com/news/614366/insta360-flow-2-pro-ai-... Sony may not really know to be fair!

On the very low end, I'd mention the very affordable single chip 8x8 pixel 4m depth vl53l5cx. Used by ETH Zurich on a swarm of very lightweight mapping drones! https://www.st.com/en/imaging-and-photonics-solutions/vl53l5... https://hackaday.com/2024/10/11/tiny-drones-do-distributed-m...
by iambateman | 2025-04-17 04:34:09+00:00
This is really cool!

Does long-range ubiquiti just work because you’re in the mountains?

I’m down in much-flatter Columbia South Carolina. Would a similar setup even be physically feasible?

We had a company burying fiber, but their installers almost blew up a gas line during 5 o’clock traffic and it really pissed city council off.
by skydhash | 2025-04-17 04:34:13+00:00
Was happy for a time, then I realized I only listen to the same playlists (generated playlists don't work for me as I need some time to appreciate new music). Now I use YouTube/SoundCloud to check out artists' releases, and then get the whole album if it's interesting.

I have a decently sized library with my favorite albums and that's been sufficient for some time now. Every once in a while, I track new releases and explore new genres, then add the few that picked my interest to my library.

Intentionally is great for enjoying art (and YouTube is more than enough for mood music)
by dwohnitmok | 2025-04-17 04:35:23+00:00
Clojure's STM never really took off because, for various reasons, it's not as easy to compose as Haskell's (where you can build up a big library of STM blocks and piece them together at the very edges of your program). As such Clojure's STM implementation doesn't actually have a great reputation within the Clojure ecosystem where it isn't usually used in most production codebases (whereas in Haskell STM is often one of the first tools used in any production codebase with concurrency).

Basically it's the difference between focusing only on transactional variables without having a good way of marking what is and isn't part of a larger transaction and having a higher-order abstraction of an `STM` action that clearly delineates what things are transactions and what aren't.
by 0xbadcafebee | 2025-04-17 04:36:51+00:00
Simplest possible, least invasive, most secure thing I can think of: QR code on the router with the CA cert of the router. Open cert manager app on laptop/phone, scan QR code, import CA cert. Comms are now secure (assuming nobody replaced the sticker).

The crazy thing? There is already two WiFi QR code standards, but they do not include the CA cert. There's a "Wi-Fi Easy Connect" standard that is intended to secure the network for an enterprise, and there's a random Java QR code library that made their own standard for just encoding an access point and WPA shared key (and Android and iOS both adopted it, so now it's a de-facto standard).

End-user security wasn't a consideration for either of them. With the former they only cared about protecting the enterprise network, and with the latter they just wanted to make it easier to get onto a non-Enterprise network. The user still has to fend for themselves once they're on the network.
by Animats | 2025-04-17 04:36:57+00:00
Fry's American Institute of Mathematics built and operated a 192-acre golf course in Morgan Hill.[1] There was some suspicion that was the real purpose of the Institute. They'd been trying to build a large clubhouse (er, "headquarters") on the site, built to look like the Alahambra castle and equipped with guest rooms, a wine cellar, and "a gourmet-industrial kitchen with master chefs from a San Francisco seafood restaurant and a Napa Valley resort." That was not, apparently, built. Here's what it was supposed to look like.[2]

[1] https://www.greenfoothills.org/pga-tour-eyes-frys-course

[2] https://archive.is/1sukx
by nodesocket | 2025-04-17 04:37:14+00:00
There are projects working on distributed LLMs, such as exo[1]. If they can crack the distributed problem fully and get performance it’s a game changer. Instead of spending insane amounts on Nvidia GPUs, can just deploy commodity clusters of AMD EPYC servers with tons of memory, NVMe disks, and 40G or 100G networking which is vastly less expensive. Goodbye Nvidia AI moat.

[1] https://github.com/exo-explore/exo
by danra | 2025-04-17 04:37:16+00:00
Am I the only one underwhelmed by Claude Code (which most comments here claim is better than Codex)?

Anecdotal experience: asked it to change instances of a C++ class Foo to a compatible one Bar, it did that but failed to add the required include where it made the change.

Yes, I'm sure that with enough prompting/hand-holding it could do this fine. Is it too much to expect basics like this out of the box, though? If so, then I, for one, still can't relate to the current level of enthusiasm.
by jauntywundrkind | 2025-04-17 04:38:44+00:00
The admin's ever increasing desperate shrillness is making somewhat of a standoff. He's gone from a gang member to a human-smuggling terrorist gang leader real fast. While also being an apprentice steelworker, supporting his wife & her kids from a previous marriage?

The admin is absolutely over the top with lies deceit & no good. Unwilling to be at all reasonable at any point. They are desperate to make sure no one ever has a chance to make them look like the clown car full of incompetents with no one but syccophantic pathetic mouthy yes men that they are.

But the admin is destined to eat shit again and again. You can't just disappear people cleanly & conveniently; even sending them into an awful concentration camp where no one can hear from them ever won't hide the lies & insanity these monsters spew.
by lend000 | 2025-04-17 04:39:07+00:00
I imagine after GPT-4 / o1, improvements on benchmarks have been increasingly a result of overfitting, because those breakthrough models already used most of the high quality training data that is available on the internet, there haven't been any dramatic architectural changes, we are already melting the world's GPUs, and there simply isn't enough new, high quality data being generated (orders of magnitudes more than what they already used on older models) to enable breakthrough improvements.

What I'd really like to see is the model development companies improving their guardrails so that they are less concerned about doing something offensive or controversial and more concerned about conveying their level of confidence in an answer, i.e. saying I don't know every once in a while. Once we get a couple years of relative stagnation in AI models, I suspect this will become a huge selling point and you will start getting "defense grade", B2B type models where accuracy is king.
by chii | 2025-04-17 04:39:10+00:00
It's not really the size that matters in this case, because the video is loaded after the page is completed, and in theory, ought not be slowing down the page if at all (my cursory examining of the network tab gives me a sort of confirmation).

However, what is indeed slow is the initial load, and the lack of CDN for their static assets (css etc). When the HN effect started eating their resources, these static assets are what hurt their load time the most.
by deepsun | 2025-04-17 04:39:54+00:00
Well in that country pretty much everything was tried except for civil war, but because a much more powerful neighbor actively supported the autocrat, everyone saw it's futile.

In US case I think the most efficient way would is to start petitions to impeach your representative for their lack of fight. Elected officials are extremely sensitive to not being re-elected.

I think US is still pretty far from the point where the only option is violence. In my previous country that is the only option left unfortunately.
by snuxoll | 2025-04-17 04:40:12+00:00
The biggest difference between the language-specific IDEs in my experience is how they expose the project structure, with GoLand, PyCharm, etc. providing a much more directory centric workflow while Rider by nature has to work around .sln and .*proj files.

But Rider is uniquely weird in its use of ReSharper for code analysis.
by kxyvr | 2025-04-17 04:41:27+00:00
That's not true. Here's an abbreviated list from:

http://historyguy.com/major_wars_19th_century.htm

I'm sure there are others. It lists:

Greek War of Independence (1821-1832) French invasion of Spain (1823) Russo-Persian War (1826-1828) Russo-Turkish War (1828-1829) Hungarian Revolution and War of Independence (1848-1849) First Schleswig War (1848-1851) Wars of Italian Independence (1848–1866) Crimean War (1854–1856) Second Schleswig War (1864) Austro-Prussian War (1866) Franco-Prussian War (1870-1871) Russo–Turkish War (1877–1878) Serbo-Bulgarian War (1885) Greco–Turkish War (1897)

Together, that adds up to multiple decades of war.
by Uzmanali | 2025-04-17 04:42:13+00:00
Most content apps aren’t built for reading; they’re built for clicks, time on site, and ad views. That’s why everything is cluttered, autoplay, likes, pop-ups… they tested well for engagement, not for peace.

I’ve built content apps and learned this the hard way. Clean design feels good, but it doesn’t always boost the right metrics.

Now I stick to RSS, newsletters, and read-it-later tools like Matter, way less noise, and I read more.
by chii | 2025-04-17 04:42:30+00:00
I wonder if there's value in a method by which you slow down traffic by region, while keeping/saving resources alive for faster traffic in a different region (that you actually care about). Surge traffic such as HN frontpage will cause massive amounts of traffic to come in from all over the world, but because this service is only relevant to locals, it would suck to have hurt their speed/experience.
by knes | 2025-04-17 04:42:49+00:00
Right now the Swe-Bench leader Augment Agent still use Claude 3.7 in combo with o1. https://www.augmentcode.com/blog/1-open-source-agent-on-swe-...

The findings are open sourced on a repo too https://github.com/augmentcode/augment-swebench-agent
by reed1234 | 2025-04-17 04:43:17+00:00
If the president doesn't abide by the courts that's a constitutional crisis, a fundamental problem. Maybe this one instance isn't enough to say that the Trump admin won't abide by the courts, but it's a start. Immigration is not the issue either. It's about the 3 equal branches of government and how one branch is trying to discredit the other. The issue isn't about public perception. The issue is about how the US government will function if the constitution is ignored by the Executive branch.
by musicale | 2025-04-17 04:44:11+00:00
> Get Apple Pascal up and running in some kind of emulator on my Mac, so I can experience it again

I wonder if Lisa Pascal will run in a Lisa emulator...

> Build a p-machine emulator, in Rust

Probably a p-code interpreter and/or p-system VM! (Analogous to the JVM but for Pascal/p-system rather than Java and its bytecode. p-code translator/JIT compiler probably left as an exercise for the reader.) I'm surprised that nobody seems to have written one in JavaScript and/or webassembly... the latter basically being p-code for the 2020s.
by webprofusion | 2025-04-17 04:45:09+00:00
Pretty sure this only refers to publicly trusted certs. What percentage of public certs are still being manually managed?

I've been in the cert automation industry for 8 years (https://certifytheweb.com) and I do still hear of manual work going on, but the majority of stuff can be automated.

For stuff that genuinely cannot be automated (are you sure you're sure) these become monthly maintenance tasks, something cert management tools are also now starting to help with.

We're planning to add tracking tasks for manual deployments to Certify Management Hub shortly (https://docs.certifytheweb.com/docs/hub/), for those few remaining items that need manual intervention.
by ty6853 | 2025-04-17 04:49:38+00:00
From my time in central America, it is a top down shakedown operation for literally anything and everything. Very pragmatic people really. They will profit both ways, coming and going. That's the key thing the senator from Maryland forgot when he thought he could reason with them from a sense of justice.

They're going to want favors or money. I knew why the senator failed as soon as he said it, he should have talked to literally anyone with family in a former Spanish colony before he went down there.
by gnabgib | 2025-04-17 04:50:25+00:00
Discussion (in past thread) https://news.ycombinator.com/item?id=43704827

Related CVE program faces swift end after DHS fails to renew contract (1884 points, 1 day ago, 1091 points) https://news.ycombinator.com/item?id=43700607

Related CVE Foundation Launched to Secure the Future of the CVE Program (320 points, 16 hours ago, 63 comments) https://news.ycombinator.com/item?id=43704430
by tirant | 2025-04-17 04:52:41+00:00
I really don’t understand the argument that these subscriptions are just making the rich richer.

In the first place why would that be a problem? If a company offers a good value and service for your money, isn’t it fair to compensate them for it? Does someone need to be compensated less just because they have been successful in the past providing good value for money? That would create weird or negative incentives.

Then, what’s the negative consequence of rich people getting richer? It’s not like the economy is a zero-sum game. The proportion of poor and extremely poor people has gone downhill in the last 200 years, while population has increased 8x (we’re probably around 10% of extreme poverty compared to +90%).

And then, there’s the lack of evidence of really rich people getting richer. How much of your money going to Spotify is really going to rich people compared to employees, artists, little shareholders? Maybe the impact of the earnings of Spotify is disproportionately helping normal citizens make a living compared to the very few big shareholders that are already rich.

What’s the alternative? Spending the same amount of money exclusively on Albums that probably bring a higher cut to big music companies and do not expose you to little or unknown artists? While at the same time you spend hours every month in the maintenance of your own music service while you could have used that time to help in some community projects or just earning more money to donate to causes impacting the extremely poor?

I’m really not sure at all that a subscription service like Spotify has any negative consequence for humankind.
by coobird | 2025-04-17 04:52:59+00:00
That was my local Fry's and I wouldn't touch any returned item with a 10-foot pole given the stories I heard about them, despite them being on discount. This was back in the late 90s before social media, so it must of been word of mouth through my high school friends.

I had the impression that their return process was very lax so you'd have "customers" returning broken items or worse... And they'd end up on the shelves with the white "returned item" sticker with the discounted price.
by solardev | 2025-04-17 04:53:11+00:00
I don't think Apple would outright mislabel it if it were some other kind of depth sensor. iPhones do also combine data from the visible light cameras to aid in depth mapping, but the lidar sensor is a separate emitter and receiver.

As far as I can tell, it's true lidar?

Technical analysis: https://4da.tech/?p=582

Being used for science: https://www.nature.com/articles/s41598-021-01763-9
by hayst4ck | 2025-04-17 04:54:20+00:00
Without rule of law no other issue matters.

You think you are a citizen today because you've always been a citizen, you have papers to prove it. It's never even been questioned. What if those papers get destroyed? What if the officer interpreting your papers is employed by someone who doesn't like you because you're disobedient. Without rule of law your status as a citizen doesn't protect you. Without a functioning judiciary capable of providing consequences to those who violate rule of law, you have no one to appeal to.

This administration complains about single judges restricting their actions. That should literally terrify you. The judges are not stopping the administration, they are ruling that the law is stopping the administration. When the administration says it is judges stopping it, it is claiming that there is no law, only the actions of loyal or disobedient men.

We are in a constitutional crisis. We are effectively lawless. Right now, we cannot depend on the law to restrict powerful people's actions. We have no way to predict what is possible for someone with a gun who is loyal to the president to do without consequences and therefore no way to act as if the law protects us.
by instagraham | 2025-04-17 04:55:20+00:00
> it’s openly available under an MIT license and can run on CPUs, including Apple’s M2.

Weird comparison? The M2 already runs 7 or 13gb LLama and Mistral models with relative ease.

The M-series and Macbooks are so ubiquitous that perhaps we're forgetting how weak the average CPU (think i3 or i5) can be.