MurphyA/hacker-news huggingface dataset:
by sorcercode | 2025-11-05 08:54:28+00:00
i sense a slight strawman argument here.

you pick a subset of admittedly clear problems with how aigen is being leveraged but blow it up to be the general case for everyone.

you're quick to call into question the motivation of programmers who use aigen.

i assure you when you see people like Mitchell Hashimoto using aigen, you owe it to yourself to at least explore the possibility that there are folks building great software, and product using aigen. I'm not saying you need to be convicted but your comment comes out as being one sided and emotional.

i'm also curios how you square your thoughts around actually building good products. there's plenty of bad apples on all sides (like the craftsmen who tdd apps that land up not being used by anyone).is that true value?

it would be silly and a strawman argument to then assume that to always be the case.
by ZeroGravitas | 2025-11-05 08:55:05+00:00
> "I think that frankly, I mean, what purpose do they serve, right?” Mamdani said when asked by a co-host of “The Far Left Show” in August 2020 if prisons were obsolete.

> “I think we have to ask ourselves that … I think a lot of people who defend the carceral state, that defend the idea of it and the way it makes them feel, they’re not defending the reality of it and the practices that are part and parcel of it,” he continued.

> “Because if you actually break it down … how many people come out the prison system better than they went into the prison system?”

From the New York Post so presumably this is the worst they could find on the topic.
by gloosx | 2025-11-05 08:55:21+00:00
The difference between photons hitting the camera sensors and photons hitting the retina is immense. With a camera sensor, the process ends in data: voltages in an array of photodiodes get quantized into digital values. There is no subject to whom the image appears. The sensor records but it does not see.

When photons hit the retina, the same kind of photochemical transduction happens — but the signal does not stop at measurement. It flows through a living system that integrates it with memory, emotion, context, and self-awareness. The brain does not just register and store the light, it constructs an experience of seeing, a subjective phenomenon — qualia.

Once models start continuously learning from visual subjective experience, hit me up – and I'll tell you the models "see objects" now. Until direct raw photovoltaic information stream about the world around them without any labelling can actually make model to learn anything, they are not even close to "seeing".
by rsynnott | 2025-11-05 08:55:26+00:00
I mean I think, while that possibly always _should_ have been the assumption, 20 years ago the assumption would have been very much that someone like that could _not_ take power, and that the worst the US had to fear was the likes of Dick Cheney (admittedly still pretty bad). The idea that the US might just transform into a weird batshit autocracy is really _pretty new_; it wasn't taken all _that_ seriously even in Trump's first term, because, well, the courts will just slap him down, right?
by marginalia_nu | 2025-11-05 08:56:01+00:00
Something I see relatives do sometimes is they get a link to a facebook event over meta's messenger, and then they click the link and it opens in messenger's web view, which inexplicably isn't signed into facebook, so they can't view the event, and they don't understand why, as they are signed into facebook in their web browser.

They're also often very confused why they can't find links they've opened in web views in their browser's tabs or history.
by kazinator | 2025-11-05 08:56:36+00:00
You can predict unspecified behavior: it gives a range of possibilities which do not include failures like termination, or data corruption.

The order of evaluation of function arguments in C is unspecified, so every time any function whatsoever is called which has two or more arguments, there is unspecified behavior.

Same in Scheme!

A security flaw can be caused by a bug that is built on nothing but 100% specified constructs.

The construct with unspecified behavior won't in and of itself cause a security problem. The programmer believing that a particular behavior will occur, whereas a different one occurs, can cause a bug.

The unspecified behaviors of a hash table in the face of modified keys can be spelled out in some detail.

Example requirements:

"If a key present in a hash table is modified to an unequal value, it is unspecified whether the entry can be found using the new key; in any case, the entry cannot be found using the old key. If a key present in a hash table is modified to be equal to another key also present in the same hash table, it is unspecified which entry is found using that key. Modification of a key doesn't prevent that key's entry from being visited during a traversal of the hash."
by bob1029 | 2025-11-05 08:57:17+00:00
I tried a 32" 4k for a while but the form factor never worked for me. 8k seems absurd after working with that monitor.

