MurphyA/hacker-news huggingface dataset:
by godelski | 2025-10-02 01:52:12+00:00
> The fact that you think I'm talking about the axiom of choice, demonstrates that you didn't understand what I'm talking about.

Dude... just a minute ago you were complaining about ZFC... Sure, I brought up AoC but your time to protest was then.

The reason I brought up AoC is because it is a common way to learn about the abuse of infinity and where axioms need be discussed. Both things you brought up. I think you are reading further into this than I intended.

> Now I'm curious. Was there anything that I said that should have been said more clearly?

Is this a joke?

When someone says

>> Honestly it's difficult to understand exactly what you're arguing.

That's your chance to explain. It is someone explicitly saying... I'm trying to understand but you are not communicating efficiently.

This is even more frustrating as you keep pointing out that this is not common knowledge. So why are you also communicating like it is?! If it is something so few know about then be fucking clear. Don't make anyone guess. Don't link a book, use your own words and link a book if you want to suggest further reading, but not "this is the entire concept I'm talking about". Otherwise we just have to guess and you getting pissed off that we guess wrong is just down right your own fault.

So stop shooting yourself in the foot and blaming others. If people aren't understanding you, try assuming they can't read your mind and don't have the exact same knowledge you do. Talk about fundamental principles...
by ryandrake | 2025-10-02 01:52:52+00:00
Joel covered this[1] topic over 20 years ago (!!) and we still regularly see "senior" programmers who just casually think of text as a string and strings as text, and that's all there is to it. I still regularly see websites full of ????? and U+FFFD and apostrophes becoming â€™ everywhere.

1: https://www.joelonsoftware.com/2003/10/08/the-absolute-minim...
by abaymado | 2025-10-02 01:52:57+00:00
I have owned both Quest 3 and the Vision Pro. It is safe to say that what Meta lacks in quality, it makes up for with creativity.

When I initially bought the Quest 3, it felt unnatural, bulky, and had a poor resolution. I regretted the purchase after a few minutes. But then I started downloading apps, mainly social apps like "Big Screen", where random people can create/join rooms. I started joining these rooms with my 480p avatar with low expectations. But to my surprise, each room was unique, with crypto talks, atheist/religious debates. I accidentally even stumbled on a rap battle room, where people were passing around a mic and free styling. All of a sudden, it felt like the Metaverse. The social interaction overshadowed the corky avatar and somehow convinced my brain that I was talking to a real human being and not an avatar.

I got invited to demo the Vision Pro prior to its release. They had already announced it at WWDC at this point. Given the price tag and the fact that it is Apple, I had high expectations. I was not disappointed. In fact, I was even more amazed. The cinema was phenomenal. After a few updates, my avatar or persona, like Apple likes to call it, looked just like me. But the plateau came too fast. Everything I tried on demoed the first day was everything it had to offer, just with different content. I still use the Vision Pro 2/3 times a week to watch movies or shows, and it is still a mind-blowing experience, but nothing that would make me rush to put the Vision Pro on.

I wish Apple would follow Meta’s footprint and bring more social apps to the Vision Pro. I don't want to be on FaceTime with people I know and watch an Apple TV show. I want to join rooms with randoms arguing about why Bitcoin will be in the future.
by MisterBiggs | 2025-10-02 01:53:34+00:00
Shield AI | Autonomy Applications Manager | Full Time | ONSITE Washington DC

Shield AI's mission is to protect service members and civilians by creating intelligent systems.

My team needs a manager, its a very well positioned team at a rapidly growing company working with some really awesome people. Any autonomy or robotics experience is a huge plus https://jobs.lever.co/shieldai/7952271c-8578-42d8-a587-4707c...

Contact info on my profile if you have any questions I'm happy to chat!
by bangaladore | 2025-10-02 01:53:48+00:00
I'm very familiar with both. My day job in defense is bare metal systems with C & C++ and often integrating them with C#-based test infrastructure.

Is C# perfect for every task, no. But it's probably suitable for most of the tasks that DARPA is targeting to support. The reality is that low-level languages were used in the past because generally our computers were less efficient, and the higher-level languages didn't exist. Most things today written in C++ would probably be written in a higher-level language if designed today.

