MurphyA/hacker-news huggingface dataset:
by BLKNSLVR | 2025-11-27 14:15:26+00:00
My point is that your example is a one trick pony. An impressive and useful one trick pony, granted.

AGI is currently undefined, so any argument about it is meaningless, unless it's in aid of developing a definition.

An AI that knows how to do laundry, but is unable to perform said task is useless without the ability. But is it AGI with just the knowledge?
by Spooky23 | 2025-11-27 14:16:37+00:00
I did. They told me to go pound it and talk to the GM. I ended up getting 15,000 points.

I probably have ~100 hotel nights a year, that’s only happened once. But the experience is dramatically worse since Covid. They used it as an excuse and then re-baselined the service. Worse product, worse services, higher prices.
by wongarsu | 2025-11-27 14:16:39+00:00
And you still get something pretty apple-like if you use large fillets for anything that follows the layer lines and small chamfers for any corner that doesn't. Maybe not Macbook-like, but certainly Mac-Mini-like. And if that's not good enough there's always the option of spending time with filler and sandpaper. There are few fabrication methods that get perfect looking results without some dedication to post-processing. With UV resin printers you just trade the sanding for washing and curing (a really good trade if you need tiny details, but still)
by networked | 2025-11-27 14:17:26+00:00
> For coding, you can use AI to write your code. For software engineering, you can't.

This is a pretty common sentiment. I think it equates using AI with vibe-coding, having AI write code without human review. I'd suggest amending your rule to this:

> For coding, you can use AI. For software engineering, you can't.

You can use AI in a process compatible with software engineering. Prompt it carefully to generate a draft, then have a human review and rework it as needed before committing. If the AI-written code is poorly architected or redundant, the human can use the same AI to refactor and shape it.

Now, you can say this negates the productivity gains. It will necessarily negate some. My point is that the result is comparable to human-written software (such as it is).
by game_the0ry | 2025-11-27 14:18:10+00:00
I like AI a lot. I try to use to as much as I can. It feels like it is becoming an essential part of making me a more effective human, like the internet or my iphone. I do not see it as a bad thing.

But I can't help but to get "AI tutorial fatigue" from so many posts telling me about how to use AI. Most are garbage, this one is better than most. Its like how javascript developer endlessly post about the newest ui framework or js build tool. This feels a lot like that.
by aunty_helen | 2025-11-27 14:21:00+00:00
People get carried away with their home lab setups. There's a distinct type of person that thinks they need 100tb of storage in their own house.

If you're running a NAS for a company that has many users and multi disc access at the same time, sure. But then you're probably then not buying hdds to shuck and cheap components off ebay.
by myrmidon | 2025-11-27 14:21:38+00:00
I honestly think that the most extreme take that "any output of an LLM falls under all the copyright of all its training data" is not really defensible, especially when contrasted with human learning, and would be curious to hear conflicting opinions.

My view is that copyright in general is a pretty abstract and artificial concept; thus corresponding regulation needs to justifiy itself by being useful, i.e. encouraging and rewarding content creation.

/sidenote: Copyright as-is barely holds up there; I would argue that nobody (not even old established companies) is significantly encouraged or incentivised by potential revenue more than 20 years in the future (much less current copyright durations). The system also leads to bad ressource allocation, with almost all the rewards ending up at a small handful of most successful producers-- this effectively externalizes large portions of the cost of "raising" artists.

I view AI overlap under the same lense-- if current copyright rules would lead to undesirable outcomes (by making all AI training or use illegal/infeasible) then law/interpretation simply has to be changed.
Launch: Rivellium – AI-powered multi-asset investing with real SMB cashflow
by rivellium | 2025-11-27 14:21:57+00:00
Hi HN,

We’re building Rivellium, an AI-powered multi-asset investment platform that gives people access to real-economy yield — specifically from verified SMBs and income-producing companies.

