MurphyA/hacker-news huggingface dataset:
by Brian_K_White | 2025-11-03 20:49:22+00:00
If I want to view an image file on a remote machine, and all I have is ssh... I just connect to that machine with filezilla and click on whatever files I want. I can even open files that aren't PNG! Even files that aren't even images at all. Mindblowing.

A terminal with in-band graphics primitives is called an RDP client.

We've had graphics terminals since RIP BBS's and even before that. If they were actually useful enough to be worth the bother, then we'd all have been using them all along and there wouldn't be posts like this.

It's not a case of there's this awesome idea that just for some reason no one knows about. No, it's just not that awesome of an idea. It's not harmful so it doesn't bother me that most xterms support tektronix graphics, it's just a gimmick of no real value. It's a solution to no problem.

Don't believe me? When was the last time you used passthrough printing? Or saw it being used even in some place where they do actually need to print? The terminals all still support it. It's just a thing that you don't need to do in-band in a tty, and today there is no reason to bother doing it that way even though you could. It's not better and does not solve a problem.
by xg15 | 2025-11-03 20:49:25+00:00
I think neither of it goes back far enough.

Not sure how it is in the US, but antifascist groups in Europe, including the term "Antifa" are far older. The origins go back into the 1920s to Marxist and Communist groups that were fighting the then-fledging fascist movements in Italy and Weimar Germany. (Also heavily influenced by the Spanish Civil War)

Later in the 70s, left-wing groups who saw themselves as part of the civil-rights movement adopted the name to fight against neo-nazis and old nazis that were still in power after the war (often with plenty of help by conservative circles in Europe and the US). Many of those groups saw themselves as Marxists and some where sympathizing with the Soviet Union, or might even have received support from there. But the "idea" was their own - or, if anything - came from the US, through the civil rights movement.

I don't know much about the modern Antifa groups in the US, but I imagine they, in turn, got "inspired" by the groups from the 70s.

https://en.wikipedia.org/wiki/Antifa_(Germany)
by pegasus | 2025-11-03 20:49:28+00:00
This, so much. Many mathematicians and physicists believe in intuition as a function separate from intelect. One is more akin to a form of (inner) perception, whereas the other is generative - extrapolation based on pattern matching and statistical thinking. That second function we have a handle on and getting better at it every year, but we don't even know how to define intuition properly. A fascinating book that discusses this phenomena is Nature Loves to Hide: Quantum Physics and Reality, a Western Perspective [1]

This quote from Grothendieck [2] (considered by many the greatest mathematician of the 20th century) points to a similar distinction: The mathematician who seeks to understand a difficult problem is like someone faced with a hard nut. There are two ways to go about it. The one way is to use a hammer — to smash the nut open by brute force. The other way is to soak it gently, patiently, for a long time, until it softens and opens of itself.

[1] https://www.amazon.com/Nature-Loves-Hide-Quantum-Perspective...

[2] https://en.wikipedia.org/wiki/Alexander_Grothendieck
by procaryote | 2025-11-03 20:49:54+00:00
In all these discussions there seems to be an inverse correlation between how well people understand what an LLM does and how much they believe it thinks.

If you don't understand what an LLM does – that it is a machine generating a statistically probable token given a set of other tokens – you have a black box that often sounds smart, and it's pretty natural to equate that to thinking.
by slg | 2025-11-03 20:50:03+00:00
>These deals are also being done in the open with publicly traded companies. Investors can see the balance sheets and react accordingly in the stock price.

I'm no expert on the specifics of the circular financing we're seeing here so the rest of what you wrote might be true, but I know enough about how Wall Street and the world in general works to know that closing with this as a defense shows an incredible naivete that makes me question everything else you have said.
by viccis | 2025-11-03 20:50:04+00:00
Holodomor's an interesting example because unlike the Armenian genocide, Holocaust, or genocide in Gaza, there's no explicit evidence of it being intentional, despite mounds and mounds of evidence of Soviet atrocities that were released over the past century. In the cause of the genocide in Gaza, when you take the statements of those in leadership such as Ben-Gvir, you have clearly articulate plans to eradicate an entire people followed by indiscriminate killing and engineered starvation. In the case of the Holodomor, there's no such articulated plans to eradicate a people, which is why its Wikipedia article has an entire top level heading called "Holodomor genocide question." In the case of Gaza, there are enough explicit quotes of intent that it seems far closer to Armenian genocide denial, which is to say that it's only "questioned" by its perpetrator and allies with a vested interest in placating the perpetrator.
by klntsky | 2025-11-03 20:50:06+00:00
Location: Tbilisi/Georgia Remote: Yes Willing to relocate: Yes Technologies: TypeScript, Rust, Haskell, PureScript, LLMs, EVM tooling Résumé/CV: https://klntsky.dev/klntsky-cv.pdf Email: my username at google's mail service

