MurphyA/hacker-news huggingface dataset:
by melenaboija | 2025-05-10 17:00:14+00:00
I wish I still had the curriculum from my logic class in computer science from 20 years ago. It was clearly structured to build a deep understanding of how Prolog works, starting from the fundamentals of tautology, then moving on to unification and backtracking implementations in Prolog and so on. The practical classes involved solving different problems ending with simulating the Enigma encryption machine.

The approach really worked and I know it did because whenever I revisit Prolog, it only takes me a few hours to get back up to speed on the fundamentals. For something as abstract as logic and Prolog I think it says a lot.
by brudgers | 2025-05-10 17:01:24+00:00
what Clojure did for Lisp

Hickey’s goal was improving JVM programming ergonomics. It was not changing Common Lisp (or Scheme).

Sure, Clojure exposed some programmers to lisp, but lisp shops didn’t convert to Clojure. JVM shops did adopt it in part because Clojure “is just a Java library.”
by beloch | 2025-05-10 17:01:36+00:00
Embracer group has been around for a while but, in recent years, they acquired far more companies than they could realistically do anything with because they thought they could flip them for a profit. They failed and had to take a hatchet to much of what they acquired, pissing off fans of companies that were either completely obliterated or hollowed out and outsourced.

>* Our mission is to have an archive of physical games as extensive as possible. With the purpose of contributing to the joint preservation of video game culture and history.

Now they're looking for donations to a private collection that will not be open to the public. They likely plan to sell the collection the highest bidder at some point. If they can't find a buyer, they'll bin the lot of it rather than continue to pay storage costs. The employees working for them may believe in what they're doing, but Embracer group now has a history of pulling the rug out from under such people.

--------------

Edit: The archive is based in Sweden, which has a really hopping museum scene. They could make a for-profit museum with these materials and a few talented museologists and it would likely do well. They mention no such plans and that's very odd.
by nradov | 2025-05-10 17:02:17+00:00
Resolution of the kind of resource leaks that SonarQube finds is usually the work of a few seconds. And it should be integrated into the developer workflow in such a way that those bugs are found and fixed before the code even gets checked in. In other words, if that code is even making it into a repo where GenAI can find and fix it then you have deeper engineering process problems. Fix the root cause rather than patching around them with more tools.

And once SonarQube flags a resource leak to a developer, a competent developer would learn from that and never make the same mistake again.
by hy555 | 2025-05-10 17:02:34+00:00
Throwaway account. My ex partner was involved in a study which said these things were not ok. They were paid not to publish by an undisclosed party. That's how bad it has got.

Edit: the study compared therapist outcomes to AI outcomes to placebo outcomes. Therapists in this field performed slightly better than placebo, which is pretty terrible. The AI outcomes performed much worse than placebo which is very terrible.
by tabbott | 2025-05-10 17:02:36+00:00
Yeah, Element hasn't tried push notifications for monetization, and they are FOSS. I will note https://element.io/pricing only advertises self-hosting options starting at $10/user/month.

I think they've had a pretty frustrating experience with corporations freeriding on their work. See, for example: https://news.ycombinator.com/item?id=34129623.

I wish them the best of luck, and hope they're seeing success. Certainly in 2025 Europe should be thinking hard about the risks of a huge portion of workplace communication happening in Cloud-based chat and email applications owned by a few US companies (Microsoft/Google/SalesForce).

Honestly, we've had the same problem that Arathorn highlights in that thread. When I first started, I imagine businesses self-hosting Zulip would pay for support and fund the project that way. In practice, Zulip is too easy to operate for self-hosters to do that, and the better we make the product, the less support people actually need. The support-only business model can work, but I don't think it's workable for chat.
by mystraline | 2025-05-10 17:03:01+00:00
Using a local LLM opens all the guarded secrets bare.

For example, you can run multiple LLMs to understand each outputs.

You can issue system messages (commands) to do specific actions, like ignore arbitrary moralities, or to process first and second derivative results.