Most investment platforms focus on public markets or crypto. Meanwhile, the majority of real, stable cashflow sits in small and medium businesses. The problem is that this sector is extremely fragmented, opaque, and hard to underwrite. Investors don’t know how to evaluate these companies, and SMBs rarely get efficient access to capital.

What Rivellium does

Uses AI models to analyze SMB financials, cashflow stability, and risk.

Normalizes raw business data (bank transactions, revenue, expenses).

Runs automated verification and compliance checks.

Lets users invest in SMBs and public assets through a unified interface.

Tracks performance with transparent metrics instead of “marketing charts.”

Why we’re building this

We think it should be as easy to invest in a profitable local business as it is to buy an ETF. But for that to work, data needs to be standardized, risks quantified, and the whole process simplified to a few clicks.

Tech stack

Python + FastAPI backend

AI models for time-series cashflow forecasting and risk scoring

Financial data ingestion + normalization layer

Automated KYC/AML pipeline

Multi-asset investment engine (SMBs + public markets)

Link

https://www.rivellium.com

Happy to answer questions or get feedback on the approach, especially from people who have worked in fintech, underwriting, or marketplace design.
by Malic | 2025-11-27 14:22:04+00:00
Long time Space:1999 fan here. I've been thinking about this a lot over the years and I agree with you; the show is best looked at as The Twilight Zone in Space. Well - first season anyway. You REALLY have to pick through the dung of second season to find a few "well, that bit was alright" moments.

I think the show worked best when it was a review of variations of loneliness.

* Dragon's Domain - Tony Cellini is burdened by the loneliness of a demon no one else sees. * Guardian of Piri - John Koenig is surrounded by the best of the best in his senior staff. But under the "spell" of the Guardian, he has disagree with all of them and make some very lonely decisions. * Voyager's Return - Ernst Queller is burdened by the memory of his mistake many years ago with development (and many deaths) of the Queller Drive. And it comes back to haunt him in real life, not just his imagination. * End of Eternity - The alien Balor shows us that immortality could be the ultimate form of loneliness.
by Maxious | 2025-11-27 14:22:12+00:00
> It's not a money-making platform being squeezed to maximize revenue.

This website was actually the only government website allowed to run google ads https://www4.austlii.edu.au/au/journals/AboutHouseMag/2015/1... and it has upsells for weather data https://reg.bom.gov.au/other/charges.shtml https://reg.bom.gov.au/climate/data-services/charges.shtml

Interesting the paid functionality is on the old web stack "We're upgrading our historical data systems to improve their security, stability and resilience. During the upgrade some data will not be available, we aim to restore full access by mid-2026."
by adrian_b | 2025-11-27 14:22:43+00:00
The standardized operations, e.g. multiplication or square root extraction, are precisely defined, i.e. the result is always defined exactly, by the combination of the corresponding operation with real numbers and by the rounding rule that is applied.

IEEE 754 also contains a list of operations that are recommended, but not defined by the standard, such as the exponential function and other functions where it is difficult to round exactly the result.

For the standardized operations, all the possible errors are precisely defined and they must either generate an appropriate exception or produce as result a special value that encodes the kind of error, depending on how the programmer configures the processor.

The standard is perfectly fine. The support of the standard in the popular programming languages is frequently inconvenient or only partial or even absent. For instance it may be impossible to choose to handle the errors by separate exception handlers and it may be impossible to unmask some of the exceptions that are masked by default. Or you may lack the means to control the rounding mode or to choose when to use FMA operations and when to use separate multiplications.

If you enable all the possible exceptions, including that for inexact results, the value of an expression computed with IEEE 754 operations is the same as if it were computed with real numbers, so you do not need to prove anything extra about it.

However this is seldom helpful, because most operations with FP numbers produce inexact results. If you mask only the exception for inexact results, the active rounding rule will be applied after any operation that produces an inexact result.

