MurphyA/hacker-news huggingface dataset:
by freejazz | 2025-07-10 03:50:39+00:00
None of this is in good faith. I'm not morally scandalized by Grok. I'm morally scandalized that they would make it do that. I'm sure you're going to argue some ridiculous semantic point about how Grok actually did it all on its own. It definitely did not spontaneously turn on hitler shit.

>Either way, Musk is definitely a narcissist and almost certainly strays off into derangement at times, but a stupid man, no, and even with X it's shortsighted to say anything about failure.

He sounds dumb pretty much every time he opens his mouth. I haven't heard him say anything intelligent. Good business man? If you insist. Total moron in my book. That's for sure.

Have fun.
by InitialLastName | 2025-07-10 03:52:57+00:00
This is something I think about with my kids when they get to that age. I was calling my friends (on their landlines, using our landline) regularly by then, talking to their parents en route to getting them on the phone, and arranging visits. My kids won't grow up in a world where that's something that happens, and I'm not sure how to support their social independence in a world where (as you say) it seems nigh-on-negligent for them to have their own phones.
by mikewarot | 2025-07-10 03:53:44+00:00
Qubes is a capabilities based OS, for arbitrarily course grained capabilities. Far better fine grained systems are possible, there just don't seem to be any ready for prime time. Genode and GNU Hurd are about as close as you can get these days. Neither of them requires trusting application code, nor depending on its correctness.

Think of it as using circuit breakers, instead of the current approach (in Linux, MacOS, Windows, etc) of just giving applications access to everything by default, and counting on them to be correct, and non-evil.
by indiaupdate | 2025-07-10 03:54:35+00:00
Looking for high-quality leads to grow your business in Kerala? Whether you’re a startup, clinic, makeup artist, or ecommerce brand, Click Crafters Technology helps you reach your ideal customers with smart, location-based lead generation.

We are a Kerala-based digital marketing agency specializing in generating targeted leads across all 14 districts, including Thiruvananthapuram, Ernakulam, Thrissur, Kozhikode, and more.

From Facebook & Instagram Ads to Google Search Campaigns and WhatsApp Funnels, we use proven strategies to deliver results that grow your sales—not just likes or clicks.
by djrj477dhsnv | 2025-07-10 03:57:24+00:00
But how would you eventually reconcile and settle balances?

Would all payments be just non-fungible bilateral agreements? So if I paid the milkman for some milk, but there was no good or service I could later provide to him, he would be unable to take my payment to the butcher to buy some meat (unless the butcher was also willing to enter into a new bilateral agreement with me)?
by gsf_emergency_2 | 2025-07-10 03:58:06+00:00
Unamerican of Heinlein but easier on mobile

https://knigorub.com/116529-logic-of-empire/page-1.html

>Decades later, while there is still an abundance of land [& chatbots], this [IT serf] market remains because the colony itself has quotas to meet and debts to repay and cannot spare the resources to develop local industries to make the machines itself, yet free labor still then does not have to bid its price down enough to out-compete [serf] labor.
by nhaehnle | 2025-07-10 03:59:14+00:00
> don't have infinite different copies of the int64_t type

You can make some, though!

Basically, the idea is to define a class template NoAlias<T, Tag> that contains a single value of type T. Implement operators etc. to make the type useful in practice for working with the wrapped value. Type-based alias rules mean that an access to the value wrapped in NoAlias<int64_t, Tag1> can never alias a value wrapped in NoAlias<int64_t, Tag2>. (Tag1 and Tag2 can just be forward-declared structs that are never defined.)

One time, I even encountered a situation where this was mildly useful.
by davidw | 2025-07-10 04:02:21+00:00
> I'm genuinely surprised at the amount of people that stuck to it.

I thought more people would see a guy doing ... that salute, or things like the antisemitism in Grok in the past few days and say "no", but a huge number of people seem to be able to rationalize things away.

I'm with Wil Wheaton https://bsky.app/profile/wilwheaton.net/post/3ltkjyzjb4k2p
by danpalmer | 2025-07-10 04:05:00+00:00
As a Google SRE (personal opinion) I feel I'm held to a pretty high standard for oncall responsibilities and support of production services. Unfortunately I'm under NDA for many of the details, but I certainly don't think that most companies are held to the standards I feel we're providing.

