MurphyA/hacker-news huggingface dataset:
by mikepurvis | 2025-10-02 01:39:56+00:00
As in the prior comment, I'm a relative novice myself and certainly never achieved that moment with Rust where the code kind of melts away and you just see raw intent ("blonde, blunette, redhead"), but I do wonder if languages like Python have set our expectations a bit unrealistically in regards to that. Like instead of prioritizing information density, explicitness, and clarity, we got excited about the quick rush that came with `import antigravity`.

Java and C++ aren't just verbose, there's a lot of redundancy there, at least classically. Stuff that is needlessly repeated between headers and implementation, cases where you're having to hold the compiler's hand and continually repeat information that it should be able to infer itself from the code. And then the moment you find auto or template inference and feel like you can finally trust the compiler to do the right thing, it barfs up half a page of inscrutable errors and you're back to babying it.

Rust—in my limited exposure—is hitting kind of a sweet spot where it's the expressiveness and build/package ecosystem of Python, the performance and precision of C++, and the density of Perl. Or at least that's what's being aimed for; but obviously these goals open it up to charges that it's actually just as unreadable as Perl or as verbose as C++.
by ibarrajo | 2025-10-02 01:40:13+00:00
Location: Seattle, WA Remote: Yes Willing to relocate: Yes, open to SF, NYC for the right role Technologies: Go, Kotlin, Python, TypeScript, PHP, Java, Cadence Workflows, Kubernetes, GCP, AWS, Postgres, Redis, Kafka, Docker Résumé/CV: https://www.linkedin.com/in/elninja Email: ibarra [dot] josue91 [at] gmail [dot] com

I'm a backend/platform engineer and developer advocate with over 10 years of experience building systems at scale across startups and growth-stage companies like Uber and DoorDash.

Until earlier this year, I worked at Uber as a Developer Advocate for Cadence — an open-source workflow orchestration engine powering 12B+ workflows/month. I partnered with dozens of teams to support adoption, scale distributed systems, and troubleshoot production issues. Cadence is a key component of Uber's Michelangelo ML platform, and I worked closely with AI/ML teams to integrate it into fault-tolerant pipelines. I also supported internal model training efforts, including fine-tuning LLMs to answer Cadence-related questions and building systems to classify and prioritize developer support.

At DoorDash, I contributed to the migration from Django to Kotlin microservices on the Drive Merchant Services team, focusing on customer support endpoints. I also designed and implemented a modular refund rules engine for our largest partners, enabling flexible refund logic and supporting internal tooling.

I’ve previously built NLP pipelines at Jobscan to match résumés to job descriptions and score resume strength, and earlier, trained models to predict ad performance based on copywriting—my first foray into ML back in 2016.

After wrapping up at Uber, I took the summer off for personal restoration following a divorce. I'm now excited to return to a hands-on engineering role with a collaborative, technically strong team and a path toward engineering leadership (EM or CTO). I'm particularly interested in infrastructure, developer platforms, and applied ML systems in domains like healthcare, logistics, finance, or defense.

Outside of work, I enjoy navigating Puget Sound on my sailboat, wrenching on my motorcycle, and getting curious about obscure systems and trivia. Let’s build something meaningful.
by justine_chef | 2025-10-02 01:40:37+00:00
Chef Robotics | Several Opportunities | Full-time | San Francisco, CA (in office)

At Chef Robotics, we’re on a mission to accelerate the advent of intelligent machines in the physical world. Our focus is food, a $300B+ labor market in the US alone, and we’re building AI-powered robots to help food companies scale and automate repetitive tasks. Backed by leading investors like Kleiner Perkins, Construct Capital, Bloomberg Beta, and Promus Ventures, we’re building a team of world-class engineers, roboticists, and business leaders to transform one of the world's largest industries.

Please find our openings here: https://jobs.lever.co/ChefRobotics
by Aachen | 2025-10-02 01:40:45+00:00
Fwiw, GDPR has a forgotten clause that data exports need to also be provided in machine-readable format for easy service migrations and promoting competition / reducing vendor lock-in

The only reason I can imagine why nobody implements this, is that they like the status quo where it's hard to switch to their service, but equally hard to switch away. Once this becomes commonplace (e.g. because vendor A makes users aware it's a thing by implementing it for migrating from vendor B), vendor B will "retaliate" and A will have to truly be better than vendor B to retain said users

