MurphyA/hacker-news huggingface dataset:
by librasteve | 2025-05-09 19:05:11+00:00
I admire the goal of concise and expressive code.

Here is the basic table example presented in the post recast in https://harcstack.org functional HTML (well this is the entire website)...

sub SITE is export { site index main table :thead[<Name Email Age>,], do {[.name, .email, .age]} for @users }

Note to self - never, ever do "like-for-like" comparisons with code.

To be fair HARC Stack doesn't have a table component with sortable, filterable cols yet - but it is HTMX centric so should be pretty fun to spin one up.

And never mention that this is raku code.
by Retric | 2025-05-09 19:05:34+00:00
Hogwash.

Producing books without a profit motive requires some other means to support the vast time investment. Thus robbing the world of great works from those lesser creatures who still need to work for a living.

The only loss is competition drowning out the works of well off but talentless people. We’ll get vanity projects either way, what we lose is however irreplaceable.
by dsafasdfas3232 | 2025-05-09 19:06:40+00:00
I'm guessing they probably could not have scaled as far and fast as they did without AWS. To me, this scalability is the cost of doing business as a younger growth company. As your workload becomes more predictable, this additional cost becomes less beneficial. I've come to see that often companies say they are saving money by moving off AWS, but much of these saving come as part of rearchitecting or optimizing their systems.
by hn_throwaway_99 | 2025-05-09 19:07:29+00:00
> But I think current AI (not where it might be in a few months or years) is absolutely amazing for disadvantaged people. Access to someone who's average is so freaking cool if you don't already have it. Used correctly it's a free math tutor, a free editor for any papers you write, a free advice nurse.

Interestingly, I think AI, if its biggest boosters are correct, will end up being an absolute disaster for disadvantaged people.

The fact is that the vast majority of people in the current world are able to survive by selling their labor. If AI makes it so that, say, 50% of the world's population is no longer able to survive by selling their labor, that leads to massive serfdom, not some sort of Star Trek utopia.

And the thing that is shocking to me is that I haven't seen any (like, absolutely zero) credible explanation from AI boosters of how this dystopian end state is avoidable. I've either heard misdirection (e.g. yes, I agree AI is amazing at what it can do, but that doesn't explain how people will eat if they don't have jobs), vague handwavy-ness, or "kumbaya talk" about stuff like basic income that seems to completely ignore human nature.

I would absolutely love to be convinced I'm wrong, but that would need to start with at least something approaching a rational argument as to how the benefits of AI will be more equally distributed, and I have yet to hear that.
by _heimdall | 2025-05-09 19:08:07+00:00
Scientific research today is largely about publishing positive results, we rarely see negative results published and most people focus on publish novel work rather than attempting to validate someone else's work.

I agree with you, its a terrible idea to base your work on someone else's when it hasn't been well confirmed in independent research.

