MurphyA/hacker-news huggingface dataset:
by RaSoJo | 2025-05-09 09:26:58+00:00
I don’t need automation to build LEGO sets — that’s the fun part, and I want to do it myself. What I need is automation after the build: to clean up, sort the bricks by color and shape, and store them properly.

I just wish scientists would start by solving problems that actually exist in the real world. There’s real value — and real money — in that.
by jagged-chisel | 2025-05-09 09:27:06+00:00
> They rely on ChatGPT to answer their questions instead of taking time to read the documentation or a simple web search.

Documentation is not written with answers in mind. Every little project wants me to be an expert in their solution. They want to share with me the theory behind their decisions. I need an answer now.

Web search no longer provides useful information within the first few results. Instead, I get content farms who are worse than recipe pages - explaining why someone would want this information, but never providing it.

A junior isn’t going to learn from information that starts from the beginning (“if you want to make an apple pie from scratch, you must first invent the universe.”) 99.999% of them need a solution they can tweak as needed so they can begin to understand the thing.

LLMs are good at processing and restructuring information so I can ask for things the way I prefer to receive them.

Ultimately, the problem is actually all about verification.
by ccppurcell | 2025-05-09 09:27:30+00:00
Someone asked me the same question! I just know that popes pick their names to indicate what their priorities are. Francis picked a totally new name. I think that in itself signals a time of change in the church, we can also look to st Francis And the traditional association with kindness, mercy, not to mention his "Rule" (basically that Christ had no possessions).

Typically the previous pope with that name is where you look. Maybe the first too. Leo I stood up to Atilla the Hun. Leo XIII championed trade unions and workers rights (though also rejected socialism). Make of it what you will.
by Dlemo | 2025-05-09 09:27:40+00:00
I think it's an enabler for everyone.

So many people benefit from basic things like sorting tables, searching and filtering data etc.

Things were I might just use excel or a small script, they can now use an LLM for it.

And for now, we are still in dire need for more developers and not less. But yes I can imagine that after a golden phase of 5-15 years it will start to go down to the bottom when automaisation and ai got too good / better than the avg joe.

Nonetheless a good news is also that coding LLMs enable researchee too. People who often struggle learning to code.
by beAbU | 2025-05-09 09:28:32+00:00
My favourite example of some humorous dead reckoning, from this old copypasta:

-----------

The missile knows where it is at all times. It knows this because it knows where it isn't. By subtracting where it is from where it isn't, or where it isn't from where it is (whichever is greater), it obtains a difference, or deviation. The guidance subsystem uses deviations to generate corrective commands to drive the missile from a position where it is to a position where it isn't, and arriving at a position where it wasn't, it now is. Consequently, the position where it is, is now the position that it wasn't, and it follows that the position that it was, is now the position that it isn't.

In the event that the position that it is in is not the position that it wasn't, the system has acquired a variation, the variation being the difference between where the missile is, and where it wasn't. If variation is considered to be a significant factor, it too may be corrected by the GEA. However, the missile must also know where it was. The missile guidance computer scenario works as follows. Because a variation has modified some of the information the missile has obtained, it is not sure just where it is. However, it is sure where it isn't, within reason, and it knows where it was. It now subtracts where it should be from where it wasn't, or vice-versa, and by differentiating this from the algebraic sum of where it shouldn't be, and where it was, it is able to obtain the deviation and its variation, which is called error.

-----------
by pjc50 | 2025-05-09 09:30:01+00:00
Eh. While the correct term is denomination, in practice the separate arms of Christianity have fought each other and function separately. Like Sunni vs Shia vs other muslims.