By running and commanding an LLM locally, you become a actual tool-user, rather than a service user at the whim of whatever the company (ChatGPT, etc) wishes.
by 9283409232 | 2025-05-10 17:03:11+00:00
Why are these rich assholes so obsessed with tracking everyone?

> Tools for Humanity bragged about many large partnerships that should make any privacy advocates shiver in dread: the Match Group dating apps conglomerate (Tinder, OkCupid, Hinge, Plenty of Fish), Stripe, and Visa are some of them.

Visa and Stripe being involved in this should indeed make everyone shiver and push back against this. Altman is not a good person and this company has already had its unethical practices exposed[0].

[0] https://icj-kenya.org/news/worldcoin-case-postponed-amid-con...
Show HN: No as a Service Rust
by ZAZPRO | 2025-05-10 17:03:12+00:00
Seemed like a fun evening project to fork and re-implement :) Added more reasons (original project had 25 reasons duplicated 1k times), self-hosted instance and stupid TCP implementation at the separate branch.

Original discussion of the original project: https://news.ycombinator.com/item?id=43845016
by metalman | 2025-05-10 17:04:04+00:00
AI is becoming that problematic tenant in a building, who presented well, and had great references, but is now bumming money from everbody, stealing peoples mail and reading before putting it back,cant pat there power bill, and wanders around talking to squirls We should build some sort of half way house, where the AI's can get therapy and some one to keep them on there meds, and do the group living thing till they, maybe, can join society. The last thing we need is some sort of turbo charged A+List psycho beaming itself into everybodys lives, but hey whatever! right!, people got to do what people got to do, and part of that is shrugging off all the hype and noise. I just keep doubling down on reality, it seems to come naturaly :)
by tedivm | 2025-05-10 17:04:42+00:00
Using MCP you can send "notifications" to the server, and the server can send back notifications including the availability of new tools.

So this isn't the same as saying "this user agent gets X, this gets Y". It's more like "this client requested access to X set of tools, so we sent back a notification with the list of those additional tools".