27" 1440p is much easier to drive and live with day to day. I can still edit 4k+ content on this display. It's not like I'm missing critical detail going from 4k=>qhd. I can spot check areas by zooming in. There's a lot of arguments for not having to run 4k/8k displays all day every day. The power savings can be substantial. I am still gaming on a 5700xt because I don't need to push that many pixels. As long as I stay away from 4K I can probably use this GPU for another 5 years.
by gucci-on-fleek | 2025-11-05 08:57:40+00:00
> Does Widevine CDM work on Firefox on Linux?

It does, but it's L3-only (software-based), not L1 (hardware-based) [0]. Streaming providers can then decide which content they'll let you access depending on the level. Speaking from experience, some providers work perfectly (full HD content with no issues), others only give you a really low-resolution stream, and others refuse to work entirely.

> If so, why would Google allow this but not for other OSS browsers?

When EME [1] was first released, Firefox had ~10% market share, and it would look pretty bad for Google to exclude another major browser maker. Smaller browsers don't have the political clout necessary to convince Google to give them access.

[0]: https://en.wikipedia.org/wiki/Widevine#Architecture

[1]: https://en.wikipedia.org/wiki/Encrypted_Media_Extensions
by EagnaIonat | 2025-11-05 08:57:53+00:00
The more recent LLMs work fine on an M1 mac. Can't speak for Windows/Linux.

There was even a recent release of Granite4 that runs on a Raspberry Pi.

https://github.com/Jewelzufo/granitepi-4-nano

For my local work I use Ollama. (M4 Max 128GB)

- gpt-oss. 20b or 120b depending on complexity of use cases.

- granite4 for speed and lower complexity (around the same as gpt20b).
by benrutter | 2025-11-05 08:58:07+00:00
I love the idea of hypothesis! Haven't found a lot of use cases for it yet, I think the quick start example helps explain why.

Essentially, you're testing that "my_sort" returns the same as python's standard "sort". Of course, this means you need a second function that acts the same as the function you wrote. In real life, if you had that you probably wouldn't have written the function "my_sort" at all.

Obviously it's just a tiny example, but in general I often find writing a test that will cover every hypothetical case isn't realistic.

Anyone here use this testing in the wild? Where's it most useful? Do you have the issue I described? Is there an easy way to overcome it?
by zimpenfish | 2025-11-05 09:00:28+00:00
"He never closed Guantanamo" is missing a lot of context. See [0] for more context around Congress blocking his efforts[1].

(While searching for a decent article, I found [2] which has the hilarious-in-retrospect quote: "It just doesn't happen in, you know, traditional American justice that someone is essentially arrested and disappeared with no access to attorney" - oh the sweet innocence of 2017.)

[0] https://www.politico.com/story/2017/01/obama-congress-guanta...

[1] Which, to be fair, were hamstrung by his refusal to override the Republicans - a sensible approach (at the time) because a) the right wing would have gone mad (see: literally anything Obama did) and b) it opens the door for ruling by Presidential fiat which, sadly, was kicked wide open by Trump-1 and the entire wall removed by Trump-2 with the help of SCOTUS. On the whole, though, Obama wasn't as good as promised, definitely.

[2] https://www.pbs.org/newshour/show/obama-failed-close-guantan...
by eeeesh | 2025-11-05 09:02:28+00:00
> Here's how that works out in practice, from today:

> Someone says "he", they're corrected with "she", and that's the end of it.

This is a good example of conversational flow in an environment where people are not reprimanded for referring to others with pronouns that accord to the speaker's personal worldview. One person says "he", another person says "she", and everyone tolerates this difference of expression whether they agree with it or not.

Essentially it's the most politically neutral stance on pronouns, as implemented in an everyday conversation.
by moffkalast | 2025-11-05 09:03:19+00:00
I think it's also true for many local models. People still use NeMo, QwQ, Llama3 for use cases that fit them despite there being replacements that do better on "benchmarks". Not to mention relics like BERT that are still tuned for classification even today. ML models always have weird behaviours and a successor is unlikely to be better in literally every way, once you have something that works well enough it's hard to upgrade without facing different edge cases.

