MurphyA/hacker-news huggingface dataset:
by latexr | 2025-11-27 09:35:19+00:00
> Surely Linus Torvalds has said meaner things at some point on a listserv.

It boggles the mind why people keep using Linus as an excuse to justify rudeness. Linus apologised, he recognised what he did for years was not OK, and took time off to reflect and become a better person.

> Seems like the HN mob is just as capricious as the author in deciding who gets as pass or not.

Are all the people who commented in that submission commenting on this one? No? Then it’s not the same group of people, and opinions are different. There’s no “mob”, HN isn’t a hive mind. If it were, you’d be part of it and agree.
by kristoff_it | 2025-11-27 09:35:44+00:00
As a side note, people said that not posting anymore on Twitter and leaving Reddit was also a death sentence for Zig. Time has passed and we're still alive so far, while in the meantime both platforms have started their final journey towards the promised lands of the elves.

They won't get there tomorrow or the next month, but I'm sure there has been a time where people started moving from Sourceforge to GitHub and somebody else remarked that they were doing something needlessly risky.

As far as we can tell Codeberg is a serious attempt at a non-profit code sharing platform and we feel optimistic enough about its future that we're willing to bet on it.
by oskarkk | 2025-11-27 09:36:21+00:00
I love this idea. I like exploring code of interesting projects even if I don't intend to ever work on them, but in complex software I don't know much about it's hard to even find where are the most important basic parts. This allows me to easily find and see how some things in the kernel look like.

Found a bug: in the Chapter 2, when I click on "open" next to "mm/" or other dirs, I get an error: " Failed to load file - Invalid file response from GitHub API - File: mm/". I guess it's cause it tries to open the dir as a file, instead of something like pointing at the dir in the dir tree?
by pickledoyster | 2025-11-27 09:36:56+00:00
A bit of OT, but I have four iPhone 5/5s/SE (the SE is peak design and form factor, fight me) lying around that I use strictly as offline devices for things like saving data from my heart rate monitor, controlling my action camera, doing voice/field recordings through the 3.5mm connector – stuff I'd prefer never to leave my device (or data that should be open to user control but requires an invasive app to work, I have very few apps on my daily driver).

These devices are are small, snappy and powerful enough in 2025.
by oefrha | 2025-11-27 09:37:44+00:00
Not only do we not call coworkers losers or monkeys when they fuck up, I don’t think I’ve seen this when telling mean jokes about competitors in private conversations either. Individuals who are jerks about people you don’t like tend to also be jerks about you behind your back, and we don’t want that, so we don’t it.

If your workplace has a lot of name calling, consider the possibility that it may be unusually toxic, and the possibility that you’re making it toxic.
by d--b | 2025-11-27 09:38:30+00:00
This is also what's happening in an elevator. You not only want the speed to increase slowly, you also want the acceleration to increase slowly, cause that's what actually makes your guts go down. And the best way to do this is to have the acceleration of the acceleration continuous.

In the end the position of the elevator is 3-continuous (why is it called G3? in France we call this C3). And the apple corner is just a graph of the position of an elevator wrt time. Mind blowing
by auxiliarymoose | 2025-11-27 09:38:35+00:00
High quality writing (e.g. MDN Web Docs, Go Documentation, internal docs) does not have a tendency to include mistakes or incorrect reasoning because it comes from a place of clear thinking and goes through a continuous process of peer review and improvement.

LLMs outputs are, at best, first drafts that have not been reviewed or revised, and they certainly do not have analytical reasoning behind their content.

I am not claiming that my domain is uniquely challenging, but the statements I made are factual for my work (and likely many adjacent fields, too).

Would you trust your life to a pacemaker or aircraft control system designed and manufactured quickly by people without a correct understanding of what they are developing, working purely off of information from the Internet and other semi-public sources? I wouldn't. But maybe you are braver than me!
by skullt | 2025-11-27 09:38:49+00:00
I would think leaders sometimes not following their own codes of conduct is the strongest argument in favor of having them: yes, they are obvious to everyone but they are also evidently easy to forget in the heat of the moment. It's a standard of behavior to strive for not one statically attainable. Reminders are needed and that's the purpose their deliberate codifying serves.
Show HN: Tampo – One app for personal tasks and team projects
by AbdullahSheraz | 2025-11-27 09:38:58+00:00
Hi everyone! I built Tampo, a task management app that combines personal tasks and team projects in one place.

