MurphyA/hacker-news huggingface dataset:
by jane-street | 2025-09-05 15:45:13+00:00
Jane Street | Hybrid | Full-time

If you haven't heard of us before, we’re a quantitative trading firm that cares a lot about technology. This means building elegant solutions that scale well, never assuming that “best in market” is the same as “best possible,” and ensuring everybody has the resources needed to do their jobs well.

We're looking for folks in New York, London, Hong Kong, and Singapore for a variety of roles including, but not limited to:

- Data Engineers who can help us understand, clean, manage and share the data that guides our trading. At Jane Street, having a thorough and accurate understanding of data is at the core of everything we do -- https://www.janestreet.com/join-jane-street/position/6558007...

- Machine Learning Engineers with robust experience in machine learning and strong mathematical foundations. Machine learning is a critical pillar of Jane Street's global business. Our ever-evolving trading environment serves as a unique, rapid-feedback platform for ML experimentation, allowing us to incorporate new ideas with relatively little friction -- https://www.janestreet.com/join-jane-street/position/8056588...

- A Machine Learning Educator who will be instrumental in maintaining and growing our ML educational programs and classes, spanning topics such as an introduction to general ML, efficient use of AI assistants, our internal stack for training models, and how to reason about performance -- https://www.janestreet.com/join-jane-street/position/7449077...

- Software Engineers who are intimately tied into every area of our business. We are big believers in functional programming, using OCaml, a statically-typed functional programming language, as our primary development language. We also believe in the value of open source software, using it in our daily work and releasing hundreds of thousands of lines of our own code as open source -- https://www.janestreet.com/join-jane-street/position/4274288...

- Frontend Software Engineers who are passionate about user-interface design and typed functional programming. You would take part in the design and implementation of our next-generation of browser-based tools for operating our trading infrastructure -- https://www.janestreet.com/join-jane-street/position/6184529...

- A Programmer-Who-Writes, or a Writer-Who-Codes -- https://www.janestreet.com/join-jane-street/position/7604415...

- Production Engineers who spend time both developing software and providing high-quality support for software systems that are critical to our trading business -- https://www.janestreet.com/join-jane-street/position/5108180...
by wglb | 2025-09-05 15:45:36+00:00
Development speed has been a bottleneck in every major product development effort that I have been involved in. From a realtime medical data collection application where president and VP are drumming their fingers on the desk waiting for development to be finished.

Writing a compiler at Sycor, there were teams waiting for us to finish our development. We were successful, being about an order of magnitude faster than the effort we replaced.

And just because google cancels products doesn't suggest anything about development speed.

If I were an LLM advocate (having much fun currently with gemini), I would let the criticism roll and make book using LLMs.
by moduspol | 2025-09-05 15:46:38+00:00
I think current implementations of AI are vastly overhyped in the market. There's a huge gap between what people think or expect from AI and what has been delivered, and the deliveries are not likely to catch up in the short or medium term.

There are remarkably few success stories of AI actually replacing employees directly. The best examples we've got are marginal (and conflicting) improvements in software developer productivity.

I'm 100% willing to believe some fewer people are getting hired because many employers are actually drinking the kool-aid: they think they won't need them in 3-6 months. I also think fewer people are getting hired due to other economic conditions (e.g. tariffs). Still others see the writing on the wall (AI bubble pop is imminent, recession likely incoming) and don't want to hire for that reason.

In any case, I don't think it's because of AI itself.
by scosman | 2025-09-05 15:47:10+00:00
You were specific. Don't start throwing around insults for reading what you wrote and pointing out it seemed like a weird statement.

There's more than 1 device that run's GrapheneOS so the comment didn't make sense unless adding some extra constraints like where it's produced (which you did). I assumed you were being specific, not just making false statements. My bad.
by cosmicgadget | 2025-09-05 15:47:12+00:00
> You don’t think that something like that would’ve already been used against him?

Honestly tired of this being used as some sort of exculpatory instant win. There are a handful of very good reasons this would not have happened. We won't know until he does the things his proxies promised.