I consider the source work in the OP as foundational because Microsoft built so much work and spent so many resources building on top of it. It's not foundational to the entire field but it is foundational to a lot of follow-up research.
by Rochus | 2025-05-09 19:08:44+00:00
The new and relevant contribution is the "Apple Lisa Pascal Compiler sources", see the corresponding section and the link at the bottom of the page (http://pascal.hansotten.com/uploads/lisa/Lisa%20Pascal%20sou...). The "Apple Lisa Operating system sources" were already published in 2023 by the Computer History Museum (see also my code navigator, https://github.com/rochus-keller/lisapascal/).
by jajko | 2025-05-09 19:09:20+00:00
This is something I don't get - solar system is say 5 billions years old (a bit less I know). Universe is roughly 13 billions, and our Milky way almost the same.

What this means is that there must have been quite a few collisions of such before solar system formed, to produce so much of heavy stuff we see in our planet, no? Stars can produce only up to Fe in normal way. Yet it seems such collisions are very rare, and its not like during collision half of the mass converts to a golden blob (or more like atomic mist spreading away at fraction of c).

I know 8 billions of years is a long time, and gold once fused ain't breaking apart to H or He anytime soon, but still it feels like our planet should have way more basic atoms and not all of those rare fused oned. What about super/hypernovae?
by burnerthrow008 | 2025-05-09 19:09:42+00:00
No, Henry Ford's goal was to screw the Dodge brothers (whose other company, Dodge Brothers Company, needed a cash injection), not to help his workers.

The Dodge brothers were major investors in Ford Motor Company, and thus entitled to a large share of dividends. Henry Ford tried to bankrupt the Dodge Motor Company by avoiding to pay FoMoCo dividends and thus starve his competitor of cash. The fact that the mechanism Ford used to make his own company unprofitable (and thus avoid paying dividends) also benefited the workers is just coincidence.

In fact the reason we have the modern precedent "companies must operate for the benefit of shareholders" is precisely because Henry Ford's defense in Dodge v. Ford was "I can do this because I want to and I am king". If he had argued "paying workers more makes them happier and thus makes Ford more profitable in the long term", Ford probably would have won that lawsuit. He didn't make that argument because it just wasn't on his radar: His goal was screwing Dodge.
by jbverschoor | 2025-05-09 19:09:46+00:00
It’s 2000 8tb SSDs ($1m), or a thousand 18TB disks ($350k)

Times something for redundancy / backup.

The hardware investment is back within a year. This is about what I would say many aws services cost. After a year, you’re just giving away your margin to Amazon.

The original story for EC2 was ephemeral, short lived/on-demand compute. This was during the time when map-reduce was all the hype.
by davrosthedalek | 2025-05-09 19:10:11+00:00
Normally not the University. NSF has a "Broader Impact" aspect of the grant applications (for as long as I can remember), and the DOE started to require a Promoting Inclusive and Equitable Research (PIER) plan during the Biden administration. Grant reviewers (typically people from the research community) are asked to take these into account for the review of the proposals.

I suspect the father mentioned above means the latter.

I do not know, but could imagine it's possible, that HBCUs might have their own requirements. But normally, universities do not regulate the proposal writing except for financial aspects (salary windows, IDC+fringe rates etc)
by gamblor956 | 2025-05-09 19:10:19+00:00
AutoStore's patents were deemed invalid in the U.K. because they disclosed the invention prior to filing for the patents, which apparently is not allowed under U.K. law.

Their patents were invalidated in the U.S. due to "inequitable conduct or equitable estoppel" meaning either that Autostore violated someone else's patents or that they led Ocado to believe that Ocado was not violating Autostore's patents in some way. Both parties indicate that the latter happened, but the usual remedy is just a mandatory license, so the invalidation of the patents indicates that the former also occurred. (https://www.autostoresystem.com/investors-press-releases/aut...)
by Geee | 2025-05-09 19:10:34+00:00
Tesla's FSD has different approach / tradeoffs compared to dedicated robotaxi services. FSD has to be cheap and energy efficient, run completely on-board, and it must work everywhere. They're trying to do more with less, which has so far been impossible. Their cybercab and robotaxi service will probably work more like Waymo, with a slightly relaxed set of limitations.

Some differences compared to Waymo:

- Waymo has / can use more on-board compute, from [0] "It has also been revealed that Waymo is using around four NVIDIA H100 GPUSs at a unit price of 10,000 dollars per vehicle to cover the necessary computing requirements."

- Waymo uses remote operators. This includes humans but can also have remote compute.

- Waymo's neural network model can be trained / overfit on specific route or area. FSD uses the same model everywhere.

- Waymo's on-board hardware can use more energy, because it's possible to charge the battery between trips.

- Robotaxi services charge customers per mile, so it makes sense to run longer routes which are also easier to drive, i.e. the routing algorithm can be tuned to avoid challenging routes. This would be possible to implement on FSD too, but it seems that FSD drives fastest route.

[0] https://thelastdriverlicenseholder.com/2024/10/27/waymos-5-6...
by anigbrowl | 2025-05-09 19:11:00+00:00
Delta Smelt

I did not stop reading right there, but I may as well have. Invoking this particular area of research has become a popular conservative trope, because casual news readers do not get the point of studying a tiny fish in general or its love life in particular, even though it's a useful indicator species for the overall health of the riparian ecosystem.

You seem you like an intelligent person. Why are you leaning on tropes that exploit and glorify ignorance and anti-intellectualism?
by shagie | 2025-05-09 19:11:54+00:00
Sorting 2 Metric Tons of Lego https://jacquesmattheij.com/sorting-two-metric-tons-of-lego/ (2017) https://news.ycombinator.com/item?id=14226889

World’s first AI-powered LEGO sorting machine built with 10,000 LEGO bricks https://www.brothers-brick.com/2019/12/06/this-fan-created-t... (2019) https://news.ycombinator.com/item?id=21741834
by 1vuio0pswjnm7 | 2025-05-09 19:13:06+00:00
If careful programmers who can manage memory should use the same language as careless ones who cannot, then does this mean both should also automatically use third party libraries by default.

Are there systems languages that provide memory management but do not default to using third party libraries. If yes, then do these languages make it easier for programmers to avoid dependencies.
by thisislife2 | 2025-05-09 19:13:10+00:00
Sometimes when I didn't have my contact lens solution with me, and there was some irritation in the eye I used to remove the lens, lick it, and put it back on. Cleaning the lens with my saliva was somehow always more comfortable on the eye, than cleaning the lens with whatever water was available. I did have one bad experience though - I once forgot I had spicy food and licked the lens without rinsing my mouth properly. That was a painful lesson to learn!
by jfengel | 2025-05-09 19:13:24+00:00
I'd have thought that the big win market for an e-ink display is smart phones. The biggest problem with smartphones is the battery; an e-ink display should be much lower battery consumption than a screen. Plus, they're often used outside, where e-ink can (ahem) shine.

A quick google turns up a few e-ink phones, but none of them seem really mainstream. Is there something I'm missing that makes e-ink sub-optimal for phones? (Thickness, perhaps?)
by WhereIsTheTruth | 2025-05-09 19:13:31+00:00
I like odin a lot, however, there are two things that just don't stick with me, and i ended up quitting:

- RTTI: just give me compile time type introspection and let me disable RTTI without making the language unusable

- when/import: just let me wrap an import inside a when block, being forced to split my file in 3 made me quit the language
Show HN: YouTube Multi-View on Android – 2 videos split-screen app
by atplayer | 2025-05-09 19:13:35+00:00
Hey HN, we’ve been building AT Player since 2016. It’s a free Android music app (no logins) that started as a way to make YouTube more useful - playlist import, real PiP, Apple Music sync, etc. Recently, we added Multi-View: two YouTube videos at once, with both continuing in Picture-in-Picture when you leave the app. Use cases: tutorial + background music, podcast + gameplay, fitness vid + your mix. We’re giving out 500 lifetime premium codes (pinned in the YT comments). Feedback/questions welcome. Google Play: https://play.google.com/store/apps/details?id=com.atpc YT Demo: https://www.youtube.com/watch?v=S8bFFlZDaQQ Details: https://www.atplayer.com/multi-view.html
by UncleMeat | 2025-05-09 19:13:56+00:00
Unfortunately, it is. Kalief Browder was kept largely in solitary for more than two years for allegedly stealing a backpack.

If you want to help with the fight to get these sorts of egregious treatments (especially pre-trial) recognized as violations of the 6th and 8th amendments, join to the fight to win back the courts from conservatives.
by gamblor956 | 2025-05-09 19:14:09+00:00
Due to "tariff engineering" it can be shipped to the U.S. via Mexico for no additional tariffs.

In a nutshell, this would involve shipping any products manufactured in China to the Mexican facility for "remanufacturing."

Very risky in normal times, but since DOGE fired a bunch of Customs employees and cut their budget, Customs doesn't have the manpower to police tariff violations like this (which requires detail reviewing the history of every item) so it's effectively a de minimis risk tactic. Ironic, given that the President's budget is dependent on enforcing tariffs...
by gruntbuggly | 2025-05-09 19:14:43+00:00
Certainly, for 95% of americans that's been true recently, but ai seems more positioned as a qualitative than a quantitative shift. maybe my defining it in terms of efficiency is incorrect. Moreover these types of mundane tasks are a product of that industrialization. so i'm puzzled by the thinking of 'more efficiency to fix the pains brought on by efficiencies'
by kyboren | 2025-05-09 19:15:02+00:00
> What the VLIW of Itanium needed and never really got was proper compiler support.

This is kinda under-selling it. The fundamental problem with statically-scheduled VLIW machines like Itanium is it puts all of the complexity in the compiler. Unfortunately it turns out it's just really hard to make a good static scheduler!

In contrast, dynamically-scheduled out-of-order superscalar machines work great but put all the complexity in silicon. The transistor overhead was expensive back in the day, so statically-scheduled VLIWs seemed like a good idea.

What happened was that static scheduling stayed really hard while the transistor overhead for dynamic scheduling became irrelevantly cheap. "Throw more hardware at it" won handily over "Make better software".
by malfist | 2025-05-09 19:15:09+00:00
Stars produce beyond Fe during supernova.

The other thing to keep in mind is that the early universe was filled with giant stars, these stars don't last very long. Ironically, the more fuel you have, the quicker you burn through it for stars, so a lot of supernova have happened before our solar system formed.

For additional reading, google "Stellar Population" it's about the amount of metalicity in a star based on how many "generations" old it is
by aaroninsf | 2025-05-09 19:17:01+00:00
It's really past time that adults stopped this madness. The mouth-breathing children should not be allowed because of brr-brr-process-brr-brr to literally dismantle the work of generations and genius.

It's not just the NSF, it's the entire functional federal government.

If you're wondering when it's time to literally shut down the country with a national strike? That time has already passed and that state persists until the children and put on time out.
by roguecoder | 2025-05-09 19:17:05+00:00
I recommend "Augustus: First Emperor of Rome" by Adrian Goldsworthy.

Given that "democratic" didn't mean the same thing then it does now (with suffrage limited to a small group of the uber-rich), and that some of the problems he was fixing was "the threat of this army I happen to have" and "this war I actively participated in", I don't think it is wrong. He wasn't in Rome when the Senate awarded him power and the Vestal Virgins drank in his name, which isn't something that would be commanded.

After decades of war and strife and food shortages, peace under one warlord looked more appealing than having three who would likely eventually be at each other's throats.
by greenavocado | 2025-05-09 19:17:33+00:00
With this process we could produce about 65.4g of gold with the energy needed to boil the entire ocean once to full vaporization.

The Earth's oceans contain approximately 1.4 x 10^21 kilograms of water, which equals 1.4 x 10^24 grams. The average ocean temperature is about 3.5 degrees Celsius, and we need to heat it to the boiling point of seawater at approximately 100 degrees Celsius, for a temperature difference of 96.5 degrees Celsius. Seawater has a specific heat capacity of about 3.93 joules per gram per degree Celsius. To calculate the energy needed to raise the temperature, we multiply the mass by the specific heat capacity and the temperature difference: 1.4 x 10^24 grams x 3.93 joules per gram per degree Celsius x 96.5 degrees Celsius = 5.3 x 10^27 joules.

After reaching the boiling point, we need additional energy to vaporize the water. The heat of vaporization for water is approximately 2,260 joules per gram. Multiplying this by the ocean's mass gives us 1.4 x 10^24 grams x 2,260 joules per gram = 3.2 x 10^27 joules. Adding these two energy requirements together, we get 5.3 x 10^27 joules + 3.2 x 10^27 joules = 8.5 x 10^27 joules total to completely boil the ocean. Now, for the LHC gold production calculation. The LHC produces gold at a rate of 10^-11 grams per year and consumes about 1.3 x 10^15 joules of energy annually. To produce 1 gram of gold would take 10^11 years of operation, requiring 1.3 x 10^15 joules per year x 10^11 years = 1.3 x 10^26 joules of energy. Comparing this to the energy needed to boil the ocean (8.5 x 10^27 joules), we calculate 1.3 x 10^26 joules divided by 8.5 x 10^27 joules = 0.0153. This means the energy needed to produce 1 gram of gold via the LHC would boil only about 1.53% of the ocean. Conversely, the energy required to boil the entire ocean once could produce approximately 65.4 grams of gold using the LHC process.
by compiler-guy | 2025-05-09 19:17:40+00:00
Doesn't even need to be a struct within a struct:

struct Foo {

int8_t a; int8_t b; int8_t c;

};

will have a size of 3 and an alignment of 1. Alignment is always power of 2, and size modulus alignment will always be zero. But alignment can be less than size, and size need not be a power of two, just have one power-of-two factor.
by asdsadasdasd123 | 2025-05-09 19:17:52+00:00
Ah yes, I'm going to whistle blow and ruin my career over something "illegal" that every university has been doing for the past 50 years. Im perplexed that you find this surprising at all. This stuff happened openly in all hands with pie charts of the existing gender and racial makeup, and the target makeup with struggle session-like questions of why our engineering department doesn't have 50% woman. None of this is inconsistent if the decision makers at the company think that any deviation in demographics is a sign of institutional racism.
by odo1242 | 2025-05-09 19:19:10+00:00
The amount they plan on raising defense spending by more than cancels all other things we plan to save, even before considering tax cuts. At the current rate, the national deficit (rate of growth of national debt) is expected to be about double what it was (on average, over four years) compared to the last presidency.

Not to mention that the Department of Defense has never passed a financial audit in the last seven years and money frequently disappears into contractors who are known to delay projects on purpose to make more money.
by photonthug | 2025-05-09 19:19:15+00:00
https://elixirschool.com/en/lessons/intermediate/erlang

Interoperability makes them very companionable so it’s not really a rewrite situation. Whichever you have I bet you can code generate your way almost all the way to a fairly complete wrapper of the other. Way simpler than most stuff like FFI, although I’m not aware of all the details of any type conversion gotchas or similar. I’ve never been lucky enough to actually work on this stuff professionally

but rather than a rewrite I think it’s more a question of which representation is first, primary, or at the bottom of the stack. Would be nice to hear more from an expert though
by burnerthrow008 | 2025-05-09 19:19:28+00:00
> while the court held that the board had to prioritize shareholder profits

It's a bit more nuanced than that. The court held that company directors have to be acting for the benefit of shareholders. They still have wide latitude about how to do that.

The reason Ford lost is because his legal position was essentially "I am king, therefore I can do whatever I want". But you can't do whatever you want. You can't lock the workers in the factory and burn it down with them inside, for example. You need to have some kind of colorable argument that what you are doing is somehow in the interest of shareholders (either long or short term).

The problem for Ford was that he couldn't articulate any reason for how his actions were beneficial to shareholders (probably because the real reason, killing the Dodge Brothers Company, would have been illegal under the antitrust laws of the time).
by psadauskas | 2025-05-09 19:19:54+00:00
You misspelled Reagan.

(Though to be fair, every president since Truman has escalated things with Russia/USSR, except maybe Clinton. Reagan just did more than most.)

> You don't think trump is actively involved in negotations[sic] with russia to stop all this madness?

No, I think Trump is doing whatever Putin wants him to do.
by HighGoldstein | 2025-05-09 19:20:39+00:00
> What you are describing is a political problem, not one for entrepreneurs. IMO the solution would be a form of UBI that we can smoothly increase as automation in fact removes jobs or lowers wages.

The most successful entrepreneurs like Bezos are also the biggest political influencers, and instead of UBI they are advocating for less tax for themselves.

>I'd like to see that start ASAP, but OTOH we are still close to record-low unemployment and the last years saw the largest wage increases at the lower end in decades.

The last years also saw the highest rates of inflation in decades. Even basic necessities are the least affordable they've been in a long time, let alone something like housing.
by qznc | 2025-05-09 19:21:26+00:00
Related recent podcast interview from the Star Spangled Gamblers: https://starspangledgamblers.libsyn.com/the-trader-who-guess...

> In 2016, Blitz (@blizzythegoat24) bet on Donald Trump to win the general election.

> In 2020, Blitz not only bet on Biden to win the election, he guessed the outcome of every state correctly.

> In 2024, he managed to do the same. He bet on Trump to win the election and guessed every state correctly.