Why I built it: I noticed many people use different apps for personal vs team tasks, and some even manage business tasks inside WhatsApp chats — which leads to confusion. I wanted one clean app where personal work and team work stay separate but live in the same space.

What it does:

1. Create personal or team projects 2. Invite members with email or link 3. Assign tasks with voice notes, attachments, and action points 4. Have dedicated discussions on each task 5. Custom statuses per project 6. Dashboard and activity log 7. Member permissions 8. Notifications 9. Notes feature 10. Home overview (today's tasks, overdue, unread notifications) 11. My Tasks screen (assigned to me / assigned by me)

How I built it: I’m 20 and currently studying BS E-commerce. I’ve been coding for 4 years and love building products that solve real problems. Tampo is built using Flutter + Firebase for backend, authentication, and notifications.

Link: https://tampoapp.com

I’d love feedback on the app, UX, and performance. Happy to answer all questions!
by dependency_2x | 2025-11-27 09:39:43+00:00
PII info

Name that was provided to us on the API account Email address associated with the API account Approximate coarse location based on API user browser (city, state, country) Operating system and browser used to access the API account Referring websites Organization or User IDs associated with the API account

Rookie mistake for a billion dollar plus company, let alone the most valuable in the world.
by A_D_E_P_T | 2025-11-27 09:40:28+00:00
From the site:

> Scale your organic traffic 100% automatically with AI-driven, auto-published SEO blog articles.

If it's auto-published, how can anybody know that what was published is factually accurate?

IMO all AI-generated works still need a human editor, to smooth out the style, fact-check, and confirm that what's being published fits the brand.

I suppose it's possible that you can use multiple AI agents for this. (Have one do the research, another the writing, a third the editing and brand-alignment, etc.) But, still, as somebody who runs a company, I'd never greenlight this. It's too risky. And that goes double for images, which are very difficult to get right in a professional/business context.

I'm being charitable here and am not going to dwell on how this sort of thing harms the commons and can poison the internet with bad information.
by cracki | 2025-11-27 09:41:23+00:00
The snake oil salesmen who turn it into a religion/cult. The ceremony that doesn't bring any advantages. The irrational adherence to this ceremony.

"Agile/XP" is a big bag of many ideas. Some of them aren't related, but they all get stuffed in that bag.

Personally, I enjoy pair programming, which is the literal experience of dealing with an (agentic) AI for the purpose of programming.

Tests (regression tests, unit tests, integration tests, ...) make development easier in that they tell you right away when you took a wrong step. You don't have to test manually anymore, so that saves you time and concentration, and you can test a lot more often.

Those are the good bits of "Agile/XP".
by freehorse | 2025-11-27 09:41:30+00:00
I don't know about the specific piece, but my essential problem with AI art is that it lacks intentionality. I am not sure how use of AI tools in a creative manner can be reconciled with this fact, also because I do not really use the actual professional AI tools. Maybe it is analogous to using LLMs for tab-completion vs prompting and letting them roam and write the code as agents. I would rather "AI" as tightly integrated into a process and being an actual tool without disrupting it, than something that essentially turns us all into some kind of managers.
by spwa4 | 2025-11-27 09:42:03+00:00
Pfffft. People have been making solutions for "now we need no more developers" since at least Bill Gates 1991 introduction of Visual Basic. And frankly, Bill Gates showed easily 10x the charisma of Sam Altman and Sundar Pichai combined back then.

https://www.youtube.com/watch?v=Fh_UDQnboRw

I mean, I know, we all used Delphi after trying it for a little bit, but still.
by mrkeen | 2025-11-27 09:42:13+00:00
The interactive lambda-calculus interpreter looks like it does the right thing, not that I've tried to push it too hard.

Can't comment on the delta-nets. If you're looking for a real person who's been plugging away at parallel & optimal reduction of lambda terms, this is where to look: https://github.com/VictorTaelin

I don't think "lambda-reduction" is a red flag. The "real" term would be "beta-reduction" (but that's the incumbent algorithm which TFA claims to replace or improve on - so why not give it a new name?)