And obviously covering for his allies is pretty terrible on its own.
by imtringued | 2025-09-05 15:47:13+00:00
Your post-rationalization just doubles down on the stance that these crawlers are abusive and poorly developed.

You're also under the blatantly wrong misconception that people are worried about their data, when they are worried about the load of a poorly configured crawler.

The crawler will scrape the whole website on a regular interval anyway, so what is the point of this "optimization" that optimizes for highly infrequent events?
by mothballed | 2025-09-05 15:47:23+00:00
Right, and we managed to destroy that where I live. Deregulated ("opt-out") houses don't get a certificate of occupancy, so you cannot easily get a mortgage, or easily get insurance. So the house is essentially highly valuable to you but not worth a lot to anybody else. We have no real incentive to regulate because the whole structure of the house paperwork makes it pretty much impossible to use as a goose egg.
by pndy | 2025-09-05 15:47:41+00:00
> Like, in TNG people walking around with glorified e-readers but having to go to the big computer or to ask Alexa things instead of just tapping on their screens.

PADD was still futuristic enough at that time but what they didn't predict behind scenes was multitasking in software. Characters in old series were seen working on multiple devices like on multi-page documents. Tho, you can always say that it was just a gimmick to show character being really busy.

Some 30 years ago there was this Australian tv show for kids created where by sheer luck a damaged satellite fixed itself and let group of random kids around the world magically have a Zoom-like meetings for education and... making art thieves lives miserable. Prop department utilized still new at that time Sharp OZ-7000 (one of first such devices, before even PDA was coined) as communication device equipped with small colored LCD and weird looking "gem" camera. Back then that was a futuristic fantasy that seem impossible. And here we are, with smartphones that can make video calls at ease by Internet for last few years.
by throwawayqqq11 | 2025-09-05 15:47:43+00:00
Coherent like tarifs on everything, including resources, without legislation to bolster local manufactoring. Or how do his tax cuts fit in the big picture of the good'ol days? Or the dismantlement of public infrastructure? IMO, those 3 things are the bigges impacts he made and they are all negative.

Sorry, but this justification of trumps actions sounds delusional. The only thing that interests him is spineless loyalty to serve his will and looking like the toughest guy at the top of his incompetent boot lickers.
by rsyring | 2025-09-05 15:47:44+00:00
> What else can they do...

They can do what Docker and many other software providers do that are committed to cross OS functionality. They could build packages for those OSes. Example:

https://docs.docker.com/engine/install/ubuntu/#install-using...

The install instructions you link to are relying on the OS providers to build/package Podman as part of their OS release process. But that is notoriously out-of-date.

You could argue, "Not Podman's Problem", and, in one sense, you'd be right. But, again, it leads to the question "Why wouldn't they make it their problem like so many other popular projects have?" and I believe I answered that previously.
by godshatter | 2025-09-05 15:47:45+00:00
I'm not a big fan of banning things like this. There's good mixed in with the bad and banning things will only lead to new social media sites rising in their place. I don't expect them to be any better.

This is basically a fight against human nature. If I could get one wish, it would be legislation that forces social media sites to explain in detail how their algorithms work. I have to believe that a company could make a profitable social media site that doesn't try all the tricks in the books to hook their users to their site and rile them up. They may not be Meta-sized, but I would think there would be a living in it.
by bckr | 2025-09-05 15:48:55+00:00
I’m moving this way as well after about 6 months of generating 95% of my code with Cursor/Claude.

My new paradigm is something like:

- write a few paragraphs about what is needed

- have the bot take in the context and produce a prototype solution outside of the main application

- have the bot describe main integration challenges

- do that integration myself — although I’m still somewhat lazy about this and keep trying to have the bot do it after the above steps; it seems to only have maybe 50% success rate