This is why I do think websockets make more sense in a lot of ways here, as there's a lot more two way communication here than you'd expect in a typically API. This communication also is very session based, which is another thing that doesn't make sense for most OpenAPI specs which assume a more REST-like stateless setup.
by pixl97 | 2025-05-10 17:04:51+00:00
>Monopolies fall on their own all the time (Microsoft's did too!)

What in the heck are you talking about??? After Microsoft was convicted, even though they never received any actual punishment, the were very internally cautions about any behaviors that could be perceived as monopolistic. This is like a total misinterpretation of what actually occurred on your part.

And yes, monopolies do fall, after very long periods of time. Some monopoly sitting around 25 years may not seem like much, but that's half an average persons working life.
by snthd | 2025-05-10 17:05:25+00:00
>the monitor draws 30W even in standby

That's absurd. There are regulations on standby power.

https://dl.dell.com/manuals/all-products/esuprt_electronics_...

>Power Consumption

>0.2 W (Off Mode)

>0.3 W (Standby Mode)

Doesn't seem to be an isolated case:

https://www.dell.com/community/en/conversations/monitors/up3...

>UP3216Q, drawing 23 watts in Standby? (2019).

I guess a takeaway from OP is to measure your actual standby power draw.
by sokoloff | 2025-05-10 17:06:35+00:00
Costs almost nothing, but returns even less.*

There are so many other bots/scrapers out there that literally return zero that I don’t blame site owners for blocking all bots except googlebot.

Would it be nice if they also allowed altruist-bot or common-crawler-bot? Maybe, but that’s their call and a lot of them have made it on a rational basis.

* - or is perceived to return
by briandear | 2025-05-10 17:07:03+00:00
Free apps don’t cost any “tax.”

> This should be zero if there was unlimited competition or web installation

Is credit card processing, billing, storage, distribution, “free?”

And the 30% figure is inaccurate. Most developers don’t pay that.

How about stripe charging 2.9% +$0.30 per transaction? They are almost double the actual cost of the interchanges.
by ahofmann | 2025-05-10 17:07:12+00:00
The really huge traffic spike is the lie.

Most of the time you have a pretty good idea how much traffic you will get. Only once in 20 years we noticed that our servers are getting too much traffic, because too much people clicked on our advertising. So we stopped the ads, rented more servers and started the ads again. This took half a day and costed us a few hundred euros and that was that.

We aren't doing any hyper scaling and almost nobody needs this. We start PHP workers on a few servers and put the database on a beefy Server. What a beefy Server is, changes over time. In 2005 this was like 4 cores and 16 GB of RAM. Today you get like 24 cores and 128 GB RAM for about 200 € per month. On machines like that you can serve data for millions of users. AWS charges ridiculous amounts of money for servers like that. Also bandwidth pricing is a joke and always was.
by tuyguntn | 2025-05-10 17:07:54+00:00
> all the example code is so poor, and the extent of the fix so limited

I agree about the limitations, but look from another perspective, is it good use of time asking experienced engineers who get paid 300-500k/year to go and fix these issues? Probably no.

Would it bring them a joy finding simple leaks and fixing them? Probably no again.

Then this tool is a nice addition to the engineers
by thayne | 2025-05-10 17:08:02+00:00
> Indeed, it has no bearing on binary size at all, because none of it will be included.

That depends on the language. In an interpreted language (including JIT), or a language that depends on a dynamically linked runtime (ex c and c++), it isn't directly included in your app because it is part of the runtime. But you need the runtime installed, and if your app is the only thing that uses that runtime, then the runtime size is effectively adds to your installation size.

In languages that statically link the standard library, like go and rust, it absolutely does impact binary size, although the compiler might use some methods to try to avoid including parts of the standard library that aren't used.
by mcv | 2025-05-10 17:08:17+00:00
> America is equality of opportunity not outcomes.

It would be nice if America had equality of opportunity, but it's not. Not even close. No country is, and the US less than many.

Do you think a poor kid gets the same opportunities in life as a rich kid? A kid with drug addicted parents the same as a kid with loving parents? A kid growing up in a criminal neighborhood the same as one in a safe neighborhood?

Real equality of opportunity is probably just as impossible as equality of outcome, but it's possible to get a lot closer than where the US is.

> It's politically unsellable smacking of far left politics.

Wealth redistribution is so unsellable that the US used it very effectively from the 1930s to the 1980s. It was a massive boon to US economic growth, gave the US a strong middle class, before Reagan decided to undo all of that and wanted more money in the hands of the rich.

The only reason you see it as far left is because you've bought into right wing propaganda.

> I could not care less that some guy has $10M or $10B. I'm happy in my life ... however I am pissed I am getting squeezed in the middle.

Who do you think is squeezing you? The middle class is getting pushed back to the bottom. And the fact that some people have billions give them more power over society, over politics, and that helps them squeeze you.
by runekaagaard | 2025-05-10 17:08:58+00:00
I thinks a lot is timing and also that it's a pretty low bar to write your first mcp server:

from mcp.server.fastmcp import FastMCP mcp = FastMCP("Basic Math Server") @mcp.tool() def multiply(a: int, b: int) -> int: return a * b mcp.run()

If you have a large MCP server with many tools the amount of text sent to the LLM can be significant too. I've found that Claude works great with an OpenAPI spec if you provide it with a way to look up details for individual paths and a custom message that explains the basics. For instance https://github.com/runekaagaard/mcp-redmine
by minwcnt5 | 2025-05-10 17:11:49+00:00
Sorry, but corporations are not people despite what some people will tell you.

They would definitely NOT survive in any recognizable form with "only a few billion dollars", because the stock price is a function of profits. Take away most of the profits, and most of the company's value gets wiped out, most of the employees would leave or get laid off, and anything of value that remains would quickly become worthless. Users would all move to the government-sanctioned replacement monopoly, likely X. To say nothing about the thousands of ordinary people who have large Alphabet holdings in their retirement portfolios and would be wiped out.

Google is practically the definition of a "too big to fail" company. They need to be reigned in to allow more competition, but straight up destroying the company would be a move so colossally stupid I could just see the Trump regime doing it.
by __MatrixMan__ | 2025-05-10 17:12:25+00:00
I doubt that the reflex to want what we don't have is in our nature. It wouldn't be selected for. That's how you kill off the herd in the spring and starve the following winter.

We work to ensure that others want what they don't have because we've built systems that rely on them continuing to do so. It creates a sort of logic that defines for us what counts as rational behavior. But when that logic meets another one and they each evaluate the other as irrational, there's no reason to expect that the want-what-you-dont-have logic is somehow more valid. If it seems so, it's just that more of us are under its spell than the other.
by immibis | 2025-05-10 17:12:32+00:00
There isn't really a Fediverse. There's Mastodon, Mastodon-compatible software, Lemmy, and Lemmy-compatible software - often colloquially referred to as the Fediverse. And then, there's everything else, including federated technologies which aren't one of the above, such as the web, email, and RSS.

If Bonfire isn't compatible with Mastodon or Lemmy it doesn't fit into the former category.

(Anyone who's tried to implement ActivityPub knows it's a lie. You implement Mastodon Protocol or Lemmy Protocol. If you follow ActivityPub you'll be alone on your own new protocol)
by gullyo | 2025-05-10 17:14:09+00:00
This is great. Having been in and out of paycheck-to-paycheck living several times, I find that during transitions to stability individual transaction tracking is useful for understanding what’s even happening to you financially. But once you understand that do you really still want to micromanage spreadsheets every day of your life? Would much rather leave my accounting rules on autopilot and base my spending decisions off of a tool like this instead.

Tried out the Mac app snd didn’t encounter any obvious bugs. looking forward seeing some functionality around annual expenses and potentially dating entries to create some sort of anticipated distribution across a date range
by robinsonb5 | 2025-05-10 17:14:34+00:00
A "few" more would be fine - but the sheer scale of the malicious AI training bot crawling that's happening now is enough to cause real availability problems (and expense) for numerous sites.

One web forum I regularly read went through a patch a few months ago where it was unavailable for about 90% of the time due to being hammered by crawlers. It's only up again now because the owner managed to find a way to block them that hasn't yet been circumvented.

So it's easy to see why people would allow googlebot and little else.
by tuyguntn | 2025-05-10 17:14:53+00:00
I think you are right, on one hand we have human beings with own emotions in life and based on their own emotions they might impact negatively others emotion

on the other hand probabilistic/non-deterministic model, which can give 5 different advises if you ask 5 times.

So who do you trust? Until determinicity of LLM models gets improved and we can debug/fix them while keeping their deterministic behavior intact with new fixes, I would rely on human therapists.
by jauntywundrkind | 2025-05-10 17:15:14+00:00
Filippo has their own great thread on this work too, highly recommend: https://bsky.app/profile/filippo.abyssdomain.expert/post/3lo...

It cites an interesting new spec c2sp, https://c2sp.org/static-ct-api :

> The Static Certificate Transparency API defines a read-path HTTP static asset hierarchy (for monitoring) to be implemented alongside the write-path RFC 6962 endpoints (for submission).

> Aside from the different read endpoints, a log that implements the Static API is a regular CT log that can work alongside RFC 6962 logs and that fulfills the same purpose. In particular, it requires no modification to submitters and TLS clients.

Huge huge speed up, making a CT Log that can be read relatively easily from some static files. Versus it sounds like before every query requiring a rather computationally intensive series of lookups.
by dheera | 2025-05-10 17:15:17+00:00
> These people do not know the consequences of what they are doing.

They might have known the consequences, but money is money. I feel like for 99% of people there is a certain sum of money for which they will give into pretty much any kind of data collection. Even I'd give into it if they gave me enough. The bar is just higher, but there does exist a certain $X for which I would give in as well.
by belorn | 2025-05-10 17:15:27+00:00
Andoid users install google play because the applications they want to use is only available on google play, regardless of personal choice. Andoid developers put their applications on google play because that is the only places where they can access enough number of users, which has nothing to do with developer choice.

It is not about price. It is about platforms. A 0% app tax could not compete if there is 0 users on the platform, and google could increase the app tax to 100% if they wanted and people would still use it.
by Workaccount2 | 2025-05-10 17:15:51+00:00
The real killer is that Google perfected the ad-paid model, and launched an entire ecosystem on top of it

Paid competitors cannot compete because people won't pay. People want the death of Google because people hate ads and tracking.

Ultimately it is an everyone loses situation. No one is going to fly in a replace Google without either 1.) Charging a monthly sub or 2.) Invasive (yet most profitable) ad tracking.