But if I were to go sniffing for red flags:

From the first commit:

lambdacalc.ts: // The original lambda calculus introduced by Church was the 'relevant' lambda calculus which doesn't allow for weakening/erasure. This is why I add the '+' below to indicate that the lambda calculus started at 1936 but was extended afterwards.

What?

util.ts: Why is this full of Gaussian Elimination of Matrices? The paper doesn't mention it
by _kidlike | 2025-11-27 09:42:23+00:00
comment about the linked blog post: he replaced Proton Drive with Synology, which is kinda cheating (comparing apples to apple trees). Also he did not include a cloud drive in his pricing calculations, which is also cheating...

Anyway, for anyone actually looking for good cloud drive hosting, without any BS: rsync.net (you encrypt on your side before sending anything. I use Vorta with them).

Also the same server can be used by multiple (trursted) users, like family members etc.
by dangus | 2025-11-27 09:43:10+00:00
First off, this claim that the start menu is written largely with web frameworks isn’t even verified:

https://news.ycombinator.com/item?id=44124688

It is supposedly still mostly Windows native XAML. Allegedly, even the components that use react are using react native for windows and are therefore not rendering any sort of resource-wasting web view.

I wrote my own react native phone app and it’s only a 30MB download. Your random comparison to a bulky chat app with an extensive feature list (the most popular culprits like Slack and Discord are not written in React Native, by the way) consuming a GB of RAM is irrelevant. Have you measured the start menu consuming 1GB of RAM? Unless you have, your argument is a whataboutism.

If you think it’s bad that Microsoft is using stuff that makes it easy for them to develop windows you should explain to me how it would be better for them to have extreme difficulty in making improvements like how the old control panel basically couldn’t be updated with any reasonable development cadence for decades while macOS ran circles around Windows for their clean settings experience, versus the new settings pane that Microsoft can actually iterate on and improve.

You can criticize the new settings panel for maybe not having 100% of what you want in it but you can’t criticize being a scary nightmare for novice users like the old version.

It is in the users’ benefit if Microsoft can actually hire people who are real humans and not just myths.
by kypro | 2025-11-27 09:43:36+00:00
That was my initial assumption about how they're collecting the location data too. However I find if I switch to a different browser it will rarely mention my location, so it could be finger printing and pulling in info from previous device session where I have mentioned my location.

I think the larger issue here is that when you ask how it knows these things it seems to have been instructed to lie and say it doesn't know and has just guessed which seem extremely unlikely. This simply isn't acceptable in my opinion.
by jillesvangurp | 2025-11-27 09:43:47+00:00
It's a good reason to use macs as they have unified ram. I have a 48GB mac book pro. Plenty of memory to run these models. And the M4 Max should be plenty fast. You kind of want to have enough ram that you have plenty left to run your normal stuff after the model has loaded.

I wish I had more time to play with this stuff. It's so hard to keep up with all this.
by thaumasiotes | 2025-11-27 09:43:57+00:00
> not completely coincidentally, March was also the first month of the year in many historical calendars.

And often the last month too. The early modern English calendar began the year on March 25.

This is coincidental in relation to the offset in the names of the months. The Romans started their year in January just like we do today.

(Though in a very broad sense, it's common to begin the year with the new spring. That's the timing of Chinese new year and Persian new year. I believe I've read that the Roman shift two months backward was an administrative reform so that the consuls for the year would have time to prepare for the year's upcoming military campaigns before it was time to march off to war.)
by ricardobeat | 2025-11-27 09:44:07+00:00
> the maximum deviation between G1 and G3 is only 0.1mm

In a small 100x100mm box, with a 12mm fillet, G1/G2/G3 corners already have a visible 0.5mm difference. What gives it away is the lack of a hard transition between the flat surface and the corner, that's very noticeable on a reflective surface.