- obviously test thoroughly
by Moomoomoo309 | 2025-09-05 15:49:00+00:00
I see you've never had the awfulness of dealing with the weirdly-keyed SSDs or the SATA SSDs! They're terrible! I had one of those laying around in an older mobo and I wanted to just put it in another machine, nope. I found an SSD that's the same size, got an M.2 to USB adapter that handles all of them, then just used dd to copy the data over (since they're the same size, you can just dd it directly). Not fun.
by MaxMonteil | 2025-09-05 15:49:25+00:00
The tooling keeps getting better so I'm bullish on that side.

For canaries there's growing support for branching the database which can help.

But in the end, this like all things requires balance. Putting everything in there can lead to pain down the road, for example I wouldn't follow the http part.

My use case is with app's local sqlite and I have a lot of code transforming the returned rows into JSON. It works but feels slower and to divorced from the data.
by seneca | 2025-09-05 15:49:32+00:00
Exactly the comment I came to make after reading this article. The article is basically claiming that "trying different things until something works" is what takes time, but the actual act of "trying things" requires development time. I can't see how someone can think about this topic this long, which the author clearly has, and come to this conclusion.

Perhaps I've just misunderstood the point, but it seems like a nonsensical argument.
by odie5533 | 2025-09-05 15:49:34+00:00
> There are remarkably few actual success stories of AI actually replacing employees directly.

If I employ 100 people, and AI makes them 10% more productive, then I only need 90 people now to do the same work. AI doesn't have to replace people 1:1 for it to result in job losses. It just needs to increase productivity (or be seen to even).

And you might think 100 people that are 10% more productive now I have 110! But that's not how corporations work. When they have extra money, they don't invest it in R&D. They do stock buybacks. And when they have extra productivity, they do layoffs and stock buybacks.
by partomniscient | 2025-09-05 15:49:38+00:00
Too late to edit after a late post-proofread I got distracted by the ICFP2025.

>I really Prague

I really liked Prague... except for the tourist stretch on the non-castle side of the river which way tacky. We have our own tacky shops where I'm from, they're just not all together in a long continuous span.
by Aurornis | 2025-09-05 15:49:59+00:00
> Imagine if ChatGPT gave "do a luigi" as a solution to walmart tracking your face, gait, device fingerprints, location, and payment details, then offering that data to local police forces for the grand panopticon to use for parallel reconstruction.

> It would be unimaginable.

By "do a luigi" you're referring to the person who executed a health insurance CEO in cold blood on the street?

Are you really suggesting that training LLMs to not suggest committing murder is evil censorship? If LLMs started suggesting literal murder as a solution to problems that people typed in, do you really think that would be a good idea?
by bombcar | 2025-09-05 15:50:38+00:00
If you've been to the rural USA you'd know it's just high-trust (and the middle of nowhere). They're pretty common for low-value things like corn and farm produce; but I've seen syrup and honey, too.

There might be a camera but since there's usually no power, it'd have to be some sort of trail/game/deer cam. What would you do with the result besides some vigilante frontier justice? No cop anywhere but daytime children's TV is going to investigate the Case of the Stolen Syrup.
by wrs | 2025-09-05 15:50:40+00:00
Long ago (I first remember doing it in about 1985 with the original Mac watch cursor) this was the standard way to do spinners: somewhere in your processing you incremented the spinner. It was hard to put the increments in the right places to keep the spinner going even when progress was happening, and nearly impossible to make it animate smoothly. This technique is even harder to get right when the processing in question is multithreaded, or if the spinner is part of the UI (as opposed to a cursor) so it has to trigger a redisplay to show up.

So programmers didn’t like it because it was complex, and designers didn’t like it because the animation was jerky.

As a result, the standard way now is to have an independent animation that you just turn on and off, which means you can’t tell if there’s actually any progress being made. Indeed, in modern MacOS, the wait cursor, aka beach ball, comes up if the program stops telling the system not to show it (that is, if it takes too long to process incoming system events). This is nice because it’s completely automatic, but as a result there’s no difference between showing that the program is busy doing something and that the program is permanently frozen.
by smelendez | 2025-09-05 15:50:53+00:00
It's interesting how frustrating it can feel to backtrack, even when it's the right move I definitely have felt this too.