That is all to say, this might yet totally be a viable and legally unblockable business avenue for a third party to initiate. I'm just not sure there's enough demand to warrant (read: pay for) the effort involved. Maybe if you can have an LLM read the api docs of the service where you want to do the import and autogenerate a mostly-working version?
by pjm331 | 2025-10-02 01:41:07+00:00
the agent greps for the obvious term or terms, reads the resulting documents, discovers new terms to grep for, and the process repeats until its satisfied it has enough info to answer the question

> You could expand grep queries with synonyms, but now you're reimplementing query expansion, which is already part of modern RAG.

in this scenario "you" are not implementing anything - the agent will do this on its own

this is based on my experience using claude code in a codebase that definitely does not have consistent terminology

it doesn't always work but it seemed like you were thinking in terms of trying to get things right in a single grep when it's actually a series of greps that are informed by the results of previous ones
by bartread | 2025-10-02 01:41:35+00:00
Thanks: that's interesting to know.

However, I don't know that it erodes the value of the quote which, taken in isolation, rings true. Even, of all things, a Batman movie[0], and Battlestar Galactica[1] (!) have managed to drop some remarkably profound truths on occasion which has made me relatively unfussy about where one can find truth.

At the same time I do like to give due credit so I'll be sure to reference the correct source in future. Thank you, once again.

[0] "You either die a hero or live long enough to see yourself become the villain." - seen this one play out first hand multiple times in corporate life, specifically in leadership.

[1] "You cannot play God then wash your hands of the things that you've created. Sooner or later, the day comes when you can't hide from the things that you've done anymore." - take heed, Mark Zuckerberg.
by rayiner | 2025-10-02 01:42:37+00:00
What do you call the theory that the legislative power is vested in Congress—i.e. that Congress can’t create bodies that exercise legislative powers independently of Congress? You don’t have a label for that—it’s just what the first sentence of Article I obviously means.

The term “unitary executive theory” is wordplay, meant to make the ordinary seem unusual. It’s not a “theory” it’s just the meaning of the first sentence of Article II: “The executive Power shall be vested in a President of the United States of America.”

The Constitution creates three organs of government: Congress, the President—not the “executive branch,” but a single officer—and the Supreme Court Court. It’s obvious that Congressional or judiciary staff can’t exercise the legislative or judicial power, respectively, independent of the constitutional actors. The same is true for the President. There is nothing in the Constitution to suggest otherwise.
by ethbr1 | 2025-10-02 01:42:56+00:00
By your logic, there's no way to measure popularity between elections.

Ergo: Trump can only be said to be heisen/un/popular until the wave function collapses in the next election.

Which means your original statement

>> Trump is more popular than ever. Hegseth is incredibly well respected amongst combat vets.

isn't valid. (Per what you claim to believe about the measurability of politician popularity)
by cyberax | 2025-10-02 01:43:56+00:00
There are some available. For example: https://www.quectel.com/product/5g-redcap-rg255c-gl-m2/ - it costs around $120 per module. They have others: https://www.quectel.com/5g-iot-modules/

Which is pretty much what it costs for phone manufacturers right now.

I guess the real reason is that 4G is more than sufficient for pretty much anything, and it's going to be supported for the foreseeable future?
by wat10000 | 2025-10-02 01:44:19+00:00
Politics and discussing politics are pretty much unrelated things.

Actual politics is 100% solution oriented. It's about getting other people to do what you want to achieve the outcome you want. Disagreements are about which outcomes are desired, or which actions will best achieve them.

Discussing politics is, at best, about saying what you wish other people would do.
by AznHisoka | 2025-10-02 01:44:51+00:00
I know this is Yale and we should all assume they have the right methodology, but i think there are a few things wrong with this study.

1) they’re assuming that every company in the world is using AI aggressively.

Yes, ChatGpT is popular but there are still a LOT of companies that have not adopted AI in the enterprise.

If they wanted to analyze the impact of AI on the labor market, they need to analyze the mix of employees in companies that actually are actively implementing or aggressively using AI.

2) They did not mention how many people they sampled along the unemployed but if its something like 4% or so, the number of software engineers in that sampling is probably pitifully low (ie 10)