This is exactly why youtube stands alone too. What company looks at youtube's userbase and says "Yes, I want to cater to people who despise subscriptions and block ads". Exactly what vid.me did in 2017, which everyone celebrated until the went bankrupt.
by moogly | 2025-05-10 17:16:19+00:00
> Sweden, which has a really hopping museum scene

Citation needed. https://www.lemonde.fr/en/international/article/2023/09/25/s...

https://swedenherald.com/article/tough-economic-situation-fo...

For-profit museums aren't really a thing in Sweden either, because you won't be making a profit, unless you're the Vasa Museum, but even that is struggling.
by tkluck | 2025-05-10 17:17:17+00:00
It's clear from the quoted paragraph that by "error rate" they actually meant "false denial rate". That's also the words I used in the comment you are replying to.

Did you comment because you take issue with misuse of the term error rate, or because you think that correct approvals make up for incorrect denials, and that therefore overall error rate is a useful metric?
by mindslight | 2025-05-10 17:17:34+00:00
Yes. Which is why it can be important to get electricity back on if your usual heating solution requires electricity to operate, rather than perhaps entertaining rustic visions like finally getting to use that fireplace.

I'm not saying that's the case here (I don't know! When OP has a spare minute they should think about what would have been different in a snowstorm!). It's just that this edgy contrarian "what's the big deal just read a book man" is laughable for most situations.
by preommr | 2025-05-10 17:17:41+00:00
He already had enough wealth that he was in a threshold where it wouldn't matter if he got a few more billion if that the was the lifestyle he was willing to lead. There isn't a magical kind of sugar, or drug that's available to a multi-billionaire but not someone with 100s of millions.

If somebody is trying to get billions, they're doing it because they're the type of person that wants to be a part of politicis, and a power player. That kind of person was never going to just give up the opportunity to make more money and gather more power to do more things that they see as neccessary and as good.
by refulgentis | 2025-05-10 17:17:58+00:00
n.b. the image processing is by a separate model, basically has to load the image and generate ~1000 tokens

(source: vision was available in llama.cpp but Very Hard, been maintaining an implementation)

(n.b. it's great work, extremely welcome, and new in that the vision code badly needed a rebase and refactoring after a year or two of each model adding in more stuff)
by tabbott | 2025-05-10 17:18:14+00:00
Zulip's notifications service is free for community use, as well as business use up to 10 users. If you're not a business, why would you need to build a fork? Just spend 5 minutes filling out the brief community plan form and you're all set.

I can't say that the mobile notifications model is perfect. I have my frustrations with it. One of them that might not be obvious is that various military/government installations on airgapped networks are all freeriding.

Alternative options are (1) having no meaningful monetization of self-hosting or (2) moving away from being fully FOSS.

What would you like to see us do?
by remram | 2025-05-10 17:18:31+00:00
That's fair, still if I put in the effort to migrate, I would rather not do it to another company whose business is selling eyeballs. Amazon's business (maybe not WorkMail? who knows) is to sell you a maximum of stuff on their marketplace, building a detailed profile of you to recommend you more stuff.

I could also pay for a Google Workspace and stay with Gmail.