I'm mainly interested in LLM/AI automation, FP, and DeFi.
by pessimizer | 2025-11-03 20:50:15+00:00
This just seems like a lot of random sentences strung together. What Stallman says is very clear and very simple. You're also free to work on Free Software any time that you want, and free to make sure the devices in your life adhere to Free Software principles. That has nothing to do with OSS, other than OSS makes itself as available to copyleft as it is to copyright.

I'm trying to figure out who this rant is aimed at: is it complaining that people trying to get corporate jobs writing software are writing software for corporations who are using Open Source, and claiming that's some sort of contradiction that needs to be escaped? It's easy to escape. Be poor. Lots of people do it. But if that's not an option for you, writing OSS at a corporate job is no worse that writing proprietary software at a corporate job.

Are you working for scammers? Almost everybody else is too! You should quit, if you're independently wealthy (i.e. invested in scammers), or don't mind being poor. But working on OSS at your scammer job isn't any worse than writing proprietary code at your scammer job. So I don't get it.

Anybody think they've successfully translated this?

edit: also, I think a lot of people need to face that fact that a ton of OSS isn't even useful for anybody but large-scale corporations. It was written by them (or people wanting to be them), for them. Can't see anything wrong with that.
by conductr | 2025-11-03 20:50:38+00:00
> All bets are off for Texas.

We have everything locked up too just as you describe. We just have a lot of places to buy them, it's not like Wal-Mart here has a bin in the middle of the isle full of AR's next to the bin of Pokemon stuffies. Only pellet and BB guns are found on the shelf.

I don't know why I'm being pedantic, guns here are insane for many reasons but not because of this one. What bothers me is once you do buy it, you can just carry it anywhere you want now. Like random guys in MAGA hats holding what looks like a machine gun on a street corner is no longer an unusual sighting. It's weird, when I was a kid, my dad had rifles mounted to his truck rear window and it was common. Then, there was what seemed like a zero tolerance decade or two when guns were only on the news (gang violence) or in a gun safe (for hunting only). Then the pendulum swung to the wacky side of guns everywhere.

My kids school recently hosted a "gun recycling day" recently, with good intentions I think, but obviously once it occurred the parents were riled up with "you seriously invited people to bring their guns to the school! Where are the guns? Did they get moved off campus? etc" It's technically a private school and the event was hosted by the affiliated church, but still, pretty tone deaf to have that kind of event on the same property as a couple hundred elementary students
by loveJesus | 2025-11-03 20:51:10+00:00
Location: Fort Myers, FL

Remote: Yes

Willing to Relocate: Yes

Technologies: Rust, Python/Django, Elixir/Phoenix, C#/Unity3d, Typescript/Sveltekit2, OpenBSD/FreeBSD/Linux, Cloudflare Workers and stack, etc...

Résume/CV: https://loveJesus.software

Email: loveJesus@loveJesus.software
by dkvochkin | 2025-11-03 20:51:15+00:00
Location: Amsterdam, Netherlands

Remote: Yes

Willing to Relocate: No (Open to Hybryd)

Technologies: Python, Typescript, React, Postgres, AWS/Azure, Agentic AI, LLM, RAG, MCP/Tooling, LLM Evaluations, Voice AI, TTS/STT

Email: dmitrykvochkin@gmail.com

LinkedIn: https://www.linkedin.com/in/dmitry-kvochkin-5b8aab97

Summary:

Ex technical co-founder & CTO (hands on); 12 years of experience; After 2 years of bootstrapping a gen ai startup, team of 4 engineers and 200k AAR, I am looking for my next challenge. Built a voice AI SaaS platform from 0 to 70+ customers handling 10s of thousands of call minutes, including things like:

- Knowledge base (embedding + RAG)

- Agentic workflows/tools calling