Inference for new releases is routinely bugged for at least a month or two as well, depending on how active the devs of a specific inference engine are and how much model creators collaborate. Personally, I hate how data from GPT's few week (and arguably somewhat ongoing) sycophancy rampage has leaked into datasets that are used for training local models, making a lot of new LLM releases insufferable to use.
by nickpp | 2025-11-05 09:04:33+00:00
Western Europe is bankrupt: larger and larger deficits financing a lifestyle we can't afford any longer.

Politicians catering to voters used to getting benefits for free and refusing to adjust to common sense policies like increasing retirement age with life expectancy.

Years when essential defense investments were skipped in favor of populist handouts put us at risk from hungry, militaristic psychopaths.

Western Europe had the horrifying example of Eastern Europe who was cold and hungry until we switched to capitalism. Sadly, it looks like it learned nothing from us.
by Nursie | 2025-11-05 09:04:40+00:00
https://en.wikipedia.org/wiki/World_(blockchain)

A Sam Altman project which seemingly popped up out of nowhere, and offered people free money in exchange for biometric registration on the network, in a lot of countries all over the world. It seemed to be an attempt to set up some sort of global electronic ID system and currency all in one.

That silver sphere is an iris scanner, IIRC.

Got shut down pretty hard in a bunch of places as a potentially illegal invasion of privacy.
by hnbad | 2025-11-05 09:05:03+00:00
Surely there's a difference between collecting a thumbprint for a driver's license or even collecting full fingerprints for a specific job type, and collecting your DNA and an iris scan just for being a citizen?

I'm German. My government literally issues ID cards and requires fingerprints for those nowadays as well (because terrorism or the children or whatever works as the excuse at the moment) but the idea of a government agency collecting my DNA seems far more invasive given the kind of things you can do with that information and the kind of things governments (especially in my country but in the US and Canada too) have historically done to groups of people under them.

If you think there's nothing concerning about the government wanting to collect extensive biometric data including DNA from not only people applying for immigration but also people associated with them or their application, maybe it would sound more concerning to you if I said that in German.
by johnnyanmac | 2025-11-05 09:05:50+00:00
>Many of his policies are neither "common sense" nor "middle of the road"

It seems like common sense to hear "cityfolk pay taxes, buses are paid for by taxpayers. Therefore, bus rides should be free for cityfolk". There's a lot more to it, but most voters are not going to read the 50 page proposal that Mamdami would need to submit to the govenor to get the wheels rolling.

I think that's enough for it to fall under "common sense". Policy you can explain in 3 sentences or less. Homeless people need help, not to be arrested. Invest in an organization who makes sure that these people get help so they don't stay on the streets.