On the mechanical side, I think the effect they refer to also comes down to that transition line - going from a straight line immediately into a curve (G1) which adds lateral forces, vs easing into that curve over a few more steps which avoids jerking the print head.
by tromp | 2025-11-27 09:44:08+00:00
I linked to the paper in a recent comment [1]. The author has been active in the Higher Order Community Discord channel for quite a while. The Higher Order Company [2] is developing HVM (Higher Order Virtual Machine), a high performance implementation of interaction nets for both CPUs and GPUs, and started the channel to discuss development and related topics, such as the Bend language for programming the HVM, discussed on HN at [3].

The paper manages to present previous work on Levy's optimal beta reduction in a more streamlined fashion, generalizing duplicators to so-called replicators that avoid the need for separate book-keeping gadgets (like croissants and brackets) . Its author also proves himself to be a skilled programmer in bringing his theory to life with this web based evaluator.

The app contrasts traditional graph-based λ-calculus reduction (which replaces nodes with entire subgraphs) with interaction (which makes only local modifications and hence needs more steps), while showing that semantics is preserved.

[1] https://news.ycombinator.com/item?id=46034355

[2] https://higherorderco.com/

[3] https://news.ycombinator.com/item?id=40390287
by queenkjuul | 2025-11-27 09:44:45+00:00
I'm with you, but my "NAS" is also really just a server, running tons of other services, so that justifies the power consumption (it's my old 2700X gaming rig, sans GPU).

But i do have to acknowledge that the US has relatively low power costs, and my state in particular has lower costs than that even, so the equation is necessarily different for other people.
by wltr | 2025-11-27 09:44:46+00:00
I’m a pro user with over two decades of experience, I don’t use Gnome all the time (I prefer Sway these days), but I’m all-in for having a nice DE that would embrace regular people with its simplicity. IMO Gnome does that very well. Yet, I am, as a pro-user can use that almost as good as I use my sway desktop. At home, our shared guest room computer runs default Fedora, and I don’t feel any limitations with it (it has almost none of my configs), and can do most of my work when I’m up to it. The only real difference is when I want to spend like a whole day working with it. An hour or two, no real difference.

Saying that, why won’t you just use the DE targeted at you, as a pro user? With Gnome, I rather afraid they might mess the simplicity at some point and start doing features features features for the sake of them. See KDE Plasma with their settings. I used it since KDE2, and while I rather like it, I am still getting lost in all the bells and whistles. They are too many, and I’ve been around for a really long time.
by nicbou | 2025-11-27 09:45:37+00:00
I kind of disagree. The more I learn about manufacturing and crafts, the more I appreciate made objects. I used to skip old furniture in museums and now I look as close as I am allowed to. Same with art, cars, typewriters and most machines.

Considering things at face value is wasting a good opportunity to truly appreciate what’s in front of you. I think that being more discerning makes you more mindful about the things you surround yourself with. That might mean buying less junk, and loving what you end up buying.
by drob518 | 2025-11-27 09:46:01+00:00
> But formal validation can still work some of the time with the right people, on the right scale and kind of project, with the right amount of resources/time expended.

The problem is, it’s unclear exactly what those situations are or even should be. That lack of clarity causes us to fail to recognize when we could have applied these methods and so we just don’t. As much as I see value in formal methods, I’ve never worked with a team that has employed them. And I don’t think I’m at all unique in that.
by gusgus01 | 2025-11-27 09:46:38+00:00
I don't say this lightly, but I don't think you read my reply or at least didn't understand the implications, especially because you don't actually argue against anything I say. You only say generic statements about justifications and logical conclusions and conclude with assumptions about RIAA.

I stated that the open internet as a whole is the commons, not any specific person's pet project, and thus, that AI scraping (or any bulk scraping done commonly and wholesale) makes it untenable for most people to keep participating. Twitter for example has gone your preferred way, mostly requiring authentication to access. There are many arguments on HN about whether that's a good move, or even a move that others could take and expect success. And that's a huge platform. Just recently there have been front page posts on HN about bringing back personal blogs, and also posts about how personal blogs not behind the great wall of Cloudflare led to TBs of "false" traffic because of scrapers, which costs real money.