Also, in the past I've done interactive maps and charts for different media organizations, and people would often debate for a considerable amount of time whether to, for example, make a bar or line chart (the actual questions and visualizations themselves were usually more sophisticated).

I remember occasionally suggesting prototyping both options and trying them out, and intuitively that usually struck people as impractical, even though it would often take less time than the discussions and yield more concrete results.
by raincole | 2025-09-05 15:51:17+00:00
I do think politics is getting dumber. I was criticizing that the author didn't provide meaningful arguments, so I got very little from this article except confirming my own existing belief [0].

Clearly George Washinton had much lesser motivation to appeal to the general population than Trump does. If the comparison was made between, say, Trump and Reagan, it'd be slightly more convincing to me.

> How would you address the dumbing down of politics?

I don't know. Of course I don't know. Which was why I read this article: I expected it to answer this question for me. But I found it did a very poor job at this, as

1) Comparing to Washinton makes little sense.

2) I don't think "easier to understand" means "dumber." I expect if you asked Flesch and Kincaid themselves whether they think a text of lower Flesch–Kincaid readability score means it's "dumber" they would say no.

[0]: And except this article 'inspired' me to write the above comment and therefore made me use a bit of critical thinking, perhaps.
by alyandon | 2025-09-05 15:51:33+00:00
LTS in general being slow to uptake new versions of software is a feature not a bug. It gives predictability at the cost of having to deal with older versions of software.

With Ubuntu at least, some upstreams publish official PPAs so that you aren't stuck on the rapidly aging versions that Canonical picks when they cut an LTS release.

Debian I found out recently has something similar now via "extrepo".
by jqpabc123 | 2025-09-05 15:51:43+00:00
Lack of real world data is why FSD sucks.

All the data in the world can't really fix FSD because driving is a dynamic activity filled with unique, constantly evolving conditions.

FSD sucks because it is poorly engineered. It has no redundancy. It is built around a single point of failure --- vision. If this fails for any reason (sunlight, darkness, rain); it is essentially driving blind.

Tesla's engineers understand this but apparently Muck doesn't --- his main skill is marketing and salesmanship (targeting investors) --- not engineering.
by mcdonje | 2025-09-05 15:51:52+00:00
I already said I don't have time to rewrite the query right now, but I'd definitely get rid of the correlated subqueries, which should be obvious from my comments. I may or may not use an intermediate representation, like a CTE, and I'd probably make use of JSONB_OBJECT_AGG.

I kind of thought it was a red flag that you were accusing me of not understanding the post, which is about how SQL is bad at hierarchical data, while defending the bad SQL he used to defend his argument. But I didn't make a big deal out of it.
by BoxOfRain | 2025-09-05 15:51:57+00:00
The original Furby was interesting on this front, I have one controlled by a Pi Zero using a motor controller and LED driver board (you need an LED for the cam position sensor, and this way I could backlight the eyes with RGBs too). Every expression the thing can make is driven by a single motor via a series of gears and cams, so it's pretty straightforward to get up and running. The main issues are that clearance is really tight and the gearbox is pretty noisy.

My eventual plan is to hook it up to an LLM and use it like the world's most uncanny Alexa, but there's an issue with the audio board I've not got around to fixing yet. Got a bit sidetracked by the server software which I'm using as an excuse to learn Cats Effect properly.
by coffeecoders | 2025-09-05 15:52:38+00:00
This is my recurring gripe with these "mini computers":

Power cable? Not included.

SSD adapter? Not included.

Needs a mini HDMI to HDMI cable.

Needs a cooling case (absolutely required for Pi 5).

It feels a bit like Tesla’s "gas savings" pricing deception. The Pi looks cheap on paper, but the actual usable cost is buried under "essential extras" [1].

[1] https://www.pishop.us/product/raspberry-pi-5-16gb/?src=raspb...
by geedy | 2025-09-05 15:54:03+00:00
I just bought my ppu digitizer two days ago! Very excited to get that working.

There are a couple reasons you would go this route or classic nesrgb, and I was very tempted (I might still do a nesrgb on my other nes, if ppu digitizer goes well).