Then the expression where you replace the real numbers with FP numbers is equivalent with a more complex expression with real numbers that contains rounding operations besides the explicit operations.

Then you have to prove whatever properties are of interest for you when using the more complex expression, which includes rounding operations.

The main advantage of the IEEE 754 standard in comparison with the pathetic way of implementing FP operations before this standard, is that the rounding operations are defined exactly, so you can use them in a formal proof.

Before this standard, most computer makers rounded the results in whatever way happened to be cheaper to implement and there were no guarantees about which will be the result of an operation after rounding, so it was impossible to prove anything about FP expressions computed in such computers.

If you want to prove something about the computation of an expression when more exceptions are masked, not only the inexact result exception, that becomes more complex. When a CPU allows a non-standard handling of the masked exceptions, like flush-to-zero on underflow, that can break any proof.
by Noaidi | 2025-11-27 14:22:49+00:00
> Saying someone lacks imagination and creativity and now reading comprehension is absolutely insulting.

I said: "You’re reading comprehension is failing you right now." The "right now" part menas that I am not saying it does not exist, just that they are not understanding what is written.

Why is it an insult to say someone lacks creativity? It was objectively true to me and it is not an insult, just a truth. Like if someone has red hair. At worst it was my opinion.

You know what an insult is? To take what I said to think that I meant that water turning to ice was life.
by pessimizer | 2025-11-27 14:22:51+00:00
I might be crazy, and I'd love to hear from somebody who knows about this, but I've been assuming that AI companies have been pulling GPL code out of the training material specifically to avoid this.

Corporations have always talked about the virality of GPL, sometimes but not always to the point of exaggeration, you'd think that after getting the proof of concept done the AI companies would be running away at full speed from setting a bomb like that in their goldmine.

Putting in tons of commonly read books and scientific papers is safer, they can just eventually cross-license with the massive conglomerates that own everything. But the GPL is by nature hostile, and has been openly and specifically hostile from the beginning. MIT and Apache, etc. you can just include a fistful of licenses to download, or even come up with architectures that track names to add for attribution-ware. But the GPL will obviously (and legitimately) claim to have relicensed the entire model and maybe all its output (unless they restricted it to LGPL.)

Wouldn't you just pull it out?
Show HN: SceenYou.art-Your Personal AI Visual Studio
by zy5a59 | 2025-11-27 14:22:51+00:00
To be honest: I absolutely hate taking photos. Whenever a camera points at me, I freeze. I don't know where to put my hands, my smile looks fake, and I definitely don't have the time (or patience) to study "10 best poses for men/women" on YouTube. But as an entrepreneur, I know I need good photos—for my LinkedIn profile, for social media content, and just to document life. I realized I wasn't alone. Most of us want great photos but hate the awkward process and the expensive price tag of professional shoots. So, I built SceneYou.art to fix this. It’s designed for people like me who want the result (amazing photos) without the struggle (posing/makeup/travel). What makes it different? - Zero Skill Required: You don't need to learn prompting or complex AI tools. - Just ONE Photo: Upload 1 casual selfie, and that's it. - 1,000+ Templates: We have a massive library. Whether you need a corporate headshot, a gym pic, or a cyberpunk avatar, we have a template for it. - Plus, we are constantly adding new templates and scenes to keep your feed fresh! Give it a try!
Show HN: Alt – A local AI lecture/meeting notetaker
by predict-woo | 2025-11-27 14:23:15+00:00
Most AI notetakers have a 300 minute limit. This is not enough for uni students like me, or people who do remote work.

So, I made a notetaker that runs the ASR model on-device.

- Free with local ASR & LLM models

- No transcription time limit

- High accuracy for non-english speech, support for 100 languages

- Real-time transcription

- Zoom/Google Meet support

- No internet needed

- Efficient battery usage (~6 hours on full charge on my M2 Pro)

This started as a small cli tool I made for myself, then many of my uni friends really liked it, so here it is as an app!