(I can't find his education policy on a quick skim of the website and plan).
by lccerina | 2025-11-05 09:06:11+00:00
Still designed by humans. The loss function, backpropagation and all other mechanisms didn't just appear magically in the neural network. Someone decided which loss function to use, which architecture or which optimization techniques. Only because it takes a big GPU a lot of number crunching to assign those weights, it doesn't mean it's biological.

In the same way, a weather forecast model using a lot of complicated differential equations is not biological. A finite element model analyzing some complicated electromagnetic field, or the aerodynamics of a car is not biological. Just because someone around 70-75 years ago called them 'perceptrons' or 'neurons' instead of thingamajigs does not make them biology.
by tpoacher | 2025-11-05 09:06:15+00:00
It's Bulverism because first you need to defend and establish that your proposition is true before you can start explaining "why" it is true.

At the very least the title is clear Bulverism.

Admittedly, I did enjoy the article, even if I was initially a bit predisposed not to from the title. And I think the quote "if you hire a rust evangelist to choose your programming language, you've already chosen rust" is very insightful. But the author still goes into zero depth to asses to what extent rationality of language choice is a widespread problem, as opposed to isolated cases they've seen during their career.

Which is ironic given that their thesis is that people go into topics emotionally without weighing them factually against the ground truth.
by IshKebab | 2025-11-05 09:06:15+00:00
Yeah Rivos apparently taped out a high performance server class core (probably only a test chip I'd guess) before Meta bought them.

There are plenty of multi core designs (that's easy) but they aren't very fast.

In terms of open source XiangShan is the most advanced as far as I know. It's fairly high performance out-of-order.

I don't think there's anything M5-level and probably won't be for a while (it took ARM decades so it's not a failing). I doubt we'll see any serious RISC-V laptops because there probably isn't demand (maybe Chromebooks though?). More likely to see phones and servers because Android is supporting RISC-V, and servers run Linux.

In terms of extensions I think it's pretty much all there. Probably it needs some kind of extension to make x86 emulation fast, like Apple did. The biggest extension I know of that isn't ratified is the P packed SIMD one but I don't know if there's much demand for that outside of DSPs.
by mxkopy | 2025-11-05 09:07:01+00:00
It seems like some of the dismissals are just summaries of basic decidability theory, which don’t attack the underlying argument of the paper:

> …the idea that reality can tell us if a statement about a theory is true, given that the theory is an accurate description of reality. So if there’s an accurate Turing complete theory of reality, and we see some process that’s supposed to encode a decision on an undecidable statement being resolved (I guess in a non-probabilistic way as well), then we can conclude that reality is deciding undecidable statements in some nontrivial way.

One of the stronger skeptics confidently claims that discrete phenomena doesn’t exist in quantum mechanics. I think there’s a bit of a cult of skepticism around this topic, which is usually fine, except when people haven’t read the paper or don’t have basic prerequisite knowledge before announcing their conclusions.
by smcin | 2025-11-05 09:07:05+00:00
Oh I see, locking in the programming sense, yes. Either not every search term is personalized for your context, or else this particular search is being applied to some other demographic. But that's weird because "locking" doesn't also show door, windows, filing cabinets.

Anyway if you search for "programming locking" you get relevant results.

Google didn't used to do this. Anyone got a rough idea when this started?
by ankh361 | 2025-11-05 09:07:15+00:00
Location:Remote / Worldwide

Remote:Yes

Willing to relocate:Yes

Technologies:C++, Java, Python, React.js, Node.js, .NET, TensorFlow, Generative AI, LLMs, LangChain, RAG, Vector DB

Résumé/CV:On request

Email:ankh.4.job@gmail.com

Your next strategic hire is one conversation away.

With over 8 years of impactful experience and a proven record of architecting intelligent, scalable, and future-ready systems, I empower organizations to turn complexity into clarity—and ideas into measurable success.

Certifications:

• Re-certified: Oracle Cloud Infrastructure Generative AI Certified Professional (2025 Edition)

• TensorFlow Certified Developer (Google)

• Oracle AI Vector Search Certified Professional (Oracle)

Education: B.E. in Computer Engineering

Languages: Eng(Fluent), German, French & Spanish(Conversational)

Exceptional talent don’t wait. Let’s connect before someone else does.

Certifications & Work: linktr . ee / ankh361 (remove whitespaces)
by jeroenhd | 2025-11-05 09:08:20+00:00
https://social.overheid.nl/directory has a list of government services, municipalities, and other stuff.

https://social.overheid.nl/@RWSverkeersinfo is for traffic conditions

https://social.overheid.nl/@knmi is the royal national weather service

Some services have shut down their Mastodon presence because their social media team found too little interaction and they don't want to use simple forward bots that nobody responds to, unfortunately.
by oletrn | 2025-11-05 09:08:37+00:00
Venture-minded Product Lead / Technical Product Manager with 9+ years in SaaS and full-stack development (TypeScript, Angular, React, Next.js, NestJS). Experienced in bridging business and engineering, launching 0→1 products, and integrating AI into real-world workflows. Multilingual communicator (English, Russian, Japanese, German, Czech). Seeking opportunities in async-first, remote teams.

Location: Prague, Czech Republic (EU), comfortable with EST overlap Remote: Yes (preferred) Relocation: No, but open to occasional office visits Focus: Product leadership with technical depth — bridging business and engineering, aligning stakeholders, translating vision into clear product roadmaps, and guiding SaaS development. Tech: TypeScript, Angular, React, Next.js, NestJS, Tailwind, Nx, CI/CD, MongoDB, PostgreSQL, Docker, AWS, Heroku. APIs: Stripe, OpenAI, AssemblyAI, Deepl, Twilio, Slack, etc. Product: Jira, Miro, Notion, Prototyping, Wireframes, Figma Email: oletrn@gmail.com

Résumé/CV: https://www.linkedin.com/in/otyurin/
by sbinnee | 2025-11-05 09:08:40+00:00
I don't get the point of this post. Personally, I think that the thinking process is essential for accurate tool usage. Whenever I interact with Claude family models, either on a web chat or via a coding agent CLI, I believe that this thinking process is what makes Claude more accurate in using tools.

It could be true that newer models just produce more tokens seemingly out of no reasons. But with the increasing number of tool definitions, in the long run, I think it will pay off.

Just a few days ago, I read "Interleaved Thinking Unlocks Reliable MiniMax-M2 Agentic Capability"[1]. I think they have a valid point that this thinking process has significance as we are moving towards agents.

[1] https://www.minimax.io/news/why-is-interleaved-thinking-impo...
by pjmlp | 2025-11-05 09:09:30+00:00
Same here, I went through a few projects since 2021 where doing Kubernetes setups were part of my role on the consulting project, and I would say prefer managed containers solutions, e.g. Azure Web Apps, or when running locally plain systemd or Docker Compose.

Anything else, most companies aren't Web scale enough to set their full Kubernetes clusters with failover regions from scratch.
by rowanG077 | 2025-11-05 09:09:48+00:00
On more complex logic you can often reason about many invariants. I don't think using sorting and then comparing to the existing sort is a good example. Precisely for the reason you mention.

A sort itself is a good example though. You can do much better then just compare to an existing sort implementation. Because you can easily check if an array is sorted with a linear scan. If your sort is stable you can do an additional check that for all pairs of adjacent elements that compare as equal the order of them is the same as in the input array.
by ZeroGravitas | 2025-11-05 09:09:54+00:00
Murc's Law

https://en.wikipedia.org/wiki/Murc%27s_law

> Murc’s Law is typically phrased as: "the widespread assumption that only Democrats have any agency or causal influence over American politics".[5] [6] It reflects a perceived journalistic double standard, where Democrats are held responsible for political outcomes regardless of context, whereas Republican obstruction or extremism is treated as a given. This framing, critics argue, absolves Republicans of responsibility and creates an unbalanced political narrative.
by jjav | 2025-11-05 09:09:58+00:00
> If Americans were price conscious about transport they wouldn't be driving $60,000, 15mpg, oversized pickup trucks to go drop off their kids at daycare and commute to their office job, they'd be riding the bus.

> Most Americans don't seem to consider the cost of their transportation in the slightest.

Time is also an important cost. It would take us about 90 minutes from home to school to drop off my kid by bus (plus walking, since no bus stops near the school).

By car, it is 15 minutes worst case if I hit all red lights.

By car we leave home 8:15, kid is in school on time and I'm in my work meetings easily by 9:00.

By bus, we'd have to leave home at 6am and I might just barely make it in time for 9am meetings, or often be late.

So yes, people do consider the cost of transportation but it is not just dollars, also time.
by tpoacher | 2025-11-05 09:10:00+00:00
I appreciate your explanation, and clearly I did not mean to imply you didn't have good reasons for your decisions.

I get the point about friction; however, I do wonder, rather than have two or more options appearing with equal weight on your sales page, if you made the primary model the subscription but had a tiny link that said "cash-upfront option also available", would that still cause friction? Isn't it better to provide this option than not to?