Primary one is lumacode is a digital signal that requires interpretation before it can be input into a tv. You can use the creator's rgb2hdmi which requires a raspberry Pi, or you can use a scaler like retrotink or ossc (pro). An RGB connection is standalone in many setups, and also works with scalers. If you want to interface with a CRT, lumacode doesn't immediately support that.

Additionally, ppudigitizer doesn't (directly) support multiple palletes. You are stuck with whatever your lumacode interpreter provides (though you could in theory change this yourself).
by AIPedant | 2025-09-05 15:54:06+00:00
It didn't come completely out of nowhere, Euler and Bernoulli had looked at trigonometric series for studying the elastic motion of a deformed beam or rod. In that case, physical intuition about adding together sine waves is much more obvious. https://en.wikipedia.org/wiki/Euler%E2%80%93Bernoulli_beam_t...

Other mathematicians before Fourier had used trigonometric series to study waves, and physicists already understood harmonic superposition on eg a vibrating string. I don't have the source but I believe Gauss even noted that trigonometric series were a solution to the heat equation. Fourier's contribution was discovering that almost any function, including the general solution to the heat equation, could be modelled this way, and he provided machinery that let mathematicians apply the idea to an enormous range of problems.
by tjwebbnorfolk | 2025-09-05 15:54:14+00:00
I think it's perfectly reasonable for us to have higher standards for quality and safety than we did 100 years ago.

> Just because it uses the same rail gauge as intercity freight doesn't require it to run on the same set of tracks

Building a replica set of tracks that runs parallel to the current tracks just to avoid sharing doesn't strike me as a good use of anyone's time/money.

> "local-first" entails other traffic just being excluded

And how are you going to notify them that they are excluded when the network is down?
by cosmicgadget | 2025-09-05 15:54:25+00:00
Incidentally honest. He wants to project power because US enemies and frenemies are rallying behind China. The only thing Trump knows is branding so you get a name change to intimidate our adversaries.

Considering he is currently deploying armed forces in a non-war "defense" of our own cities, the rebrand is actually quite ironic.
Show HN: Safe-fetch 1.0 – type-safe fetch wrapper (no try/catch, RQ adapter)
by asouei | 2025-09-05 15:55:12+00:00
I released safe-fetch 1.0, a tiny (~3kb, zero deps) wrapper around Fetch:

No try/catch: always returns { ok, data | error }

Normalized errors (NetworkError, TimeoutError, HttpError, ValidationError)

Dual timeouts (per attempt + total)

Smart retries with exponential backoff + Retry-After

New: React Query adapter (0.1 experimental) to remove unwrap boilerplate

GitHub: https://github.com/asouei/safe-fetch

NPM: https://www.npmjs.com/package/@asouei/safe-fetch
by pizlonator | 2025-09-05 15:55:13+00:00
I think you're trying to compare RLBox and Fil-C because you view them both as "add more security". I get it and that's not entirely unfair, but...

They're just way too different. RLBox is a containerization technology. Fil-C is a memory safety technology.

Like, there's a world where you would use both of them stacked on top of one another, because Fil-C does memory safety without containerizing while RLBox does containerization without memory safety.
by justin66 | 2025-09-05 15:55:20+00:00
> There are a lot of things in that list that nobody is likely to ever rewrite in Rust.

How many years away are we from having AI-enhanced static analysis tools that can accurately look at our C code (after the fact or while we're writing it) and say "this will cause problems, here's a fix" with a level of accuracy sufficient that we can just continue using C?
by accrual | 2025-09-05 15:55:26+00:00
Can confirm, I needed to buy a passive cooling case and HDMI to Mini HDMI adapter just to setup and work on my Pi 4. I already had a spare 32GB microSD laying around. Thankfully it's fully headless now and it can get power from basically any USB-C port.

For my case it wasn't too bad, maybe $30-40 to get up and running on top of the Pi 4 cost. But I totally get what you mean, especially if one wants more capacity, active cooling, dedicated PSU, etc.