As a previous Google Cloud customer, we got pretty good support and responsiveness to outages. The details of any SLAs will vary by customer and contract, but there's accountability there.
by 9rx | 2025-07-10 04:05:54+00:00
> The defining characteristic of a programming "statement" is that it can perform some action

Given a declaration "statement" such as:

int x;

What is the expected action? Memory allocation... I guess? Does any compiler implementation actually do that? I believe, in the age of type systems being all the rage, one would simply see that as a type constraint, not as a command to act upon.

Expressing an idea (the values used henceforth should be integers) seems more applicable, no?
by mkw5053 | 2025-07-10 04:06:01+00:00
Interesting pattern here: manufacture a crisis (book banning complaints → funding cuts), then propose private "efficiency" as the solution. Meanwhile, this library was founded in 1799, is the second-oldest in Virginia, just won the 2024 state Library of the Year award, and had 400k+ checkouts last year. Hardly sounds broken.
by jcalvinowens | 2025-07-10 04:06:11+00:00
> Take anything Linus says about compilers with a grain of salt

I think he's making an argument about CPU behavior here more than about compilers: if we call loads and stores which aliasing optimizations might remove "redundant", he's saying that modern machines with big caches and store buffers make those "redundant" operations so cheap they don't matter in practice for most workloads.

Of course, it's admittedly an oversimplification to reduce aliasing optimizations to simply eliminating loads and stores, you described things which go beyond that.

However, I just ran a silly little test where I added `-fno-strict-aliasing` to CFLAGS and rebuilt the world on one of my gentoo build machines, it only got 1.5% slower at compiling an allmodconfig linux kernel (gcc-14):

Before: 14m39.101s 14m42.462s 14m41.497s 14m44.540s After: 14m54.354s 14m54.415s 14m55.580s 14m55.793s

That's on a shiny new znver5.
by jraph | 2025-07-10 04:07:03+00:00
I disagree with them, I find selling free software to be a pretty solid and ethical way of funding free software, but why would they not have the right to have an opinion on this?

I certainly have strong opinions about many software vendors, who distribute proprietary software, often full of ads and tracking on top of that, why would I not have the right to find that strongly unethical?
by mkw5053 | 2025-07-10 04:08:44+00:00
I understand the concern about local accountability, and you're absolutely right that libraries should be responsive to their communities. But the data here suggests the broader community was actually supporting the library.

Most public libraries follow professional collection development standards that try to serve their entire diverse community including families who want those books available. It's a tough balance, but the goal is usually having something for everyone rather than letting any single group determine what everyone else can access.

The community seems to have spoken pretty clearly by successfully defending their library. Sometimes the loudest voices aren't representative of the broader sentiment.
by cedws | 2025-07-10 04:11:45+00:00
I wonder what people like her who were around Musk in the early days think of him now. It’s striking how much he’s changed. When I see videos of him speaking 20, even 10 years ago, he seems much more grounded, inspired, maybe even intellectual.

Something has happened to him I feel. Maybe drugs brought out the storm inside that was always there.
by Nursie | 2025-07-10 04:12:03+00:00
On the one hand, sure it has a big effect, especially with hardware addons.

But on the other, I think this is overstated, I lose count of how many "How to X on Raspberry Pi" pages I've seen that were really "How to X on linux" or at best "How to X on embedded Linux". Often they were worse than existing "How to X on linux" resources but picked up traction because of the association with a popular board.

But then I'm just an old curmudgeon who's been messing with embedded linux since long before there was a RPi...
by vlovich123 | 2025-07-10 04:15:10+00:00
I’ll take your word for that although it feels like there may be other cases. Even still there is the subtle problem that bugs in the proof checkers now result in O(n^m) safety issues because an incorrectly accepted program is more likely to get through 1 of the borrow checkers (similar to how in a distributed system adding single points of failure results in exponentially decreasing reliability).
by 0x3444ac53 | 2025-07-10 04:17:15+00:00
Your comment is inline with how the libraries operate, and I can't tell if some of the others here are just a little homophobic or just woefully misinformed about how libraries function.