- 3rd party integrations (calendars, CRMs, etc)

- LLM evaluation + observability system

- and more...

Looking to keep up the pace without having to deal with VCs and worrying about balance sheet!
by samename | 2025-11-03 20:51:52+00:00
Location: San Diego

Remote: yes

Willing to relocate: maybe

Technologies: Java, AWS, kubernetes, edge, spring boot, nosql, CICD pipelines

Resume/CV: 6.5 years of experience as backend software engineer working on large scale distributed microservice applications (contact for full resume)

Email: slightlytanner at hey.com

Hey! I'm a software engineer seeking interesting challenges, particularly interested in privacy technology but open to other industries as well. I have experience in logistics (railroad) and the gaming industry (not a game dev). I'm excited about making an impact! I've held a variety of leadership experiences outside of my professional role as well
by xl0 | 2025-11-03 20:52:08+00:00
Location: Nomadic, ColOmbia at the moment Remote: Yes Willing to relocate: depends Technologies: Python: {PyTorch, Deep Learning, LLM, Diffusion models, NumPy, JAX (a bit), CUDA, etc}, Web: {SvelteKit, TypeScript, tailwind, drizzle, etc}: DevOps: {Linux (25 years), AWS, Docker, common sense} URL: https://alexey.work/?ref=hn45800464 Email: alexey.zaytsev@gmail.com

I'd love to get back into Deep Lerning (torch, cuda, etc, etc), because it's been a lot of LLM API calling lately. But API calling is fine too. Prefer to start as contractor at first, and we can see how it goes.

In my past lives: Linux kernel development, Molecular Biology masters, Electronics engineering in Shenzhen.

PS: If you are into neural networks, you probably have used my https://github.com/xl0/lovely-tensors or https://github.com/xl0/lovely-jax
by Gajurgensen | 2025-11-03 20:52:09+00:00
I was referring to issues that arise around the need for heterogeneous equality.

As an example, consider the dependent vector type `Vec n`, which is an array of length `n`. An `append` function would have type `{n m: Nat} -> Vec n -> Vec m -> Vec (n + m)`. That is, it takes an array of length `n`, and array of length `m`, and produces an array of length `n + m`.

Now imagine that you want to show that `append` is associative. That is, for all `x: Vec n`, `y: Vec m`, and `z: Vec o`, you have `append (append x y) z = append x (append y z)`. We can't prove this because we can't even state the theorem; it is not well-typed. The left-hand side has type `Vec ((n + m) + o)`, while the right-hand side has type `Vec (n + (m + o))`. Those two length values are of course propositionally equal, but they are not definitionally equal in type theories like Lean or Rocq's. That is, the equality is not immediately apparent to the type checker, and so requires a proof. But even with a proof, the statement is ill-typed (because equality is "intentional", not "extensional"). So you have to use a heterogeneous equality operator which allows you to compare two values whose types are propositionally but not definitionally equal. This equality is generally more difficult to work with.

Obviously this whole problem goes away if we use a non-dependent array type, as opposed to something length-indexed like this `Vec` type. So unless there is some reason to use the indexed type (e.g., perhaps the compiler can emit more efficient code), I would just use the non-indexed types and prove separately anything I want to know about the length.
Show HN: Peer-to-Peer Messaging
by mesQuery | 2025-11-03 20:52:30+00:00
I'm not gonna get into the politics of why we need decentralized p2p messaging, we already know that. What makes me angry is of all the people on earth, we're letting Jack Dorsey build decentralized messaging, in Swift.

I'm not a networking guy. But truly serverless P2P is dead simple to implement (if you let go of all the useful features...). Making it useful at internet scale without recreating all the infrastructure we're trying to escape? idk. I think it's possible, maybe because I'm stupid (most probably).

But at least I'm starting somewhere and I wonder how far I can take it. I'm sure there are existing solutions out there but at this point I don't care much.

I think I'll try to integrate DHT and NAT traversal next and move this to the internet. Bitchat is doing some bluetooth thing which I honestly don't see why.

Currently what I have is simple: No servers. No blockchain. No federation protocols. Just UDP multicast for discovery and TCP for messages. You run it on your LAN, and peers automatically find each other and can message directly.