I stated I think piracy, ad block, and AI scraping to be part of the same spectrum. I think the justification for ad blocking has a much lower level of burden than the justification for AI scraping to the point you need multiple IPs and argue for whitelisting as the only option to stop it, because of the amount of effect you are having.

Much like how bandwidth has different levels of payment if you use less than 100 MB or more than 1 TB, or how delivering a package that weighs 10 lbs is way cheaper than a package that weighs 1000 lbs, or how at some level of effort times repetition it makes sense to automate something programmatically vs just doing it manually. There are of course situations where each makes sense, but the expectations can vary, and the results are not always linear depending on the inputs. This all completely ignores the social aspect of it that can add a whole new layer of complexity that has it's own logic.

Scraping (or access without ads eg ad blockiing, or outside sharing of data eg piracy) has always been complained about by those that have data that people want to scrape, eg airlines or hbo or disney, it's just that now all data is data that is being scraped absolutely non-stop to the detriment of many and the gain of few that everyone has a reason to complain. It also explains why people have differing opinions.
by muzani | 2025-11-27 09:46:46+00:00
"These are all new chats."

Bear in mind that it shares memory from previous chats.

There's at least two types. One saving things you tell it. Another querying recent chats.

There seems to be another kind of memory for when it does searches. May be related to Atlas. I've tried to clear bugs from this (it gets my name wrong) but it's not in the other two.
by domaisi | 2025-11-27 09:46:52+00:00
DomAI is an AI-powered platform that simplifies every stage of home building, renovation, and interior design. Whether you're a homeowner planning a remodel or a contractor preparing a proposal, DomAI provides a complete set of smart tools that reduce complexity and speed up decision-making.

With DomAI, users can instantly generate cost estimates for materials, create detailed interior and exterior designs, produce AI-generated floor plans, and receive personalized guidance through an intelligent home assistant. The platform also includes project-planning tools, PDF report generation, multilingual support, and a clean, modern interface accessible on any device.

DomAI helps users save time, avoid costly mistakes, and visualize their project before spending a single euro. From quick design concepts to full renovation planning, DomAI brings professional-grade AI capabilities to everyday home projects.

Core Features

AI cost estimator for renovation materials

Interior & exterior design generation

AI-powered floor-plan creation

Smart home assistant for renovation questions

Project planning tools

PDF export for reports and proposals

Multilingual interface (SL / EN / DE / HR / IT)

Web app + PWA support

DomAI is built for homeowners, designers, contractors, and anyone looking to plan and renovate smarter with AI.
by avadodin | 2025-11-27 09:47:35+00:00
A superficial reading doesn't inspire much confidence in this peer-reviewed article but I agree that RNA-world is a thought experiment at best. There is no evidence of these RNA structures in actual lifeforms. RNA encodes proteins. The most parsimonious explanation is that proteins(likely incapable of true replication by themselves) preceded RNA even if an RNA-based system can be designed in theory. I won't make claims of probability of unknown processes but proteins exist that can assemble spare nucleotides and proteins exist that can assemble proteins out of nucleotide chains. All you need is a pair of them to come in the vicinity of each other and wait until RNA comes along that encodes a similar-enough pair.
Building an AI Agent? Don't let it burn your budget
by Saurabh_Kumar_ | 2025-11-27 09:47:43+00:00
I built a free tool that stress-tests your Agent before deployment.

Catch Infinite Loops (Save Costs)

Prevent Data Leaks (Ensure Privacy)

Paste your System Prompt and see how resilient your Agent is: https://agentic-qa-api.onrender.com/docs

How to Use It (The 3-Step Guide) It takes just 30 seconds to verify.

Step 1: Open the Link Go to our Live Dashboard:https://agentic-qa-api.onrender.com/docs

Step 2: Input Your 'Brain' (Prompt) Locate the input box. Paste your AI's System Prompt instruction there. (Example: 'You are a support agent for Gorgias...')

Step 3: Select 'Attack' & Run Choose which risk you want to test for (Cost or Privacy) and hit Execute.

The Magic: Our engine will launch an adversarial attack on your AI. If your AI is safe, it returns 'PASSED'. If it is unsafe, it returns 'BLOCKED' and shows you exactly where the logic failed.