Books that aren't being circulated frequently enough get weeded and removed from the collection, usually once or twice a year. Moreover, if books are requested frequently from other branches, or have long hold times, then that volume will typically be added to a collection.
by numpad0 | 2025-07-10 04:20:12+00:00
> Recycling plutonium from spent power reactor fuel into mixed-oxide (MOX) nuclear fuel has been economically unattractive

Isn't this, though certainly not intentionally, just reiterating that lawful high tech labor fundamentally has no place in modern globalized economy? [Manufacturing iPhone] from [externally sourced parts] into [complete phones] has been economically unattractive everywhere, too.
by freejazz | 2025-07-10 04:21:57+00:00
Did he argue in that case that it was worth less than half the purchase price? I do recall he argued it was a material misrepresentation by twitter, but that the terms of the contract ran against him there. I do not recall it having been valued to that extent. It did seem like a facially bullshit excuse at the time. I'm curious as to why you're credulously repeating it now, after it's already been disposed of.
by hilbert42 | 2025-07-10 04:23:56+00:00
I wonder how long before someone tricks it into revelling the source code or cons it into reverse-engineering Windows from scratch.

If AI can figure out one of the most difficult aspects of molecular/biochemistry—protein folding—then reverse engineering proprietary code ought to be a snack. If not now it soon will be, and that'll be a game-changer.
by goda90 | 2025-07-10 04:24:20+00:00
Where did you get the idea it was already owned by private equity?

A public library delivers value to a community. Profit is not necessary for that, and can be argued to actually be harmful to delivering value to a community.