it's cleartext over TCP, LAN-only, no NAT traversal, all the limitations.
by akerl_ | 2025-11-03 20:52:46+00:00
> If it paid badly, just don't work there. These things push wages down for this kind of work, but this work probably shouldn't be done in service economies anyway.

This paragraph is so tantalizingly close to putting its finger on the issue. The fact that a company found someone willing to do a job for what they want to pay does not mean that it's ethical or moral for them to do so.

In this case (as in many others), one of the predicates was finding groups of people whose existing options, financial literacy, living conditions, or some combination of the three were already so bad that becoming digital serfs was a minor step up.
by arboles | 2025-11-03 20:52:55+00:00
I unfortunately glossed over the part of the original comment that gives it substance: "The most obvious of the typographic stylings--the lack of spaces, single-character names, and functions on a single line--are how he writes APL too."

That's backing for a claim.

Also, I haven't once written APL. I think this might've been borderline trolling, just because of how little investment I have in the topic in reality. Sorry.
by refulgentis | 2025-11-03 20:53:31+00:00
No need for all that, the idea OpenAI is committed to $1.4 trillion in pay is a Ed Zitron-sourced number where he calculates $400B based on a number he made up for how much a gigawatt costs, and the trillion figure by multiplying further by claiming every deal is for 2026 and will be repeated over next N years.
by plufz | 2025-11-03 20:53:42+00:00
But that is just our nervous system that is located in both the brain and the body, they are obviously one connected system. Sure you can have reflexes and simple learning without a brain, but you need cognition for feelings. That is sort of the definition of what feeling are.

One popular definition: feelings are the subjective, conscious mental experience of an emotion, or the conscious perception of bodily states that arise from physiological and neural responses to stimuli
by IshKebab | 2025-11-03 20:54:06+00:00
Closest is wprs

https://github.com/wayland-transpositor/wprs

I have yet to use it though because Wayland still doesn't work properly for me (it doesn't restore the desktop properly after sleep) so I'm still on X11... without compositing... because KWin's compositor causes random freezes.

Yeay, Linux on the Desktop.
by Fyid | 2025-11-03 20:54:16+00:00
Location: Greater Boston

Remote: Yes

Willing to relocate: Yes, in most cases. Let's talk!

Technologies: Game Programming, Unity, C#, Svelte, CSS, TailwindCSS, TypeScript, C++, Fire Base, Azure

Portfolio: http://nicholasperell.com/

Resume: http://nicholasperell.com/resume

LinkedIn: https://www.linkedin.com/in/nicholasperell/

GitHub: https://github.com/NicholasPerell

Email: nicholasperell@gmail.com

Summary: Ahoy! I'm a game programmer and junior full-stack developer. Love collaborating with people.
by gh-llm-in-loop | 2025-11-03 20:54:19+00:00
Bedrock Data | Backend Engineer | Palo Alto, CA (Onsite) | bedrockdata.ai

At Bedrock Data, we are building next-generation data security platforms. Our backend engineering team is responsible for: Large-scale distributed systems to handle petabytes of data in a scale-out architecture. Stack includes Golang, Neo4j, AWS (Lambda, SQS, S3, DynamoDB), GraphQL, Typescript/React

Please apply here: https://jobs.ashbyhq.com/bedrock
by DavidPiper | 2025-11-03 20:54:33+00:00
The real revenues of small and mid-sizes tech companies might, though. Which might be funny (in a Road Runner & Wile E. Coyote way) but only after considerable time and distance. Saying that, I think of those guys from The Big Short being reprimanded for celebrating their prediction of a market crash.

The financial impact if the whole AI space loses even 50% of its current "valuation" will be huge. The financial impact of the whole AI space continuing at its current velocity is... More of whatever is going on now?
by lumost | 2025-11-03 20:54:34+00:00
If OpenAI continues on their current revenue growth trajectory, they should be larger than AWS by 2027. Burning 2x revenue to grow that fast is not really a concern beyond your continued ability to attract financing. Given the trajectory of inference cost, it unlikely that they would fail to reach profitability.

The big question would be how much of this revenue is unjustifiably circular, and how much of it is extractable - but those are questions for when the growth slows. Im certain every supplier has ways to back out of these commitments if the finances look shaky.
by mikkupikku | 2025-11-03 20:54:36+00:00
Fighting back worked a hell of a lot better than anything the "responsible" adults could ever suggest. School teachers, councilors, my mother, etc, all gave useless advice. My dad told me to fight back. When I finally listened to him, that's when the bullying stopped. I lost that fight, but won the war so to speak.