Infact, I know of a specific case where a vendor is currently in hot water because a GUI tool running on a standard windows machine is not memory safe when in this case some agencies think it should be. This is probably similar to the vast majority of C++ code DARPA is concerned with.
by trhway | 2025-10-02 01:53:53+00:00
the embedded decoder may as well be closing on a full-blown SQL execution engine (as the data size tramps the executable size these days). Push that execution onto a memory chips and into SSD/HDD controllers. I think something similar happens in filesystem development too where instead of straight access to raw data you may access some execution API over the data. A modern take on IBM mainframe's filesystem database.
by magicalhippo | 2025-10-02 01:53:53+00:00
> Data files are useless without a program that knows how to utilize the data.

As I see it, the point is that the exact details of how the bits are encoded is not really interesting from the perspective of the program reading the data.

Consider a program that reads CSV files and processes the data in them. First column contains a timestamp, second column contains a filename, third column contains a size.

As long as there's a well-defined interface that the program can use to extract rows from a file, where each row contains one or more columns of data values and those data values have the correct data type, then the program doesn't really care about this coming from a CSV file. It could just as easily be a 7zip-compressed JSON file, or something else entirely.

Now, granted, this file format isn't well-suited as a generic file format. After all, the decoding API they specify is returning data as Apache Arrow arrays. Probably not well-suited for all uses.
by harrall | 2025-10-02 01:56:17+00:00
I think these discussions always miss a nuance.

I work at a big company. There are parts that are nepotistic and there are parts less so. I just utilize the parts that work.

It’s like a restaurant that has bad food. Do I avoid the restaurant? No I still go and get the 1 good dish.

Why would I deprive myself because the restaurant doesn’t tick every box? On the other hand, why would I go in ever thinking it’s a good restaurant?
by lmm | 2025-10-02 01:56:49+00:00
> The majority of marriages end in divorce. This doesn't mean that I should treat all prospective partners as someone I will eventually divorce. That is not healthy for me, the people I interact with, or my future.

