MurphyA/hacker-news huggingface dataset:
by JoelMcCracken | 2025-04-08 15:52:53+00:00
Not too long ago, I went down a rabbit hole of specifying GHA yaml via dhall, and quickly hit some problems; the specific thing I was starting with was the part I was frustrated with, which was the "expresssions" evaluation stuff.

However, I quickly ran into the whole "no recursive data structures in dhall" (at least, not how you would normally think about it), and of course, a standard representation of expressions is a recursively defined data type.

I do get why dhall did this, but it did mean that I quickly ran into super advanced stuff, and realized that I couldn't in good conscience use this as my team of mixed engineers would need to read/maintain it in the future, without any knowledge of how to do recursive definitions in dhall, and without the inclination to care either.

an intro to this: https://docs.dhall-lang.org/howtos/How-to-translate-recursiv...

An example in the standard lib is how it works with JSON itself: https://store.dhall-lang.org/Prelude-v23.1.0/JSON/Type.dhall...

basically, to do recursive definitions, you have to lambda encode your data types, work with them like that, and then finally "reify" them with, like, a concrete list type at the end, which means that all those lambdas evaluate away and you're just left with list data. This is neat and intresting and worthy of learning, but would be wildly overly-complicated for most eng teams I think.

After hitting this point in the search, I decided to go another route: https://github.com/rhysd/actionlint

and this project solved my needs such that I couldn't justify spending more time on it any longer.
by p0w3n3d | 2025-04-08 15:53:35+00:00
I do neither, however what I wanted to highlight (in this black humour way) that the burden of de-encrypting lies on the police/govt. Also opening some encryption on ever person's device just because some government wants to check a few people is stupid. First of all: today it's let's say "good government" and tomorrow it'll be the "bad government", and secondly it can be used to fight the opposition (non-democratic behaviour)
by haswell | 2025-04-08 15:54:19+00:00
> What is a "real" strawberry? Is a generically modified strawberry "real" to you? What about a strawberry grown in a greenhouse?

This seems like a shift of the goalposts. Setting that aside, I have no inherent issue with GMO foods, but that ultimately depends on the nature of the modification. There could certainly be cases where something is modified to a degree that it no longer resembles the original plants and it'd be fair to question whether the new creation carries the same benefits/harms as the original. The use of pesticides and fertilizers may also change the outcome.

To your point, at the end it's all just particles. But that doesn't remove the need to evaluate the properties of the resulting concoction.

> Sure, it's a hypothetical that we can't yet technologically replicate in its entirely.

And that was really the point.

> That still isn't the point, though. Sure "chemicals" is a bogeyman for many (see also dihydrogen monoxide). But why is "dihydrogen monoxide" bad but water good?

You're describing a scenario in which people are afraid of big words.

I'm describing a scenario in which people are concerned about the effects of specific substances added to the dihydrogen monoxide they drink.

To demonstrate the inverse, I know people who only drink sugared soda, which is clearly going to impact their bodies differently than drinking plain water. This is not speculation or hypothetical. The health conscious person who prefers pure drinking water over Mountain Dew is not afraid of big words, they're concerned about the sugar, caffeine, and other additives that make the liquid less healthy.
by MrBuddyCasino | 2025-04-08 15:54:20+00:00
They may design their own hardware, but their approach to scaling and fault tolerance is still the same: not a low number of fast and very expensive enterprise grade hardware that is unlikely to fail, but a huge fleet of servers that scale horizontally and that can tolerate the loss of a machine.

Which is the Mainframe vs commodity server dichotomy.
by HNArg024 | 2025-04-08 15:54:22+00:00
Yeah, in Argentina the main digital wallet is MercadoPago. Many merchants have their terminal to accept payments with credit cards/QR, and since this past summer you have the option to accept payments with Pix too. Also it goes both ways, everyone going on vacation to Brazil can pay with MercadoPago without having to install Pix.
by smallmancontrov | 2025-04-08 15:54:34+00:00
The obnoxious pro-engineering equivalent of your statement is to say that engineers are more intelligent because they are held accountable to a higher standard of objective truth, one that is judged through the cold eyes of physics and math rather than the rosy glasses of a strategically cultivated in-group.