Anti-Catholicism runs deep in America, but the particularly weird issue is the converts. People who convert into Catholicism tend to be much more conservative than those born into it, often much more so than actual Church doctrine. Hence the Vance controversy.
by sinuhe69 | 2025-05-09 09:30:43+00:00
Reinforcement learning with verifiable rewards (RLVR) has shown promise in enhancing the reasoning capabilities of large language models by learning directly from outcome-based rewards. Recent RLVR works that operate under the zero setting avoid supervision in labeling the reasoning process, but still depend on manually curated collections of questions and answers for training. The scarcity of high-quality, human-produced examples raises concerns about the long-term scalability of relying on human supervision, a challenge already evident in the domain of language model pretraining. Furthermore, in a hypothetical future where AI surpasses human intelligence, tasks provided by humans may offer limited learning potential for a superintelligent system. To address these concerns, we propose a new RLVR paradigm called Absolute Zero, in which a single model learns to propose tasks that maximize its own learning progress and improves reasoning by solving them, without relying on any external data. Under this paradigm, we introduce the Absolute Zero Reasoner (AZR), a system that self-evolves its training curriculum and reasoning ability by using a code executor to both validate proposed code reasoning tasks and verify answers, serving as an unified source of verifiable reward to guide open-ended yet grounded learning. Despite being trained entirely without external data, AZR achieves overall SOTA performance on coding and mathematical reasoning tasks, outperforming existing zero-setting models that rely on tens of thousands of in-domain human-curated examples. Furthermore, we demonstrate that AZR can be effectively applied across different model scales and is compatible with various model classes.
by DanielHB | 2025-05-09 09:31:21+00:00
I have worked with a company with ~100k MAUs with ~4 teams, even then it often feels the system is over-microserviced (about two dozen services I think).

Definitely some stuff makes sense (especially since it has a lot of IoT stuff), but micro-service added was used mostly as a way to develop new stuff without having to deal with the legacy monolith. The core of the application could easily be a single service backed by one big RDBMS with a few ancillary services around it.

The legacy monolith is still there kicking and screaming, it didn't need "breaking up" it needed (and I assume still do) need a major refactoring.
by t312227 | 2025-05-09 09:31:44+00:00
hello,

as always: imho. (!) ...

i remember already many years ago - read: 10+ years - very "common" linux distributions installation medias where provided with kernels which complained about missing the so called "CMOV" instruction - like debian / ubuntu etc. ...

yes, it was easily possible to use either "specialized" distributions or even compile a kernel yourself to run on those CPUs < pentium pro/II/III + ...

which meant: everything up to including pentium (MMX) and AMD K5 ...

i'm not sure: did AMD K6 have those!? i don't remember, wikipedia knows more ... :)

personally i don't care much about hardware which is not able to boot a "vanilla" debian installation medium for its respective hardware-architecture.

just my 0.02€
by jeroenhd | 2025-05-09 09:31:55+00:00
Out of all of those, 6rd is actually a success, though 6rd is built on top of 6to4. Funnily enough, the first ISP to apply 6rd has actually inverted its network and is now using 4rd to provide IPv4 to some of its customers.

Not just that, but also 4in6 (IPv4 in modern networks) and 4over6 (an extension to DS-Lite), and don't forget 6in4 being called SIT in an early draft, followed by SIIT being used in another protocol with a similar purpose (though that's more of a "Linux kept the old name around while everyone else moved on" problem).

Like most actually-used transition mechanisms, 6rd the result of someone inventing a transition strategy for a very specific use case, a company with that use case actually using that solution, and followed by standardization for good measure.

6to4 has been disabled for a few in Windows and has been disabled by default in Windows 11 since release, so in practice you probably won't see it outside of legacy networks and the routing systems designed to support 6rd or legacy networks.

Teredo was a weird Microsoft thing (like so many other network protocols) that could've replaced stupid shit like STUN and TURN had it been used. I'm pretty sure only Microsoft ever bothered to host Teredo servers to the mainstream. It would've been nice to live in a world where STUN and TURN worked for any protocol without having to set up your own servers rather than just supporting UDP and the server of an ad company (like we use today).