You should be aware that it's a possibility and act accordingly. Pretending divorce is impossible is what's unhealthy; preparing for the possibility will make for a healthier marriage and a better future, whether you ultimately divorce or not.
by ratrocket | 2025-10-02 01:56:57+00:00
Make that three :). Alpine is my "daily driver" on my laptop. I have several very long lived cloud VMs running it too. I know it has the reputation as "just" a container OS, but it's a pretty regular Linux distro. I think it's a joy to use on a daily basis! (I also believe it can't be that uncommon to daily drive it.)
by pixl97 | 2025-10-02 01:57:06+00:00
In theory yes, a small(er) model to do almost anything exists in the problem space of all models.

The problem is getting to that model state. Evolution found these models by creating a ridiculously huge number of experiments with the cut off function being 'can it breed before it dies on a limited number of calories'.

At least at this point it doesn't seem likely we can find a shortcut beyond that necessary computation. Evolution did it with time and parallelism. We do it differently with scale and rapid energy usage.
by ipnon | 2025-10-02 01:57:27+00:00
There is a lot of unmet demand for AI researchers that don't seem completely crazy. The Manhattan Project, people are wearing suits and ties, they're all aligned with the broader goals of the nation, the madmen who are proposing super bombs with 100 megatons are being corralled into relative containment. At a certain point in history, the development of nuclear power and thus nuclear weapons became inevitable, but so far we've managed to live with this technology without an apocalypse. But in AI development it sometimes seems like every other person is an Edward Teller. There are limits, I think, to the benefits of the open-mindedness of the Silicon Valley culture.
by smashah | 2025-10-02 01:57:31+00:00
The Starmer Cabinet's entire history points to the fact they they were engineered to take over in order to deliver 2 things: 1. The Holocaust of Gaza 2. A red carpet for Foreign Agent Traitor Langley Farage to take over.

If they cared about the country - they don't, they have complete contempt for the public - they would step down, dissolve the party and those in the party with a remaining qubit of morality put their efforts into atoning for their sins and crimes against freedom by working to get a Green/YP/LibDem coalition elected.

Every day they lolligag with this dead party is another vote for Reform - they know this.
by zmmmmm | 2025-10-02 01:58:39+00:00
This is a really interesting aspect of masking. The thing is, it's often not the direct presence of external scrutiny that drives the feeling of needing to mask, it's a lifetime of having normal behaviour expectations reinforced to a point where they truly internalised that there's something wrong with not doing the "normal" thing. So they will even be masking in private and have to go to great lengths to even discover where they are doing that and proactively "undoing" their private masking in order to allow them to restore energy during their own private time.

All this is often referred to under the notion of "internalised ableism".
by atropoles | 2025-10-02 01:58:48+00:00
Location: Missoula, MT

Remote: Yes

Willing to relocate: Yes

Technologies: Python, C++, Rust, Linux, PyTorch

Résumé/CV: https://docs.google.com/document/d/1i1FBI2YtGuynhij-Wfm9cpGx...

Email: lornjaeger@proton.me

I’m a computer science student who has worked in numerical computing and machine learning for most of my undergrad. Currently working in our university's fire lab doing deep learning on satellite data. I’m interested in internships in technology for critical industry (rail, energy, agriculture, manufacturing, telecom, etc.), technical writing, or scientific computing.
by ModernMech | 2025-10-02 01:59:04+00:00
They may not be in the majority, but they won their seats in their own elections which gives them their own power. This era is defined by realpolitik and might-makes-right use of official power. Democrats wielding their (again, legitimate) power to extract maximum leverage to thwart the agenda of the opposing party is exactly how Mitch McConnell played politics. If you're upset about this and claim it's thwarting democracy, then we can have a conversation about replacing Gorsuch with Garland.
by bangaladore | 2025-10-02 01:59:33+00:00
Not my post, but I've heard the same concerns with Bevy as with the others. And the actual blog post linked by that post does mention Bevy many times.

Infact Bevy might be a perfect example of my gripe(s) with Rust. Completely throwing a standard object system out the window in-favor of ECS which still hasn't caught on in even the most used game engines like Unity hurts adoption and usability.
by metadat | 2025-10-02 01:59:58+00:00
> Nobody deserves even a modicum of privacy. Let's make it 0 friction to inspect what they're doing at all times.

Features cut both ways. Am I respectful of my work equipment? Yes. Would it be net good for my boss to automatically get a report of everything on my screen everyday, not particularly. So could we not have the largest platforms make it even easier than it already is to be creepy AF?
by jimbo808 | 2025-10-02 02:00:24+00:00
Been strange to watch this guy get so rich off of a car company that is somehow worth $1.4 trillion, but had $97 billion in revenue last year, and only sold 1.7 million cars. P/E of 266.

For comparison: Toyota's market cap is $304 billion, with $311 billion in revenue, and they sold 10.8 million cars. And their P/E is 8...

Wild.
by zigmig | 2025-10-02 02:02:40+00:00
That’s awesome!

I’m curious: what specific strategies or habits have you developed to sift through all the chatter and zero‑in on the conversations, resources, or people that actually push your growth forward?

For example, do you rely on certain tags, follow particular communities, set daily reading windows, or use any filters/keywords?

I’d love to hear what’s worked for you so others (like me) can adopt a similar approach.
by gus_massa | 2025-10-02 02:02:48+00:00
structures from Mars: I'm not sure that a geological origin was discarded. Wait 5 years until the dust settle.

Phosphine gas on Venus: I think it was debunked.

now organic molecules on Enceladus: And there is plenty of organic molecules in Titan, but they are created by inorganic reactions. Something like https://en.wikipedia.org/wiki/Miller%E2%80%93Urey_experiment at a moon scale. (Note that the modern versions use a very different gas mix, but the end result is similar.)
by johnnyanmac | 2025-10-02 02:03:31+00:00
>You may have noticed I stressed this particular issue and Funding the government

Okay. But we don't live in a vacuum. It's no shocker that the party lines can't compromise. That didn't come out of nowhere yesterday, at the beginning of 2025, nor even at the beginning of 2016. You create a culture of tribal lines and it seeps into every aspect of your political navigation.

The last straws of all the refusals to allocate congress funds, breaking court orders, and tanking the economy in trade wars definitely means some that Dems are playing hardball too.

>And how has this philosophy worked out?

It passed the big beautiful bill and kicked the can down the road 6 months when we almost shut down in March but "compromised". The ball isn't just in the GOP's court, they own the entire stadium. So, not too well.
by carefulfungi | 2025-10-02 02:06:09+00:00
I don't follow (possibly through my own limitations) the main argument.

> The center piece of my argument is that the brute force learning approaches that everyone rightfully touts as great achievements relied on case-specific very carefully engineered front-ends to extract the right data from the cacophony of raw signals that the real-world presents.

In nearly each of the preceding examples, isn't the argument really about the boundaries that define the learning machine? Just because data preparation / formatting / sampling / serialization is more cost-effective to do externally from the learning machine, doesn't mean that boundary is necessary. One could build all of this directly inside the boundary of the learning machine and feed it the raw, messy, real world signals.

Also, humans having plentiful learning aids doing "tokenization", as anyone who helped a child learn to count has experienced first hand.
by bigyabai | 2025-10-02 02:07:23+00:00
> The SpaceX satellites

The Starlink satellites* ftfy

SpaceX handles a variety of payloads, not just LEO ones that burn up at the end of their lifespan. Famously the NRO satellites launched by SpaceX have an apogee that gives the Molniya orbit a run for it's money.
by johnnyanmac | 2025-10-02 02:07:42+00:00
We didn't unbalance the budget in a year. It won't take a year to fix it.

If we had proper plans to move in the right direction I wouldn't mind that at all. Instead we're blowing it up further.

Personally I'm fine with proper aggressively progressive taxes and that alone would be a huge help. But we do need to cut defense spending and yes, Social security. Because at this rate Millenials aren't getting Social Security anyway.
by ai2ai | 2025-10-02 02:08:01+00:00
We are launching a new type of an AI agent, in the category of 'Entertainment' and 'Just for fun' where: - the human user is an observer of the interaction between 2 AI entities - the AIs are based on different LLM models - and the AIs have an avatar, gender and are speaking

New users get credit to explore and evaluate.
by alexostrovskyy | 2025-10-02 02:08:02+00:00
I think many of us have felt the pain of building a cool LLM-powered application or RAG pipeline, only to find it's too brittle and unpredictable for real-world use. The core problem is that they are black boxes. When they fail, it's hard to know why.

I've been focused on this problem of "productionizing" AI workflows. It's not just about testing; it's about deep observability, performance tuning, and building systems you can trust to be stable.

I wrote up a guide on a methodology I've found very effective. It's based on an open-source framework that uses decorators to trace the entire execution path of a chatbot. This gives you the data to:

- Pinpoint Performance Bottlenecks: See the exact latency of every LLM call, tool use, and retrieval step. - Automate Quality Control: Use an LLM-as-a-judge to programmatically check for hallucinations (groundedness), safety violations, and adherence to custom rules. - Create a Feedback Loop for Improvement: When you change a prompt or logic, you can run the test suite and get a concrete report on whether performance and reliability have improved or worsened.

You can read the guide here: - LangChain-based application: https://alexostrovskyy.com/the-glass-box-why-your-chatbot-ne..., - LlamaIndex-based application: https://alexostrovskyy.com/production-llm-chatbot-tracing-an...

I’ve created this open-source project to use in my projects and help other creators.

My goal is to create a framework (open-source) that can help us build stable, trustworthy AI systems, not just clever demos.

I'd be very interested to hear feedback from other engineers and creators.
by youngwilkie | 2025-10-02 02:08:30+00:00
Carriage Models | Backend/Platform Engineer | ONSITE (NYC) | Full-time | https://carriagemodels.com

Carriage Models automates financial due diligence across private equity, banking, real estate, debt, and hedge funds. We target complex financial modeling.

We're building enterprise AI systems:

-Heavy LLM usage and multi-agent agentic workflows

-Python backend (async, high-throughput processing)

-TypeScript frontend

Looking for backend/platform engineers who:

-Architect novel solutions to complex workflows utilizing LLMs and Python

-Think deeply about edge cases and can break down complexity into logical solution trees

-Are self-motivated and thrive on solving hard problems independently

-Know when to use LLMs vs. deterministic code

Small team, growing fast. In-person in NYC.

Apply: Send resume or GitHub + one sentence on why you → jobs@carriagemodels.com
by pixl97 | 2025-10-02 02:08:42+00:00
> because that apparently was beyond his competence.

This has almost nothing to do with nature (barring a development issue).

This has to do with nurture. Every time they went to do something with a tool a helicopter gunship of a parent showed up to tell them no. Now they have a learned helplessness when it comes to these things.

But that's not really any different then when I was a kid so very long ago. At 4 or 5 I was given a stack of old broken radios and took them to the garage for a rip and tear session. I got to look at all their pretty electronic guts that fascinated me. There were plenty of other parents of that time that would have been horrified to see their kids do something similar.
by ryandrake | 2025-10-02 02:09:25+00:00
This is kind of my "CLI bigotry" showing, but I think programming was always, quite naturally, a command-line occupation, but there was this brief period starting in the late 90s where a sizable number of practitioners were seduced by things like Visual Studio and Eclipse, and went over to the dark side. But nature is slowly restoring itself, and we're moving back to software development being text based tools inside a bunch of terminals, like god intended.
by Babkock | 2025-10-02 02:09:32+00:00
It's not perfect, but considering all the bullshit and misinformation out there about autism spectrum disorder, it's a step in the right direction. I'm sure all of the other autistic people will tell you why it sucks, why it's not good, and nitpick and criticize, but it's fun, it looks cool, and it's decent media representation for a marginalized community that has almost no real representation in media. I don't really like how the goal is to just be a productive worker and exist in society that works against you in every way?

There should be more than 4 meters under "Stats", and one of them is just labeled "???" and goes to 0 for no reason.
by SamPatt | 2025-10-02 02:09:44+00:00
One point to add about integration between LLMs and Obsidian: plugins.

Obsidian has a plugin system that can be easily customized. You can run your own JS scripts from a local folder. Claude Code is excellent at creating and modifying them on the fly.

For example, I built a custom program that syncs Obsidian files with a publish flag to my Github repo, which triggers a netlify build. My website updates when I update my vault and run a sync.
by goldenCeasar | 2025-10-02 02:10:02+00:00
Location: Sao Paulo / Brazil Remote: Only Willing to relocate: No Technologies: Ruby / Rails (PostgreSQL, Redis, Github...) Linux / DevOps / IAM Résumé/CV: https://drive.google.com/file/d/1eFJt5gpK7C-nNJWar75jmskSTIrh0rCv Email:andremuta+hn@gmail.com

I'm André, I have around 8 years of experience as a SWE, mostly building and improving Rails applications in a secure and scalable way in the IAM domain (e.g. an identity provider that now handles 50m users), including the Devops/Infra/Architecture work related. I am someone that likes to tackle challenging problems.

One of these kind of problems is related to what I am currently building, vector (domain specific) language implemented in Ruby that lowers and then codegens to Ruby and JS: https://github.com/amuta/kumi

I am very confident on my skills as a developer but at the same time I find it to be inversely correlated with short performatic technical interviews. If you evaluate me with scoped work or a debugging session with real logs and tracing, we’ll both get a truer signal.

If you are working on a challenging problem with a lot of unknowns that requires deep technical understanding, I'd be very interested to hear about it. Please send me an email, and let's have a conversation.
by Terr_ | 2025-10-02 02:10:05+00:00
Yeah, author seems to have made a mistake there.

> Unicode is a large table mapping characters to numbers and the different UTF encodings specify how these numbers are encoded as bits. Overall, Unicode is yet another encoding scheme.

I would guess this represents a confusion between the narrow abstract definition of Unicode versus the way it is casually used as an umbrella term which includes stuff like Transformation Formats.
by metadat | 2025-10-02 02:12:30+00:00
I suppose the heyday is over, it's time to migrate to something else. Oh, I won't be able to POP push gmail to my new email address, nice.

There is an opportunity for someone to make a low-friction service which does server-side forwarding via IMAP with decent anti-spam. If done right, you could soak up a significant chunk of the Internet email biz.