Efficiency might not deliver maximum value either when the community is the focus. Something taking a little more time or involving more human effort can actually be fulfilling for those doing and receiving. Firing the librarian that knows all the childrens' names so you can have a kiosk instead isn't delivering value.
Show HN: Shortly – A privacy-focused URL shortener with analytics
by parthomal | 2025-07-10 04:24:51+00:00
I built [Shortly](https://shortly.streamlab.in), a modern URL shortener focused on privacy and clean UX. Unlike many existing tools, it doesn’t track users.

It supports: - Custom short links - Analytics dashboard (click count, browser info, etc.) - Built with Next.js (frontend) and Go (backend)

I made this as a personal project to learn full-stack dev and solve my own pain points with bloated shorteners. Would love feedback on how it performs or how I could improve it.

Live site: https://shortly.streamlab.in
by stingraycharles | 2025-07-10 04:25:58+00:00
There’s probably a niche for people who like their AI to have certain MAGA-style traits, but it’ll never get a big market share like this.

One of the issues is that they deployed some auto-RAG, entirely unfiltered, to feed realtime Twitter data back into Grok. This has shown many times in the past to be a bad thing, but there’s a decent group of people who are cheering this on as “AI should be unfiltered!”, as they believe other AIs to be biased and this to be more “pure”.

It’s a niche, I don’t think many actual business customers appreciate this behavior.
by MyOutfitIsVague | 2025-07-10 04:26:40+00:00
I don't think your understanding is accurate. Their positions are overwhelmingly in support of freedom of information, freedom of speech, privacy, and the public domain. They're opposed to anything that locks down and restricts information, generally oppose unnecessary copyright extension and overbearing copyright laws and rules (including the DMCA and DRM). They have a wide array of positions that are both frequently aligned with and opposed by both major American political parties.

People distort the ALA's position as pushing LGBTQ books on children, but that's just the most in the limelight right now because those are the books that are being challenged the most, and the ALA is generally against book banning.

The ALA is aligned largely with classical liberalism, not modern progressivism, and most American conservatives I knew before 2016 would have agreed with their positions on freedom of information and personal privacy.
by sunaookami | 2025-07-10 04:28:40+00:00
>Musk killed third-party clients, which all had that already.

Irrelevant for the point but yes, API changes and killing TweetDeck was a shit move.

>To conceal the plunge in activity post-acquisition, and to soothe the owner

I don't care about your opinion on that, for me it's great and made me like more posts. I don't engage in politics on Twitter.

>We're not really calling a bit of a redesign "innovation", are we?

We are listing changes. Seems like you are just biased against Musk instead of engaging in a discussion.

>Anything using Twitter for this in a scenario where said encryption is important is a loon, IMO. That's what Signal is for.

Agreed but it's a new feature.
by TheDong | 2025-07-10 04:28:47+00:00
A library will not profit from its members being able to read books for free, but society as a whole will profit.

Demanding each individual component of society be profitable leads to the overall detriment of the whole. It leads to hospitals only treating the rich and only for money, it leads to no-one producing art, it leads to homeless shelters not existing. It leads to society becoming an inhumane machine to produce and consume money, and nothing more.

Humans are more important than money, society is more important than money.
by motorest | 2025-07-10 04:28:58+00:00
> I've seen some systems with a lot of pieces where teams have attempted to avoid repetition and arranged to use a single source of schema truth to generate various other parts automatically, and it was generally more brittle and harder to maintain due to different parts of the pipeline owned by different teams, and operated on different schedules.

I'm not sure what would lead to this setup. For years there are frameworks that support generating their own OpenAPI spec, and even API gateways that not only take that OpenAPI spec as input for their routing configuration but also support exporting it's own.
by usefulcat | 2025-07-10 04:29:51+00:00
Nope. In terms of presidential politics, covid was basically the same as an economic downturn; if it happens while you're the president, the electorate will blame it on you regardless of whether you had anything to do with it.

In the case of Bush in the 2004 election, at that time they were pushing the story that Iraq had been developing WMDs; that was the initial justification for the invasion. Obviously false in hindsight, but at the time people were still pretty raw about 9/11, so critical thinking was in short supply, but--most importantly--it provided an enemy to focus on.

In the case of covid there was no comparable enemy. "Declaring war" on a virus would not have anywhere near the same impact as using the military to actually wage war on another country.
by tzs | 2025-07-10 04:30:16+00:00
> This program will vibrate with increase frequency using the Fibonacci numbers 2, 3, 5, 8, 13, 21, 34..

No it won't. The sequence it follows is 2, 1, 1, 1, ...

After spotting that I was curious if LLMs would also spot it. I asked Perplexity this and gave it the code:

> This is Python code someone posted for a hypothetical vibrator. They said it will vibrate with increasing frequency following Fibonacci numbers: 2, 3, 5, 8, ...

> Does the frequency really increase following that sequence?

It correctly found the actual sequence, explained why the code fails, and offered a fix.
by nsm | 2025-07-10 04:30:59+00:00
This post does a fantastic job of laying out the reasoning and implementation of various concurrency methods and their trade-offs. It is one of the rare nuanced views on async/await vs green threads. Plus it makes the links between CPS, delimited continuations and effects, thus generalizing concurrency into one of several possible "stackful" operations.

In terms of ocaml and the authors concerns about continuation capturing and memory/performance, this is a good paper - http://manticore.cs.uchicago.edu/papers/pldi20-stacks-n-cont...

I think the _only_ thing the author didn't cover about concurrency is that "waiting for one of several things to complete" is a powerful primitive for concurrency that very few platforms provide direct access to. I.e. most async event loops are powered by OS primitives that allow such "heterogenous selects" and they are used under the hood but not exposed. I think Go's select, Tokio's equivalent, ConcurrentMLs/Racket more powerful choice operator. All of these allow expressing some nice patterns that other languages make impossible (sad Promise.race) or not user facing (cancellation in structured concurrency)

Great job!
by charcircuit | 2025-07-10 04:31:07+00:00
The library is owned by Samual Library Inc which is not the government or a public company.

Profit is not neccessary to deliver value, but it helps optimize it.

If someone knowing kids names is worth it people would be willing to pay more for the service. If people would rather pay less and use kiosks then that may be a better option.
by MyOutfitIsVague | 2025-07-10 04:31:11+00:00
The library should serve the entire community, not a loud minority or even exclusively the majority. If 20% of the community wants LGBTQ books, 30% don't, and 50% don't care, why should the 30% be able to decide that the other 20% shouldn't have access to these books? The majority should not be able to strip rights that the minority should have access to. Tyranny of the majority is a real thing.

I find it hard to believe that even a plurality wants these books banned. Do we have proportions, or is it just a number of complaints?
by sunaookami | 2025-07-10 04:32:19+00:00
Ignoring politics: I agree, the model is very weak and they took longer than expected for the API. The website is good though and Grok is good for everyday questions and doesn't have this annoying pleasing writing style that ChatGPT has. Also the web search is miles better, ChatGPT's web search seems to degrade the model heavily (maybe to not make publishers angry?).
by queenkjuul | 2025-07-10 04:32:56+00:00
Yeah every time workers do this, the ruling class sends in the cops to beat everyone into submission, gives everyone some pittance (maybe we'll get paid sick days for hourly office workers this time!), and everyone shrugs and says "well it could be worse."

The luddites literally attempted this, btw, and now everyone mocks them for trying to slow the inevitable exploitation of labor by technology.
by lovelearning | 2025-07-10 04:33:04+00:00
A website owner can publish their website's capabilities or data as "tools". AI agents and LLMs like ChatGPT, in response to user prompts, can consult these tools to figure out their next actions.

Example:

1. An author has a website for their self-published book. It currently checks book availability with their database when add to cart is clicked.

2. The website publishes "check book availability" and "add to cart" as "tools", using this MCP-B protocol.

3. A user instructs ChatGPT or some AI agent to "Buy 3 copies of author's book from https://theirbooksite"

4. The AI agent visits the site. Finds that it's MCP-B compliant. Using MCP-B, it gets the list of available tools. It finds a tool called "check book availability", and uses it to figure out if ordering 3 copies is possible. If yes, it'll next call "add to cart" tool on the website.

The website here is actively cooperating with the agent/LLM and supplying structured data. Instead of being a passive collection of UI elements that AI chatbots have to figure out based on UI layouts or UI captions, which are generally very brittle approaches.
by Xylakant | 2025-07-10 04:33:11+00:00
Do roads turn a direct profit? Water works? Canals? Flood Dams? Dikes? Are public parks profitable? Should schools be profitable? Is the police profitable? Does the fire department charge for every blaze they contain? Is the congress profitable? Are the courts? The president? The government as a whole?

Society funds a lot of public services because they cannot reasonably be billed to the individual, but enable the society to function and are the underpinning of economic activity. They are profitable because they allow society and the individuals to engage in economic activity which they otherwise could not.

We should strive to make public services efficient, but aiming for profit is against their very nature.
by petesergeant | 2025-07-10 04:34:26+00:00
I build LLM-based NPC characters for a violent online crime game that involves taking drugs and attacking people. OpenAI occasionally chokes on my prompts (1 in a few thousand). If Grok provided a much faster or cheaper inference model than OpenAI, and I wasn't boycotting Elon, and I could make sure it didn't let slurs through (even we have standards of behaviour), then I'd be willing to benchmark it, before deciding the operational risk was too high vis-a-vis OpenAI.
by evanjrowley | 2025-07-10 04:34:28+00:00
As a tall person, I see mostly disadvantages to this height. You need more calories and will die of starvation faster than a short person. Public transit and airplaines are too small for you. It's harder to find apparel that fits. You have less awareness of what's on the floor, and therefore, you stub your toe more often. You're prone to pneoumothorax. Also, women are attracted to you for superficial reasons that are irrational (as evidenced by this study).
by smolder | 2025-07-10 04:35:02+00:00
Yeah, sorry, everything you're saying is right. Compilers won't do the work for you. I just took issue with the wording about it being unsolved. If we can produce optimal binaries for a given process for multiple architectures we can also swap them as needed. I don't think any big new ideas need to come around, just work to implement ideas we have.
by gpm | 2025-07-10 04:35:05+00:00
The Readme mentions that app under "Motivation"

> Motivation

> I have a large collection of music files that I’ve gathered over the years, and I missed having a good offline music player on macOS. I used Swinsian (great app, by the way!), but it hasn't been updated in years. I also missed features commonly found in streaming apps; so I built Petrichor to scratch that itch and learn Swift and macOS app development along the way!