Telling kids not to fight back is a terrible cowardly thing to do, the adults who do that are either oblivious idealists or are just cynically covering their own ass because they don't want to get in trouble for encouraging a confrontation.
by notatallshaw | 2025-11-03 20:54:49+00:00
Python has about 40 keywords, I say I would regularly use about 30, and irregularly use about another 5. Hardly seems like a "junkyard".

Further, this lack of first class support for lazy importing has spawned multiple CPython forks that implement their own lazy importing or a modified version of the prior rejected PEP 690. Reducing the real world need for forks seems worth the price of one keyword.
by Centigonal | 2025-11-03 20:54:50+00:00
The water in a nuclear waste storage pool should not be particularly radioactive unless something has gone wrong and contains mostly regular H2O.

The reactor vessel can contain heavy water or water with boric acid in it, neither of which are good for you. Additionally, neutron radiation from the reactor will cause the formation of radioactive tritium in the vessel water, so the liquid itself becomes radioactive.
by sshine | 2025-11-03 20:54:55+00:00
In Terraform/OpenTofu you just run into unreliable providers, 3rd party providers that make your supply chain a little questionable, or providers with half-broken APIs that weren’t ever intended to be called via terraform. (How many hashpin their binary third party providers? https://github.com/nix-community/nixpkgs-terraform-providers... is still open after 2 years.)

Not just bad FOSS actors, things just fall apart in every ecosystem over time as actors stop contributing.

More dependencies = more problems. Long dependency chains means more dependencies. IaC generally doesn’t have long chains. But you can still depend on a ton of dockerfiles, images, charts, and the same software that gets packaged ends up with CVEs in images rather than at the library import level.
by burningChrome | 2025-11-03 20:55:01+00:00
I lived through the first dot com bubble and bust and it was pretty nasty. I was working for a telecom company at the time. The building we were in were chocked full of bright eyed, bushy tailed startups who were pushing the edge on all kinds of things. Less than a year later, they were all gone.

We used to have lunch at the bar across the street and just about once or twice a week for several months, we'd walk in and there would be a table with about 15-20 people sitting around drinking and reminiscing about how they were going to change the world.

A lot of developers I know just completely left the industry and never came back.

If this crash exceeds that one? We're in for some seriously tough times.
by fuzzfactor | 2025-11-03 20:55:02+00:00
>this administration is just profoundly stupid.

IIRC, you just can't fix profound. Or something like that.

When you do the math it's just the latest confirmation of Trump's legendary lack of acumen when it comes to financial operation, combined with his abysmal deal-making and lack of ability to negotiate on behalf of Americans in particular.

Now that you can put a number on it, looks like only about half as much as what it takes to be an honest businessman or dealmaker of any kind, compared to all previous Presidents.

And many of them did not even claim to be businessmen at all.

So today's just another day when Trump himself emphasizes how much he continues to fail worse than ever, if he's trying to compare to previous officeholders like Bush and Obama. As I've heard more lifelong Republicans saying recently, "Trump can't reach high enough to tie Ronald Reagan's shoes". I'm going to remember that one ;)

Trump can't even get halfway there, when it counts the most.

The math as it stands doesn't lie.

I'm the first to admit he's doing the best he can, and his heart is really in it 100%.

As can be seen Trump just doesn't have quite the heart for hungry Americans that would be needed to come close to what Biden and everybody else was capable of, and I agree with many who say that Biden was a little too tired to do his absolute best all the time too.
by gruez | 2025-11-03 20:55:18+00:00
>All we know for sure is that he's left of his MAGA parents when it comes to gay/trans rights.

"left of his MAGA parents when it comes to gay/trans rights" is an understatement. From the wikipedia article:

>When the roommate asked why Robinson had done it, he answered, "I had enough of his hatred. Some hate can't be negotiated out."

Maybe he was some sort of libertarian that thinks "hatred" from right wing influencers needed to be stoped via exercise of the second amendment, but you really have to bend backwards for that theory. The far more plausible explanation is that he was a run-of-the-mill illiberal-left that thinks speech from the right need to be curtailed. When you hear hoofbeats, think horses, not zebras.