Definitely not enough to make a conclusion.
by smnplk | 2025-10-02 01:45:38+00:00
As I see it, the point of bootstraping a compiler is to develop a compiler in stages and that it doesnt require you to implement the full compiler in the original language.

For example, let's say you create a new language called Brute. You decide to write it in C (original language).

Stage 1: Create a Brute compiler in C, which can compile only a small subset of Brute language. Lets call it bruteC compiler.

Stage 2: Implement a compiler in Brute lang and compile it using your bruteC compiler. This produces brute-compiler executable.

Stage 3: Add new feature to your brute compiler source code and compile it using your brute-compiler executable, which produces new brute-compiler executable.. .

And so on... At the end your brute-compiler supports all language features and thus is self hosted.
by flexagoon | 2025-10-02 01:45:59+00:00
Ok, so they say Yandex queries are 2% of their costs. Kagi currently has 57341 paying members. Even if you assume that every single user has a $25/month Ultimate membership and that 100% of that money goes towards search API (which is both obviously not the case), you'll get that Kagi pays about $29000/month to Yandex. According to World Bank, the corporate tax burden in Russia is about 46% of profit, so if you assume all of this money as profit, Kagi pays $13000/month to the Russian government. In reality, Kagi spends MUCH less than $25/user on search API costs, and Yandex doesn't claim all of that money as profit, so the real figure is closer to $1000-5000, maybe even less. And most of that money goes to local governments or pension funds anyway. So yeah, Kagi may pay likeabout 1-2 cents a month from each user's subscription to the Russian government in exchange to massively improving the quality of their service. That's not nearly enough to call it "proudly collaborating with the Russian government", and I can guarantee you that MUCH more of your money goes to Russia every month in other ways. In fact, if you live in Europe, you probably pay more to Russia in your own taxes.
by xFixItNow | 2025-10-02 01:46:16+00:00
Location: Los Gatos, CA

Remote: Available

Willing to relocate: Yes

Technologies: JavaScript, Python, Node.js, GCP, AWS, Verilog, ARM Assembly, C++, FPGAs

Résumé/CV: https://www.adriclumma.com/docs/cv

Email: adriclumma@gmail.com

Hi, I'm a sophomore studying computer and software engineering at the University of Miami, seeking an internship during the Summer of 2026. My interests range from low-level hardware design to front-end website development. Open to opportunities, feel free to reach out!
by fooker | 2025-10-02 01:47:18+00:00
True

You can design a pretty decent version if your users are willing to write a tiny bit of boilerplate.

In fact, the LLVM project sort of does this, for the sake of compiling with -fno-rtti

- https://llvm.org/docs/HowToSetUpLLVMStyleRTTI.html
by Aachen | 2025-10-02 01:47:21+00:00
Okay so people can choose to buy a second device and do some things there (until chatcontrol 3.1 finally is approved by parliament anyway), but for the device that's basically mandatory for normal life now, what other options than "work with the system" or "don't" does F-Droid have?

I'll probably end up doing that btw. For now I'm still fighting the "have control on 1 device" battle, simply not using things that require a locked DRM state (no 2FA government login for example, limited bank choices, soon no age verification, etc.) until that's no longer tenable for me. I'll be among the last 0.02% to give in, judging by how it's going today (not even 99% of tech people seem to care that they're not the admin on their own device). We're on the same side with the same goals here, but I'm simultaneously also looking at what realistic remaining options are for my friends, family, and semi-child
by defrost | 2025-10-02 01:47:23+00:00
It's a nice piece done up well and made with the intent to sell, sure.

One of the fun things about W.Australia (and elsewhere) is the number of people that make semi decent scrap art for the fun of and put it up on their properties or roadside (the road into the town where I am now has a 30+ year history of having various (large) trees "dressed up" Mr. Potato Head style).

The Broome dino I linked above is a throw to history I lived as a child, following dinosaur tracks in various places when the tide went out or sand banks shifted.

People are less open about sharing where tracks are now, for good reason: https://www.australiangeographic.com.au/science-environment/...
by femto | 2025-10-02 01:47:54+00:00
... electricians ... are not going anywhere.

I wouldn't be so sure about that.