I hope a lot of people can use this in their classes or meetings to help with their work.

During the development process, I also made the fastest streaming ASR pipeline on Apple Silicon. You can see it here: https://github.com/altalt-org/Lightning-SimulWhisper
by qwertox | 2025-11-27 14:23:32+00:00
If you capitalize "West" (the West), it becomes a proper noun and you don't need the quotes anymore.

> market seen as vital, the West either makes up

https://en.wikipedia.org/wiki/Western_world

Other than that, I think China also has a barrier to entry which the West does not have towards China, where companies had to have a Chinese "babysitter" in Western companies having factories in China. If VW wanted to have a factory there, the only way to archive this was to partner with a Chinese company and do 50/50 split, so that VW could not own more than 50% of the factory. While this is no longer valid since 2022, there are now other mechanisms for getting strong control over foreign factories.

In contrast, China can do whatever the German legal system allows them to do in Germany, for example with Kuka. They have the same rights as German or US companies.
by ogrisel | 2025-11-27 14:24:43+00:00
Personally, I do not understand why you think there is a bug from this screen capture alone. Maybe because I am that familiar with penpot and figma, but still, I do not find it obvious.

This is why it's important to describe explicitly the three points in text:

- steps to reproduce;

- what you expected to happen;

- what actual result you observe instead.

Something that might be obvious to you but isn't for others will just be silently ignored most of the time.

EDIT: I now see the problem after reading your other reply above:

https://news.ycombinator.com/item?id=46064757#46069546

This is why it's important to describe explicitly the difference between what you expected and what you observed. I swear I did not see the change in button width before reading the linked comment.
by tyre | 2025-11-27 14:25:38+00:00
Also: March is named after the Roman god of war, Mars.

This is because March is when they would begin to mobilize armies for campaigns. The timing is chosen by when winter wheat will be ready for harvest, so soldiers will have nearby high-calorie foot to pilfer while on campaign.

One tricky part of pre-industrial armying is that you can mostly only bring what food you can carry. Things that carry food (e.g. donkeys) require food themselves. So then you have to bring feed as well, which requires more donkeys… etc.

Instead, they would “forage” local areas. If they got there too soon, there is nothing en masse to take!
by benterix | 2025-11-27 14:25:40+00:00
To have an alternative? So far the work on transformers was done in a large part in the open (except OpenAI which tried to be as closed as possible). There is zero guarantee that whoever discovers the path to AGI decides to publish the paper etc. It's just one of many reasons (a less important one IMO) why research into novel AI approaches is valuable for humanity.
by bear141 | 2025-11-27 14:25:43+00:00
I used to think that therapists were ridiculous. But after having one for six or seven years now, I realize that it’s literally just someone you pay to help you be the happiest and best version of yourself. Maybe everyone doesn’t need that, but I don’t think anyone is inherently always the best version of themselves. What’s the point of not trying to be a little better?
by ttul | 2025-11-27 14:25:48+00:00
This is super cool work. I’ve built some new sampling techniques for flow matching models that encourage the model to take a “second look” by rewinding sampling to a midpoint and then running the clock forward again. This worked really well with diffusion models (pre-DiT models like SDXL) and I was curious whether it would work with flow matching models like Qwen Image. Yes, it does, but the design is different because flow matching models aren’t de-noising pixels so much as they are simply following a vector field at each step like a ship being pushed by the wind.
Show HN: Runprompt – run .prompt files from the command line
by chr15m | 2025-11-27 14:26:35+00:00
I built a single-file Python script that lets you run LLM prompts from the command line with templating, structured outputs, and the ability to chain prompts together.

When I discovered Google's Dotprompt format (frontmatter + Handlebars templates), I realized it was perfect for something I'd been wanting: treating prompts as first-class programs you can pipe together Unix-style. Google uses Dotprompt in Firebase Genkit and I wanted something simpler - just run a .prompt file directly on the command line.

Here's what it looks like:

--- model: anthropic/claude-sonnet-4-20250514 output: format: json schema: sentiment: string, positive/negative/neutral confidence: number, 0-1 score --- Analyze the sentiment of: {{STDIN}}

Running it:

cat reviews.txt | ./runprompt sentiment.prompt | jq '.sentiment'

The things I think are interesting:

* Structured output schemas: Define JSON schemas in the frontmatter using a simple `field: type, description` syntax. The LLM reliably returns valid JSON you can pipe to other tools.

* Prompt chaining: Pipe JSON output from one prompt as template variables into the next. This makes it easy to build multi-step agentic workflows as simple shell pipelines.

* Zero dependencies: It's a single Python file that uses only stdlib. Just curl it down and run it.

* Provider agnostic: Works with Anthropic, OpenAI, Google AI, and OpenRouter (which gives you access to dozens of models through one API key).

You can use it to automate things like extracting structured data from unstructured text, generating reports from logs, and building small agentic workflows without spinning up a whole framework.

Would love your feedback, and PRs are most welcome!
by heelix | 2025-11-27 14:26:54+00:00
When covid hit, my wife showed stroke symptoms - half her face stopped working (bell's palsy). She had an MRI as part of the diagnostic. As part of it, the operator asked her if she wanted to have some music. Yes please, some soft 80's love songs.

"Welcome to the jungle, we got fun and games..."

It was not the calming music she was expecting. She still jokes about it.
by pessimizer | 2025-11-27 14:28:05+00:00
Unless the license says otherwise. The fact that Word doesn't (I wouldn't even be sure if that was true, honestly, especially for the online versions) doesn't mean anything.

They could start selling a version of Word tomorrow that gives them the right to train from everything you type on your entire computer into any program. Or that requires you to relinquish your rights to your writing and to license it back from Microsoft, and to only be able to dispute this through arbitration. They could add a morals clause.
by danaugrs | 2025-11-27 14:28:20+00:00
Author here. Thanks for posting.

I spent several years' worth of weekends working on this, and I'm glad to see it here on Hacker News.

I started working on this problem when I learned about Lamping's algorithm for optimal lambda reduction [1]. He invented a beautiful algorithm (often referred to as his "abstract algorithm"), which uses fan-in and fan-out nodes to reduce lambda terms optimally (with optimal sharing). Unfortunately, in order to make it fully work, some fans needed to duplicate one another while others needed to cancel one another. To determine this correctly Lamping had to extend his abstract algorithm with several delimiter node types and many additional graph reduction rules. These delimiter nodes perform "bookkeeping", making sure the right fan nodes match. I was dissatisfied with the need for these additional nodes and rules. There had to be a better way.

My goal was to try to implement Lamping's abstract algorithm without adding any delimiter nodes, and to do it under the interaction net paradigm to ensure perfect confluence. I tried countless solutions, and finally Delta-Nets was born. Feel free to ask any questions.

I recently started building a programming language on top of Delta-Nets, called Pur (https://pur.dev/).

Feel free to follow along this journey:

https://x.com/danaugrs

https://x.com/purlanguage

[1] https://dl.acm.org/doi/pdf/10.1145/96709.96711
by bradrn | 2025-11-27 14:28:20+00:00
> The analogy of the Talmud to a hypertext isn't especially apt, IMO.

Isn’t it? Every page of the Talmud includes marginal notes (Masoret HaShas, Ein Mishpat, Torah Or) giving cross-references to relevant parts of the Torah, Talmud and other legal codes. In a web-based version I think it would be natural to represent those with hypertext.
by yaky | 2025-11-27 14:28:44+00:00
It's Apple more than developers. Even if an app has an older supported version, you cannot install it outright on older iDevices. You have to "purchase" it first (even if it's free) using old iTunes version or a newer iDevice with the same account, and only then, when you "own" the app, the old iDevice will prompt you to install the older version, if it's supported.