It's probably wrong to directly compare these two types of specialization. However, we do have an interesting social experiment going on: China's bureaucracy leans towards engineering backgrounds while the USA bureaucracy leans towards legal backgrounds. You can see this in the strategies pursued by each side: China pulls large and small levers to acquire hard power (in the sense of manufacturing capacity, not just guns) while the USA has historically been better at pulling large and small levers to acquire soft power (and even though tension from the Triffin Dilemma is peaking again, that's still probably a fair assessment). The next decade will probably see a showdown that supports or repudiates the "engineer primacy" vs "lawyer primacy" narratives on the level of international strategy, even though both will obviously still exist and have primacy within their respective niches. Interesting times.
by pointlessone | 2025-04-08 15:54:37+00:00
GitHub profile is not a CV.

A few things that immediately jumped at me:

- Not all code is on GitHub and not all of it is public. Recently I see more and more code moving elsewhere: GitLab (both managed and self-hosted), Codeberg, Forgejo instances.

- Even the code that is on GH might live outside of personal profile. Many notable FLOSS projects have their own organisations on GH. People who produce a lot of that code have direct commit access and don’t keep forks on their profiles. You’re missing all of the most prolific developers here.

- Location field in a GH profile is full of jokes. Search for “space”, “internet”, “/dev/null”, etc.

- It picks top repos weirdly. I tried to find my profile. It picked one repo that is not in my profile and wasn’t there probably for a long time, and another that is a public archive and hasn’t been updated since 2017. Both are forks with minimal contributions on my part. I have pinned repos in my profile that are much fresher and, arguably, more relevant.

But the project looks sleek. Probably helpful in addition to Linkedin and whatever to uncover more potential candidates. I’m glad it works for you.
by jorams | 2025-04-08 15:54:40+00:00
I like this post and agree with a lot of what it says. Shipping Bun at this stage is probably not a great idea, particularly with overly-optimistic CPU requirements, and the complexity of the stack is very far from ideal. At the same time some of that criticism seems slightly mistargeted. Bun didn't drop support for your hardware arbitrarily: your OS vendor dropped support for your hardware. Your "computer with 128GB of RAM and 6 CPU cores" is obsolete according to the manufacturer.

This is bad, and it should not be an acceptable situation, but a relatively short support cycle is a choice you made by buying their product. I'm not sure it's right to then blame others for following along.
by NoMoreNicksLeft | 2025-04-08 15:55:21+00:00
>Why do kids all around the world play with Spiderman?

So we sell children's stories, in a world where technology makes it possible to copy not just any single story, but pretty much all of humanity's stories since time began onto a tiny little plastic doohickey that you can hang on a keychain. And then anyone in the world can also make up a new story with those same characters, or draw a picture, or whatever...

That's our wealth? Wow. Even if I had stock in that intellectual property, it seems like it never really was property to begin with and that I'm heading for ruin.
by hotelsinger | 2025-04-08 15:55:44+00:00
That sounds bleak. If I were in your shoes I'd probably join the military. I'm thinking Air Force. They can use people with advanced technical skills. Plus, you get a bed, food, and a job. Regarding family (Spouse, Kids) there are financial benefits, cheaper housing, the ability to live and shop on base, etc. If it were me, I'd choose that over going back to to the environment you described.
Ask HN: Who is getting actual value from 'AI Agents'?
by NewUser76312 | 2025-04-08 15:56:22+00:00
I saw this post from YC: "From OpenAI’s DeepResearch to xAI’s DeepSearch, we’re seeing the first real push toward autonomous tools that can plan, execute, and complete tasks like research, outreach, and coding with minimal human input."

It got me thinking, are these AI Agents actually useful or valuable to anyone?

I'm fairly technical and I use AI to generate code to make POC projects go faster. I'm not on board with blindly 'vibe coding' though, I think it's dangerous and potentially slower when you get screwed over later trying to fix a large project. I think from other discussions, many on HN are in a similar boat as me - that is, using AI for code generation is certainly valuable, but having an 'agent' just 'work' for you probably isn't.

But anyways, research and outreach, how about those, anyone finding use for these use cases? I've seen a ton of criticism on these deep research products. They seem akin to summarizing the first page of links of a google search, and they're full of sources you'd want to ignore anyways for serious research (e.g. reddit posts). So I'm dubious as to their quality.

Another theme that I think could be useful is using LLMs as advanced/easier RPA tools. Basically, think RPA with some flexibility based on different contexts that can be captured via text. Maybe this is what this 'MCP' hype is all about.

So I'm very curious, who's using what would count as 'AI Agents' (i.e. something more than text chat/prompts), and getting real value from them?
Show HN: Shouldibuild.it – Validate your startup/product ideas with real data
by bayeslaw | 2025-04-08 15:56:30+00:00
We are a pair of bootstrapped founders with several failed products behind us (ouch!)

While looking for our next thing, we came across a few idea validator sites but all were paywalled and basically wrappers around GPT without much added value, giving us generic LLM fluff.

So, we built ShouldIBuild.it, a tool that lets you validate your ideas based on a database of nearly 100k (and growing) previous launches. We analyzed more than 50k pages of reviews, comments to extract use and buy signals and to be able to give personalized recommendations and a quick overview of the market.

In the process of tackling this fun problem, we ended up creating a framework to place each idea into one of 10 categories (we know.. sounds like the conjoined triangles of success..) We're sure there'll be many misses and false predictions but we wanted to stop tinkering and ask people to give it a go instead.

Would love some feedback. What's missing? What would make this better? We have a lot of ideas, but if there's one thing you learn from a series of failed ideas is to listen to users instead of yourself :D

Many thanks!
by djcannabiz | 2025-04-08 15:56:42+00:00
Granted this is from Trumps first term, but actually yeah. https://www.cnn.com/2017/10/14/politics/noaa-nominee-accuwea...

"Speaking to the The Palm Beach Post at the time, Barry Myers said he supported the weather service returning to its “core mission … which is protecting other people’s lives and property” instead of spending “hundreds of millions of dollars a year, every day, producing forecasts of ‘warm and sunny.’”" Also from the same article: "He told ABC News in May 2005: “We work hard every day competing with other companies and we also have to compete with the government.”"

Theres some more info here: https://en.wikipedia.org/wiki/Barry_Lee_Myers
by ChadNauseam | 2025-04-08 15:57:04+00:00
Is that actually crossing a line? I'm sure some consumers have thought that rocket league was associated with FIFA, or that studio Ghibli movies were made by Disney. But these aren't widespread issues because we have a robust system of trademarks that draws a clear line: you can't use trademarked names or iconography in a way that causes confusion. But if some people heading Olivia Rodrigo's "good 4 you" think they're listening to Paramore because they have a similar style, that has never been illegal
by hagbard_c | 2025-04-08 15:57:12+00:00
If you, as a machinist, can get to live in a lower-price region, go hunting and fishing or just traipsing through the woods instead of doing that next release drive, build or repair your own HVAC or PV array + storage and get to raise a family while doing so I'd say that's worth quite a bit of that discrepancy in salary. You'll get the added advantage of seeing your handiwork being used and lasting for years to decades instead of being replaced in a few months or never used at all.

Replace 'machinist' with a choice of other hands-on 'blue collar' professions for the same effect. Even better is to replace it with a profession which allows you to combine manual dexterity with software development.

Or do as I did and buy a farm which allows you to flex all your muscles - mental as well as physical.
by knowitnone | 2025-04-08 15:58:10+00:00
but perhaps communicating with millions is just the same skill being used over and over again - doesn't make they smarter in any way. I can add 1 and 1 a million times doesn't make me smarter. Sure, bankers are more skilled at understanding money, inflation, investments but engineers are more skilled in their field. Take the banker and train them in engineering and vice versa, I'm sure they'll both be able to handle the job well.
by smusamashah | 2025-04-08 15:58:46+00:00
Vortex may be not so much but there are other hard to visualize things. I am on the third book, and I have no idea what Beeblebrox's two heads look like. Second head is often mentioned in passing. Sometimes its mentioned as its always there, other times it feels like its just pops out of somewhere, otherwise, it's like it doesn't exist.

There is the scene when they see themselves on the beach on first rescue by the ship. That was hard to grasp. Or the insides of the ship itself, the bridge, the panels etc. Also that black ship they stole.

But may be its just me having a hard time with these concepts.

It's not just about scene being difficult to visualize, even if I can see them in my head, I want to see them on paper too because those thing excite me.
by akshitgaur2005 | 2025-04-08 15:58:49+00:00
I am a 19yo CS student, I have deep interest in computers, tech and all things related to it, especially Rust, Guix and ML and I am hoping to apply for intern position at AutoPallet Robotics (YC S24), from their recent comment on Who is Hiring thread.

But, I am in a "not-so-good" uni and don't really know anyone in this city or region too, so not many connections that could guide me.

Also, for any orgmode user, any suggestions to improve the style of the pdf export?
by myrmidon | 2025-04-08 15:59:24+00:00
Completely agree on the cost aspect.

> It won't hurt if we try to bring it all back, but it will take the same amount of time and sacrifice China put in to take it.

I think this is missing a huge aspect: Chinese workers are very cheap compared to US levels of income ($25k/15k with and without adjusting for purchaising parity!).

Those differences are gonna be paid by the average American, but not only that: Inputs for all those industries are gonna become more expensive than they are (because of retaliatory tariffs), and everything else (retail, restaurants, craftsmen, etc.) is gonna become more expensive, too, because the onshored industries compete for labor (and there is not a lot of unemployment in the first place).

Compare agriculture: Faces similar pressure (wages lower elsewhere), but is harder to offshore (goods expire, food safety)-- the US still pays ~20 billion every year just to prop the sector up (and I recon that is money well spent). But I would not want to spend similar amounts in direct/indirect taxes (i.e. tariffs) on mining, ore refining, metalworks, textile processing, electronics assembly and a dozen others, just to have "more self-sufficiency"- you could maybe make an argument for it in some cases (involving Russia or China), but what is the actual problem with buying some machine-tools from allies like Germany or Japan?

I'm very confident that we are NOT gonna see a large, self-sufficient American manufacturing industry in 4 or 10 years; people may continue with the current approach for a bit, but will realize at some point that the situation is not improving (prices rising faster than wages, as well as government debt and/or median effective tax burden spiraling out of control).

My prediction is that we're either gonna see Trump declare "mission accomplished" at some random point, or reverting on the ~20% average import tariff because of mounting pressure.

In conclusion: It will hurt to try to bring manufacturing back, and there probably won't be much to show for it in the end.
by hulitu | 2025-04-08 15:59:34+00:00
> Record global temperatures in March illustrate threat to climate goals

Be afraid, be very afraid. Instead of scary news, will be nice something in the spirit of "We discovered that wars pollute, so we will stop", "we don't want to kill trees, wild animals and people anymore", "we discovered that we can live a decent life without having bilions in profit at the expense of others" etc.
by nine_k | 2025-04-08 15:59:41+00:00
@NabilChiheb: Please note that your CSS URL is currently an infinite redirection loop:

$ curl -D - 'https://gitmatcher.com/assets/index-CKQ82hdV.css' HTTP/2 301 date: Tue, 08 Apr 2025 15:58:51 GMT location: https://gitmatcher.com/assets/index-CKQ82hdV.css ...
Hyperbolic x vercel x Next.js Hackathon
by dubrado | 2025-04-08 15:59:52+00:00
As a participant, you get $25 in free platform credits! Just fill out the request form linked in the thread below.

What you get with your credits:

> Hyperbolic's GPU Marketplace – Spin up the latest NVIDIA GPUs, on-demand. Up to 75% cheaper than legacy clouds.

> Hyperbolic's Serverless Inference – Run open-source models without touching infra. 25+ models (Text, Image, Audio, VLM, Base). OpenAI API-compatible. No data retention.

Plus, you can also tap into Hyperbolic's Vercel AI SDK Integration which lets you instantly access the latest models on our platform from Base models to DeepSeek and Stable Diffusion.

https://x.com/hyperbolic_labs/status/1909616429441122305
by Mond_ | 2025-04-08 15:59:56+00:00
The Llama 4 launch looks like a real debacle for Meta. The model doesn't look great. All the coverage I've seen has been negative.

This is about what I expected, but it makes you wonder what they're going to do next. At this point it looks like they are falling behind the other open models, and made an ambitious bet on MoEs, without this paying off.

Did Zuck push for the release? I'm sure they knew it wasn't ready yet.
by gjsman-1000 | 2025-04-08 15:59:56+00:00
This feels like cope; ignoring that there are multiple kinds of “lazy.”

There’s the kind that focuses on simplicity and avoiding unnecessary work to achieve the same goal (the good kind); and there’s the kind that just ignores necessary work and drags out the process delaying the goal (the bad kind).

There are plenty of programmers, and machinists, in both camps. Many programmers actually are lazy knuckleheads in the worst sense of the word - and, according to recent researchers, 10% of programmers self-admit to doing nothing at their jobs.
by starky | 2025-04-08 16:00:16+00:00
But this is talking about proprietary RAW image formats, which should be the data from the sensor with minimal processing. The entire point of RAW images is that you are skipping the majority of the ISP and applying those blocks in the processing software. Even the de-mosiacing step is done in the processor. There is really no reason why this is proprietary. This doesn't stop the camera company from applying their proprietary processing on the JPEG output that utilizes the full ISP.
by Freedom2 | 2025-04-08 16:00:18+00:00
I'm no big fan of LLM generated code, but the fact that GP bluntly states "AI will never produce a deletion" despite this being categorically false makes it hard to take the rest of their spiel in good faith.

As a side note, I've had coworkers disappear for N days too and in that time the requirements changed (as is our business) and their lack of communication meant that their work was incompatible with the new requirements. So just because someone achieves a 10x speedup in a vacuum also isn't necessarily always a good thing.
by spacedcowboy | 2025-04-08 16:00:30+00:00
I guess I was disagreeing with "this isn't fucking around". Because it absolutely is, as you say, in today's USA. FWIW I have no problem with the USA moving towards more protection for its workforce, I'd encourage it, even. I doubt it'll happen any time soon though.

And even should that incredibly unlikely thing come to pass, I can't see public embarrassment of high-up muckety-mucks by worker drones working well, ever, really. "Bringing the name of the company into disrepute" etc. etc. would be all they'd need. Fired for cause, end of story.

There are ways to safely say you disagree with your company's policies, but causing a fuss with worldwide coverage at a major company event seems ... shortsighted at best. You'd be better off asking a very pointed question at one of the "Town Hall" meetings that big companies have, when executives are actually able to be challenged by the worker drones, in front of the whole company, but only the whole company. I'd see that as far more likely to actually succeed in doing something than making a public spectacle. Just MHO.
by 9rx | 2025-04-08 16:00:58+00:00
> However, it did mean that you could find more lucrative opportunities in different places while also affording to move and live there.

Same as now. The data clearly shows more job opportunity in rural areas (not all rural areas) and more affordable living to go along with it. But we haven't (yet) reached the dire situation where the people actually have to make the move like previous generations found themselves in. Most people won't leave family and friends behind unless they feel they are out of options.
by betageek | 2025-04-08 16:01:04+00:00
I too spent far too many years in the adtech industry before realising that what I thought I was doing (helping fund cool things on the web) was not what I was actually doing (destroying the web as I knew it.) Having left it behind in the early 10s it's got way worse than I ever imagined, there's effectively no regulation at all now, and certainly no way of knowing where the ads stop and the content begins. Having sat in ad industry self regulation meetings myself I know the author is completely right, they will never do anything about any of the many many problems, so what else is there to do than ban it, nothing else is going to work with the system that currently exists.
by ar_lan | 2025-04-08 16:01:23+00:00
I'm the same, and it makes me paranoid. I feel like I'm investing purely in one company instead of any defensive diversification.

But my job is very demanding and I have 4 hours after work to spend with my wife and kids before I have to start all over again. I'm just not in a season where interview prep (which may as well be a university 16-week course) is reasonable.