Power systems have a long way to go in terms of integration with data. One can envisage an inherently safe system whereby a data signal is superimposed on the wire (related to data-over-power) and every power source continually interrogates its loads and conditions on the wire are being continually monitored. Any unsafe situation will result in a shutdown of supply.

I'm describing a system that goes well beyond existing breakers and earth leakage: one that is able to fully map the connections between components, know the topology of the system and compare actual and expected behaviour. The idea is that any dummy could do electrical wiring, as the system itself would make it impossible to create an unsafe situation.

Cost would be higher to start with, but with economies of scale reducing the difference, my guess is that the higher cost of components could be offset by lower installation cost and the increased safety.
by pixl97 | 2025-10-02 01:48:00+00:00
I mean with rigid plastic containers robots are 'pretty consistent' at it now.

The problem with things like cardboard boxes, especially at any size is internal weight distribution and deformation of the box. If you take someone that is pretty new to stacking boxes at a wearhouse and give them sloppy boxes (ones that bend or otherwise shift) they are going to be pretty slow at it for the first hour or so, then we'll internalize the play in the materials and start speeding up considerably while getting a nice result.

It's pretty amazing how evolution has optimized us for feedback sensing like this.
by drdaeman | 2025-10-02 01:48:43+00:00
Uh, my only objection way about talking about Claude Code as “UNIX way/philosophy”. While there are some similarities, they’re nowhere sufficient to call it so.