6in4 was a naive attempt at making the transition to IPv6 possible in the very early days (1996). It's the response to all of the "what if we just added a bunch of bits to IPv4" suggestion, and it turns out that nobody who says that actually seriously cares about supporting IPv6.
by palata | 2025-05-09 09:34:02+00:00
Similar feeling here.

Cargo makes it so simple to add tons of dependencies that it is really hard not to do it. But that does not stop here: even if I try to be careful with adding dependencies, a couple dependencies are likely to pull tens of transitive dependencies each.

"Then don't depend on them", you say. Sure, but that means I won't write my project, because I won't write those things from scratch. I could probably audit the dependency (if it wasn't pulling 50 packages itself), but I can't reasonably write it myself.

It is different with C++: I can often find dependencies that don't pull tens of transitive dependencies in C++. Maybe because it's harder to add dependencies, maybe because the ecosystem is more mature, I don't know.

But it feels like the philosophy in Rust is to pull many small packages, so it doesn't seem like it will change. And that's a pity, because I like Rust-the-language better than C++-the-language. It just feels like I trade "it's not memory-safe" for "you have to pull tons of random code from the Internet".
by Thorrez | 2025-05-09 09:34:50+00:00
More like 6.5 out of 9.

Gorsuch was raised Catholic, and thus the Catholic Church still considers him a member. Gorsuch hasn't publicly stated whether he considers himself Catholic or not. In 2017, one of his friends said:

>Trent, Gorsuch’s close friend, said he believes Gorsuch would consider himself “a Catholic who happens to worship at an Episcopal church.”

https://www.cnn.com/2017/03/18/politics/neil-gorsuch-religio...
by DanielHB | 2025-05-09 09:35:02+00:00
You have a point, but I wouldn't say this is a big deal unless there is a mammoth dependency somewhere that slow down things to a crawl. Then maybe that one part of the codebase can be broken into its own separate service.

But even then there are ways around this kind of problem with dynamic linking pre-built binaries and caching, but it is extra complexity that could be worse than managing multiple services. Docker cache can usually handle this pretty well though.
by baobun | 2025-05-09 09:37:43+00:00
> Or so I thought. The problem, as I found out, is that sideloading can be a monumental pain. I’m happy to say I now have Apollo working on my iPhone again, but the whole process was and is such an ongoing hassle, and I have a new appreciation for Apple’s fight against sideloading.

OP seems to draw the wrong conclusion... Sideloading is such a hassle to a large extent due to Apple intentionally making it so. Stockholm syndrome or submarine?
by sinuhe69 | 2025-05-09 09:38:23+00:00
This approach aims to train reasoning models without relying on human-curated data, allowing models to learn by proposing tasks, solving them, and learning from both stages through self-play with the aid of an environment.

The core of this research is the Absolute Zero Reasoner (AZR), which focuses on proposing and solving coding tasks, utilizing a code executor for verifiable feedback.

Key Findings and Contributions:

State-of-the-Art Performance: AZR has demonstrated state-of-the-art performance in coding and mathematical reasoning tasks, outperforming models trained on traditional human-curated datasets. Enhanced Reasoning Capabilities: The study suggests that coding capabilities developed through AZR training may amplify overall improvements in reasoning. Models trained with AZR showed stronger gains in generalized reasoning compared to those trained with expert code. Scalability: The performance improvements observed with AZR appear to scale with the size of the model. Cognitive Behaviors: AZR exhibits emergent cognitive behaviors such as step-by-step reasoning and trial-and-error. The research also noted that token counts grow with training and vary depending on the type of task.

(Summarized by Gemini)
by izaacdb | 2025-05-09 09:38:39+00:00
| E-mail | izaac+hn@jackdawtech.co.uk | | Location | London, England | | Remote | Remote preferred or hybrid | | CV: | https://www.izaacbroadbent.com/ | | GitHub: | https://github.com/izaacdb |

Technologies: TypeScript, React, Angular, Next.js, Tailwind, Redux, D3, Node, Python, PHP, Prisma, GraphQL,

Apollo, Fastify, NestJS, Express, Django, FastAPI, tRPC, Postgres, MongoDB, AWS, Elasticsearch, Terraform,

Serverless, Nx, CloudFlare, LLMs, Deepgram, Embeddings, Vector Databases

14 year Full Stack Engineer:

- Recent focus on AI applications (enterprise and SaaS integrations).

- Founding engineer at a VC backed startup.

- Running a freelancing business for 10 years with great reviews.

- Delivered projects for Google, Lloyds, Barclays, British Airways and H&M.

- Was once a Biochemist / Molecular Biologist

Would love to hear from anyone, but startups and scientific businesses I'd be particularly interested in. Full time or contracts. Feel free to reach out, always happy to discuss projects.
by mr_mitm | 2025-05-09 09:38:46+00:00
I don't know. The other day I wanted to display an Active Directory object to the user. The dict had around 20 keys like "distinguishedname" and the "createdat" with timestamps like 144483738. I wanted friendly display names in a sensible order and have binary values converted to human readable values.

Very easy to do, sure, but the LLM did this in one minute, recognized the context and correctly converted binary values where as this would have taken me maybe 30 minutes of looking up standards and docs and typing in friendly key names.

I also told it to create five color themes and apply them to the CSS. It worked on the first attempt and it looks good, much better than what I could have had produced by thinking of themes, picking colors and copying RGB codes back and forth. Also I'm not fluent in CSS.

Though I wasn't paid for this, it's a hobby project, which I wouldn't have started in the first place without an LLM performing the boring tedious tasks.
by dan-robertson | 2025-05-09 09:40:20+00:00
Alias tables are neat and not super well known. We used to have an interview question around sampling from a weighted distribution (typical answer: prefix sum -> binary search) and I don’t think anyone produced this. I like the explanation in that blog. The way it was explained to me was first ‘imagine drawing a bar chart and throwing a dart at it, retrying if you miss. This simulates the distribution but runs in expected linear time’. Then you can describe how to chop up the bars to fit in the rectangle you would get if all weights were equal. Proof that the greedy algorithm works is reasonably straightforward.
by DanielHB | 2025-05-09 09:41:51+00:00
Maybe look up the game credits, I sometimes do and I often see like 10 UI programmers (in games with a ton to 2d UI), 5 gameplay programmers, 5 environment scripting, etc. Sure it is not small amount of people, but it is not an army.

Also those programmers seem to be neatly segregated in different areas of the project which I imagine work similarly to boundaries between the microservices at keeping the logic isolated between teams.

: I do AM surprised just how much QA people are credited in games, QA for major games sure do feel like an army.
by jemmyw | 2025-05-09 09:42:24+00:00
Facebook is awful to use. I organise a group so I have an account, and there's things like the local food truck that only has a presence on fb so that's where you need to go to get the menu and phone number. Also my kids are in a bunch of activity groups like karate. So I use it once or twice a week to find some info or post some info.

The feed is pointless. It would be useful to see things from the groups I'm in. That's not what it shows.

If you're looking at a post and reload the page who knows where you'll end up. Why would you reload? Because it doesn't update the comments. Similarly the back and forward are broken. So I'll be looking at one thing, click to look at the next, click back... be lost, have to go back to the homepage, find the group again, find the post.

It's not that complex a site to be that complex or broken. I'm sure it's broken on purpose (ad serving, engagement etc), but because my usage of it is so narrow I don't see what they're trying to do.

I wish there was a good alternative. There are, of course, alternatives for all the things I do there, but they're not popular enough that I can direct people there.
by otabdeveloper4 | 2025-05-09 09:42:36+00:00
You don't understand.

The fact that getting a formal spec is impossible is precisely why you need to hire a developer with a big salary and generous benefits.

The formal spec lives only in the developer's head. It's the only way.

Does an LLM coding agent provide any value here?

Hardly. It's just an excuse for the developer to waste time futzing around "coding" when what they're really paid to do is cram that ineffable but very much important formal spec into their heads.
by lmm | 2025-05-09 09:42:49+00:00
I generally use preexisting components, there's not a lot of value add in creating my own date picker or dropdown box or whatever. Obviously I put my own content in, and compose together existing components to make bigger new components if the component I want doesn't exist (e.g. if I couldn't find an address entry component I might make one out of individual text entry components). I think some of the components I use might actually be or correspond to "basic" HTML tags, but that doesn't make any difference at the point of use.

If a component doesn't have built-in styling support (i.e. configurable via React properties) then I'll use Tailwind so I can at least ignore all the selectors and cascading nonsense of CSS. (I remain hopeful that the world will eventually see that inline styling is the way to go; with Tailwind I meet them halfway)
by vidarh | 2025-05-09 09:42:51+00:00
In terms of personal projects, I use my own custom Ruby X11 window manager, and when I moved and got the office space for an extra monitor, Claude Code wrote the basics of the multi-monitor support by itself.

It's notable to me because there are to my knowledge no other Ruby wm's (there's at least one that allows scripting with Ruby, I believe, but not the whole codebase), the X11 bindings are custom (no Xlib or XCB), and there are few great examples that fits into the structure of my wm. Yet it made it work. The code was ugly, and I haven't committed it yet as I want to clean it up (or get Claude to) but my priority was to be able to use the second monitor without spending more than a few hours on it, and starting with no idea how multi-monitor support in X11 worked.

Since then, Claude Code has added Xinerama support to my X11 bindings, and selection support to enable a systray for my pager, and written the systray implementation (which I also didn't have the faintest clue how worked, and so had Claude explain to me before starting).

I use it for work too, but for these personal projects priority has been rough working code over beauty, because I use them every day and rely on the features, and want to spend as little time as possible on them, and so the work has been very different from how I work with Claude for work projects where I'll work in much smaller chunks, polish the result etc.
by tomalpha | 2025-05-09 09:43:19+00:00
It seems wrong that each individual sysadmin human in Space X would need to (a) login to my device remotely, and (b) require individual credentials to do so.

Having some way to remotely push updates, and having some kinda of (preferably with your consent!) remote access might be reasonable, but I would expect that to be via some kind of intermediate gateway/app/something and not direct from a sysadmin’s individual account.
by palata | 2025-05-09 09:45:31+00:00
Nice engineering.

Too bad it's focused on seemingly useless missions. Maybe they should start with "Why should we sent people to Mars?".

My understanding is that ESA is paid by public money, right? Shouldn't public money be used to work on the major problems we have on Earth, like the current mass extinction (did you know we lost 80% insects in the last 20 years?), climate change and the beginning of the end of fossil resources?
by krick | 2025-05-09 09:48:35+00:00
How is the Android app? The only good app for local audio-books I know is "Smart AudioBook Player". The web-app GUI in the demo is less than perfect, but kinda ok, if you enable chapter-view. The biggest problem is a single set of ±10 s rewind buttons: for a dedicated audio-book player it's not enough, a separate ±1 min button set is a must. But since the authors didn't think of that, I don't expect it to be different in the Android app. I'm rather asking about mobile-specific features:

1. Does it properly stop the playback when headphones are disconnected?

2. Is there a usable lock-screen widget?

3. Does it auto-rewind after a pause? It's best when the pause duration is taken into account: it shouldn't rewind more than a couple of seconds if you pause for a second, but a whole minute may be better if you left it off yesterday.

4. Does it handle well situations when the server is not accessible? Can you just pre-download a couple of audio-books for your 10 h long flight? I mean, honestly, streaming is never desirable, the only point of a self-hosted server is that you don't have to download and delete your collection manually. It's a tricky problem when the playlist is highly variable (as with music), but for an audio-book player should be a non issue: just pre-fetch a whole book (maybe manually), storage space is a lesser issue than mobile internet.