(As far as I’m aware our brains are opposite of UNIX, starting right from the fact they had evolved and were not designed at all. And the article is about Claude and not me.)
by ethbr1 | 2025-10-02 01:48:44+00:00
Russia doesn't have the demographics to win, and they're throwing what young workers they have into a Ukranian meat grinder. (Or a war-focused economy that's going to leave them uncompetitive in any other industry)

https://en.wikipedia.org/wiki/Demographics_of_Russia#/media/...

The longer the Russian-Ukranian war drags on, the more likely Russia becomes a third-world resource extraction state on the other side of it.
by timjulien | 2025-10-02 01:48:44+00:00
Radar Labs | Software Engineers (SRE, data platform, backend, full-stack, mobile) | Remote (US), NYC | Full Time | https://radar.com

- Radar is the geo-location dev tool

- Doing 1B+ API calls per day

- Our main languages are Rust and TypeScript, we also use mobile and offline pipeline languages (Python, Scala, and Terraform).

- We're based in NYC with our HQ in Union Square and remote friendly (US)

Interesting things we're working on:

- HorizonDB, our Geospatial database written in Rust

- Precise indoor location more accurate than iOS and Android leveraging Ultra-Wideband, other mobile sensors and ML.

- Extracting raw map data from satellite maps and the web leveraging ML and AI

- Anomaly detection to identify spoofed locations

- Mobile infrastructure that automatically configures itself optimizing battery-life and location accuracy for different use-cases over time

- Multi-Region AWS K8s deployment, 99.99%+ availability

- Frontend tools to visualize and debug location data at scale

Check out our jobs page here: https://radar.com/jobs#jobs If you have any questions, feel free to reply here or you can e-mail me at tim@radar.com
by almostgotcaught | 2025-10-02 01:49:01+00:00
okay i guess you're right since

def cols [n] [m] 't (x: [n][m]t) : i64 = m

but that doesn't affect my point: cols has to know "something" about the name `replicate` more than just the types. why? because suppose i defined a function

def replicate5 n x = replicate 5 x

then

cols (replicate5 0 (replicate5 3 0)) == 5

that "something" is a shape function and now each data function must also correspond to a shape function. but that shape function doesn't magically have more info about its params than cols does about its params so you haven't solved any problem, you've just multiplied it.

spoiler alert every single tensor/array/matrix/ML/AI compiler runs into this same problem. there is only one solution: a fixed op set with a fixed number of corresponding shape functions. and then your compiler tries to perform shape inference/propagation. sometimes it works and you can specialize for fixed sizes and sometimes it fails and you get "dynamic" or "unknown" dims in your shapes and you can't do anything. oh well that's life in a universe where the halting problem exists.
by sheepish | 2025-10-02 01:49:38+00:00
I'm a CS and ML major at Northeastern University in Boston looking for a co-op/internship in ML, software engineering, and robotics. I've built battlebots and multimodal assistants, previously interned at IBM, and I code artificial life and videogame translation projects in my free time. I'm also a part of https://tetracorp.dev/ where I've built AI benchmarking software for large AI labs, enterprise infra for (financial) AI agents, and open-source hardware projects. Location: Boston, MA

Remote: Yes, or on site

Willing to relocate: Yes

Technologies: Python, FastAPI, Pytorch, Numpy, Javascript, NextJS, PostgreSQL, Supabase, TailwindCSS

Résumé/CV: https://bensenwang.dev/resume.pdf Website: https://bensenwang.dev/ Email: bensenwang8@gmail.com
by benlivengood | 2025-10-02 01:50:18+00:00
I can only think of one situation where it's hard to retrieve a remote backup of an individual file; where ZFS native encryption is in use and the remote backup system is not trusted to load the key for the dataset.

For myself, I don't trust remote systems to always have keys loaded, but in an emergency I would feel relatively safe temporarily loading the key, mounting the snapshot read-only, and scp-ing the files out, then unmounting and unloading the key (and rebooting for good measure).

There's also a viable slow option; export the raw storage of the backup ZFS pool over the (inter)network to a trusted machine and import the pool read-only locally, load the key, mount the filesystem, and make a copy. Much slower but is practical. I've used s3backer fairly successfully as a backup method for a pool with native encryption; it takes a minute or so to import the pool and can write backup snapshots at a few MB/s, so there shouldn't be any fundamental reason iscsi or similar wouldn't work.
by est31 | 2025-10-02 01:51:10+00:00
AIs replacing jobs is not the only way those companies can see a return on investment, it's not necessarily zero sum. If the additional productivity given by AI unlocks additional possibilities of endeavor, jobs might stay, just change.

Say idk, we add additional regulatory requirements for apps, so even though developers with an AI are more powerful (let's just assume this for a moment), they might still need to solve more tasks than before.

Kind of how oil prices influence whether it makes sense to extract it from some specific reservoir: if better technology makes it cheaper to extract oil, those reservoirs will be tapped at lower oil prices too, leading to more oil being extracted in total.

When it comes to the valuations of these AI companies, they certainly have valuations that are very high compared to their earnings. It doesn't necessarily mean though that replacement of jobs is priced in.

But yeah, once AI is capable enough to do all tasks humans do in employment, there will be no need to employ any humans at all for any task whatsoever. At that point, many bets are off how it will hit the economy. Modelling that is quite difficult.
by apavlo | 2025-10-02 01:51:39+00:00
The backstory is complicated. The plan was to establish a consortium between CMU, Tsinghua, Meta, CWI, VoltronData, Nvidia, and SpiralDB to unify behind a single file format. But that fell through after CMU's lawyers freaked out over Meta's NDA stuff to get access to a preview of Velox Nimble. IANAL, but Meta's NDA seemed reasonable to me. So the plan fell through after about a year, and then everyone released their own format:

→ Meta's Nimble: https://github.com/facebookincubator/nimble

→ CWI's FastLanes: https://github.com/cwida/FastLanes

→ SpiralDB's Vortex: https://vortex.dev

→ CMU + Tsinghua F3: https://github.com/future-file-format/f3

On the research side, we (CMU + Tsinghua) weren't interested in developing new encoders and instead wanted to focus on the WASM embedding part. The original idea came as a suggestion from Hannes@DuckDB to Wes McKinney (a co-author with us). We just used Vortex's implementations since they were in Rust and with some tweaks we could get most of them to compile to WASM. Vortex is orthogonal to the F3 project and has the engineering energy necessary to support it. F3 is an academic prototype right now.

I note that the Germans also released their own fileformat this year that also uses WASM. But they WASM-ify the entire file and not individual column groups:

→ Germans: https://github.com/AnyBlox
by jauntywundrkind | 2025-10-02 01:51:46+00:00
Reminds me of Anyblox, which is a columnar data-store file with attached wasm for encode/decode. Super fun read, showed up in the comments for Spiral. https://news.ycombinator.com/item?id=45212960#45214646

14 votes & no comments, 3 mo ago, for AnyBlox: A Framework for Self-Decoding Datasets [pdf] https://gienieczko.com/anyblox-paper https://news.ycombinator.com/item?id=44501743