skysight-inc/HackerNews huggingface dataset:
> code the worst-possible solution

This is also a great way to stop procrastinating and start projects.

Relevant quote:

"He who has begun has half done. Dare to be wise; begin!" - Horace
i'm not even remotely 'far more scared' about that. i think you are insufficiently scared about crypto being broken
That's how you monetize attention, digital consumption. If you aren't paying for it, you are the product being sold.
Show HN: FormML – A DSL for building complex web forms
Hi everyone! I wrote a DSL (named Form Modeling Language) for modeling & building complex forms and am glad to share it with you now.

Over the years, I’ve encountered many challenges while building complex forms from scratch—challenges that I believe are common, difficult, and yet often overlooked. These include managing interdependent fields, handling intricate validation rules, and maintain good collaboration between technical and non-technical people. FormML is my attempt to address these pain points.

The project's README goes into more detail, but in short, FormML offers a model-first approach to form development (inspired by Prisma), focusing on ease of use for both developers and non-developers.

Lastly, there is a design question I’d love your input:

FormML has a primitive type called decimal, used for high-precision decimal numbers. Since one of FormML's design principles is to be as readable as possible to non-programmers, I’m considering renaming it to currency. However, currency might feel too narrow and not cover all applications.

What do you think?

- Stick with decimal?

- Switch to currency?

- Support both via aliases?

Looking forward to your thoughts and feedback!
By "relatively recent" I meant in terms of human evolution. We've had it for around 2400 of the last 300,000 years or so. So less than 1% of our species existence.

I used that phrasing to drive home the idea that logic is not some inherent aspect of nature, or even fundamental to the way humans perceive the world.
While it's indeed fascinating, part of me finds the sheer energy expenditure to be problematic, not to mention the "Hollywood is dead" innuendos.
i think you're arguing against a point i never made in any of my comments
It will not be available in the EU for now. I always feel disadvantaged when I read that sentence
Health insurance is mandatory.

Public system has strictly defined coverage and tightly regulated premiums that are explicitly decoupled from individual health conditions and tied to percentage of salary instead. But providers themselves are decentralized and one is free to choose any provider that complies with all the govt requirements. Private providers can and do exist.

In some cases - e.g. self-employment, or income above a certain threshold - one can opt out of the public system and go fully private. Switching back is then only possible if income drops below the threshold. In practice, 90% of the population is in the public system.
It’s not sustainable for anything other than static content generation. Any type of back and forth with LLM is simply too costly.
I think there's a sort of divide-by-zero problem here. Does an empty set of hats have a color? You could arbitrarily define "all my hats are green" for the empty set as either true or false as part of a consistent logical system. There isn't enough information in the question to know whether we should pick one or the other, though there's probably a colloquial preference for true.
I think one of the biggest problems is the models are trained on 2D sequences and don't have any understanding of what they're actually seeing. They see some structure of pixels shift in a frame and learn that some 2D structures should shift in a frame over time. They don't actually understand the images are 2D capture of an event that occurred in four dimensions and the thing that's been imaged is under the influence of unimaged forces.

I saw a Santa dancing video today and the suspension of disbelief was almost instantly dispelled when the cuffs of his jacket moved erratically. The GenAI was trying to get them to sway with arm movements but because it didn't understand why they would sway it just generated a statistical approximation of swaying.

GenAI also definitely doesn't understand 3D structures easily demonstrated by completely incorrect morphological features. Even my dogs understand gravity, if I drop an object they're tracking (food) they know it should hit the ground. They also understand 3D space, if they stand on their back legs they can see over things or get a better perspective.

I've yet to see any GenAI that demonstrates even my dogs' level of understanding the physical world. This leaves their output in the uncanny valley.
Granted all that, but we're not really talking about normal everyday English, but a hypothetical conversation with some mythical entity who can only lie, which is not really a capability of humans; even the most pathological liar among us can and will tell the truth.

So I'd put all that theory in a drawer somewhere and acknowledge that, when we're talking about logic puzzles, the rules of logic are paramount, not grammar.
lnmangione (Luigi Mangione) identified as alleged assassin
Does VPN solves the problem? I'm living in an EU country and I don't like that the EU decides for me (and companies like OpenAI or Meta don't give out their models to me)! I'm an old enough adult to decide for myself what I want...
>> The documentation seems a bit sparse.

We just released a new OpenAPI based documentation for the SeekStorm server REST API: https://seekstorm.apidocumentation.com

For the library we have the standard rust doc: https://docs.rs/seekstorm/latest/seekstorm/
Quite tangential, but it is sort of funny that we’re still doing this nostalgic pixel art thing. I mean, no complaints at all, good pixel art looks nice. But the snes came out a long time ago.

I wonder if we will ever get a nostalgic style that emulates all those flash games. Reasonably high resolution components, but only 10 or so pieces per character. Geometric shapes with gradients.
That limits its value for industries like Hollywood, though, doesn't it? And without that, who exactly is going to pay for this?
Yes I have used it recently. WLED is a joke for anything other than 1-dimensional arrays. It's the way the pixels are addressed and mapped in 2 dimensions that is the problem with WLED. It's especially difficult if your "grid" is anything but an exact square or rectangle, with skipped pixels, or multiple mapped areas, etc. I found it all to be extremely frustrating and a badly designed system. I tried WLED to see what the fuss was all about, and I was not at all impressed. I have my own LED mapping system that works with 1-D, 2-D, and 3-D pixel mapped arrays, with arbitrarily placed pixels being simple to work with. Of course this is not what WLED was designed to do, and it shows. The 2-D mapping in WLED seems like a bolted-on hack.
I'd be careful.

OpenAI could be a big enough bubble in less than 5 years to buy the Oscar winner, even if the film is terrible.

Also, OP only said "an Oscar".

The Oscar committee could easily get themselves hyped enough on the AI bubble, to create an AI Oscar Film award.

No one said anything about making a "good" movie.
Real artists take comic book scripts and turn them into actual comic books every month. They may not match exactly what the writer had in mind, but they are fit for purpose.
After all of this, it's not terribly clear what I'm doing (aside from making escaping only through a one-off function) that's "bad." You mention "a lot of the problems you're producing" but then fail to give a what or why those things are problems.

If there's something specific that you can point me toward, I'll take a look and work on improvements. But honestly, the majority of the above reads like you just want me to feel bad and quit (and again, doesn't provide a clear answer to "what to do instead"). If you can succinctly explain why my approach is bad and offer examples of fixes (in relation to the current design of the component system), I'm all ears.
Nothing I'm seeing here looks like it's going to destroy Hollywood.

I could see this tool maybe being used for generating establishing shots (generate a sweeping drone shot of a lighthouse looking out over a stormy sea), but then the actual talent work in a scene will be way more sensitive. The little details matter so much, and this feels so far from getting all of that right.

Sure, this is the worst it will ever be, things will improve, etc, but if we've learned anything with AI, it's that the last mile is often the hardest.
> I am certain no one at OpenAI actually understands enough of the theory to figure out how to do that

We would love to learn more about the origin of your certainty.
Human beings vary in all kinds of ways, more than we generally expect, right down to the nature of our most fundamental fears and desires. Not everyone wants to have children, in the way that you do, and some people clearly want not to.

I doubt that anyone would prefer gaming to children because they hold gaming in the kind of profound esteem you feel for the task of "raising a literal human child"; more likely, they simply don't feel much of anything about having kids, or perhaps they feel some aversion. It's not hard for even a comparatively trivial activity you enjoy to feel more appealing than an alternative you don't actually desire.
If you are a CEO who is making money on torturing and killing its customers by denying them what they prepaid for, it is going to make you a lot of enemies. Absolute majority won't harm you, but will cheer up that one person who will.
But the question is being presented to humans via language and without any formal logic training.

If it's a formal logic problem it should be presented in formal logic terms (presumably that only those with formal logic training would even understand) so then there is no possibility of language ambiguity.

I'm not trying to be argumentative, but this is just how this come across to me, and I am pretty confident most humans would consider it a lie which I think would count for something given the place and the way in which the question was presented.
I've been following Project Binky, their painstaking restoration/renovation of an old Mini into an AWD rally car, for years. Sometimes, their obsession over doing things their own way, making yet another perfectionist and thoroughly overbuilt (not over-engineered, cost and labor management are not in their vocabulary) custom mechanical bracket is inspiring, but as an EE this just rubbed me the wrong way.

Building a custom PCB by depositing solder on FR4 with a 3D printer hotend is just ridiculous. And if they'd designed the schematic in Kicad instead of drawing the layout by hand with Inkscape, they'd have made far fewer mistakes and needed far less rework. You can get a dirt cheap professional PCB on your doorstep in under a week, and most of that time is in shipping - and if you don't mind spending a bit more for local labor, it can be a couple days. They've already got the CNC for the job too, so alternatively, if they needed really, really quick prototypes, then with a little V-groove bit and some copper-clad FR4 they could have just routed out the design instead of replacing the spindle with the solder hotend. I don't think they needed that turnaround, though, because this project could have been 100% prototyped on a on a test bench with some jumper wires and designed right the first time.

Is that a sort of Gell-Mann amnesia, in that I'm a decent PCB designer but a terrible mechanical engineer and fabricator, and I underestimate the difficulty of the learning curve in my own field, but overlook where they've wasted enormous effort on solved problems with their mechanical designs? Not sure.

Impressive work lads, but entirely unnecessary.
I agree, but that kind of goes to my point:

I believe the vast majority of researchers in quantum computing* spend almost no time on metaphysical speculation,

*Well, those on the "practical side" that thinks about algorithms and engineering quantum systems like the Google Quantum AI team and others. Not the computer science theorists knee-deep in quantum computational complexity proofs nor physics theorists working on foundations of quantum mechanics. But these last two categories are outnumbered by the "practical" side.
Plus editing text or an image is practical. Video editors typically are used to cut and paste video streams - a video editor can't fix a stream of video that gets motion or anatomy wrong.
(2020) https://arxiv.org/abs/2010.11929 : an image is worth 16x16 words transformers for image recognition at scale

(2021) https://arxiv.org/abs/2103.13915 : An Image is Worth 16x16 Words, What is a Video Worth?

(2024) https://arxiv.org/abs/2406.07550 : An Image is Worth 32 Tokens for Reconstruction and Generation
According to this link Food and Beverage ads are already prohibited on YouTube kids. I don't know if this is a US specific policy but I presume its similar elsewhere.

https://support.google.com/youtube/answer/6168681?hl=en#zipp...
Perhaps your legal department is ignoring the US CLOUD act?
I think the puzzle is better if the person "only speaks falsehoods" than if they "always lie" - depending on context, a true statement can be a lie.
IIUC, using your function with an empty set in SPSS or SAS will result in a NULL value, which is neither True nor False (NPI).

Do you know the truth tables that include NULL? I don't off-hand, but I seem to remember that combining NULL with a True or False results in NULL, which is why I catch my NULLs before they become operands in my operations.

ANDing or ORing the lack of values in the empty-set is always specified by someone's semantics. You're just determining those semantics as a by-product of the way ANDs and ORs are calculated.

This is why the reality of "All my hats are green" has a great deal of real-world ambiguity when there are no hats, because "Color( NULL[-hat] )" is NULL. Now, how you interpret NULL in that case is up to you, because NULL is neither True nor False, in my experience and understanding.

I am open to learning, tho.

ETA: Wouldn't your method also mean that the liar saying "All my hats are not green" would also be true? And, I'm no mathematician, but if "All my hats are green" and "All my hats are not green" both eval to True, I think something has gone very wrong. That looks like why the NULL value is so useful in SQL and stats.
> Then in something like 2015 that all started to break.

Interesting. For me it just always worked, and continues to do so, so I have zero reason to tell all my releatives to stop using it.

Some relatives are on Whatsapp so I unfortunately have to use that as well. I also use Viber as a backup comms channel with part of the family as well , as sometimes that's the only thing that works.

> Eventually we gave up on it for work

Right, I haven't used it at work for a long time. We did use it at some point, but video calls on it with multiple people were just horrible... which is why Zoom took over everyone else as it just worked and everything else, including Slack, did not work almost at all.

I was just saying that, for family calls, Skype for me has been great and I guess your impression of it is outdated. It's a pretty good tool and I would laugh at anyone that thinks otherwise just to be mean back at them :D.
I've found that synching on Android is very reliable when setup properly.
I've found that synchthing on Android is very reliable when setup properly.
First learn about eigenvalues.
OpenAI is a masterclass in pissing off paying customers.

I'm just about ready to cancel my ChatGPT subscription and move fully over to Claude because OpenAI has spit in my face one too many times.

I'm tired of announcements of things being available only to find out "No, they aren't" or "It's rolling out slowly" where "slowly" can mean days, weeks, or month (no exaggeration).

I'm tired of shit like this:

Sign ups are temporarily unavailable
We’re currently experiencing heavy traffic and have temporarily disabled sign ups. We’re working to
get them back up shortly so check back soon.

Sign up? I'm already signed up, I've had a paid account for a year now or so.

> We’re releasing it today as a standalone product at Sora.com to ChatGPT Plus and Pro users.

No you aren't, you might be rolling it out (see above for what that means) but it's not released, I'm a ChatGPT Plus user and I can't use it.
Thank you (and teMPOral) for these comments, this sounds potentially useful to me.

I hate to ask this, but I'm struggling to find any thorough posts or articles or papers about this, do you have any links you could point me toward?
This is the classic 'slippery slope' fallacy where you rationalize that doing nothing is better than doing something.
I kind of disagree

1) “All my hats are green”

2) We assume that “always lies” means that (1) is false.

3) If the liar has at least one hat that is not green satisfies (2)

4) If the liar doesn’t have any hats also satisfies (2)
Thanks for reply! I thought that this S3 table would be something other than Databricks or Snowflake.
Re: AI, it's a long way off still. The big limitation to anything quantum is always going to be decoherence and t-time [0]. To do anything with ML, you'll need whole circuit (more complex than shor's) just to initialize the data on the quantum device; the algorithms to do this are complex (exponential) [1]. So, you have to run a very expensive data-initialization circuit, and only then can you start to run your ML circuit. All of this needs to be done within the machine's t-time limit. If you exceed that limit, then the measured state of a qubit will have more to do with outside-world interactions than interactions with your quantum gates.

Google's willow chip has t-times of about 60-100mu.s. That's not an impressive figure -- in 2022, IBM announced their Eagle chip with t-times of around 400mu.s [2]. Google's angle here would be the error correction (EC).

The following portion from Google's announcement seems most important:

> With 105 qubits, Willow now has best-in-class performance across the two system benchmarks discussed above: quantum error correction and random circuit sampling. Such algorithmic benchmarks are the best way to measure overall chip performance. Other more specific performance metrics are also important; for example, our T1 times, which measure how long qubits can retain an excitation — the key quantum computational resource — are now approaching 100 µs (microseconds). This is an impressive ~5x improvement over our previous generation of chips.

Again, as they lead with, their focus here is on error correction. I'm not sure how their results compare to competitors, but it sounds like they consider that to be the biggest win of the project. The RCS metric is interesting, but RCS has no (known) practical applications (though it is a common benchmark). Their T-times are an improvement over older Google chips, but not industry-leading.

I'm curious if EC can mitigate the sub-par decoherence times.

[0]: https://www.science.org/doi/abs/10.1126/science.270.5242.163...

[1]: https://dl.acm.org/doi/abs/10.5555/3511065.3511068

[2]: https://www.ibm.com/quantum/blog/eagle-quantum-processor-per...
The day that 90 minutes of 3-second dolly shots wins an Oscar is the day cinema dies.
Is there information when it will be available in other countries, like Germany for example?
Any reason to share this from a dedicated account on top of the submission from your personal account? Has been submitted a few times now.

- https://news.ycombinator.com/item?id=41612288

- https://news.ycombinator.com/item?id=41724668

- https://news.ycombinator.com/item?id=41539800

- https://news.ycombinator.com/item?id=42116989
It just plain isn't possible if you mean a prompt the size of what most people have been using lately, in the couple hundred character range. By sheer information theory, the number of possible interpretations of "a zoom in on a happy dog catching a frisbee" means that you can not match a particular clip out of the set with just that much text. You will need vastly more content; information about the breed, information about the frisbee, information about the background, information about timing, information about framing, information about lighting, and so on and so forth. Right now the AIs can't do that, which is to say, even if you sit there and type a prompt containing all that information, it is going to be forced to ignore most of the result. Under the hood, with the way the text is turned into vector embeddings, it's fairly questionable whether you'd agree that it can even represent such a thing.

This isn't a matter of human-level AI or superhuman-level AI; it's just straight up impossible. If you want the information to match, it has to be provided. If it isn't there, an AI can fill in the gaps with "something" that will make the scene work, but expecting it to fill in the gaps the way you "want" even though you gave it no indication of what that is is expecting literal magic.

Long term, you'll never have a coherent movie produced by stringing together a series of textual snippets because, again, that's just impossible. Some sort of long-form "write me a horror movie staring a precocious 22-year old elf in a far-future Ganymede colony with a message about the importance of friendship" AI that generates a coherent movie of many scenes will have to be doing a lot of some sort of internal communication in an internal language to hold the result together between scenes, because what it takes to hold stuff coherent between scenes is an amount of English text not entirely dissimilar in size from the underlying representation itself. You might as well skip the English middleman and go straight to an embedding not constrained by a human language mapping.
Aircatcher
The amount of cubits required for a practical application of shors algorithm to break modern encryption is known and it's around 2500 qubits

Willow has 100
Bubbleness isn't about the viewpoint, it is about the difference between bubble perception vs global perception.

If you read reddit/twitter, a common statement was something like "The police will never be able to find him - no one will cooperate". "Must be hard to find someone when there are 150million suspects". Basically, treating him like a modern day robin hood.

When, back in real life, the news of the day seems to be that he was caught at a McDonalds after two random employees noticed him and called the police on him.
I wonder what the language adds? I suppose it's one more layer of convolution and cuts off the "what would the other gods answer" kinda things.
I'll remind you of the quote that started this thread:

"Do quantum computing folks really think that we are borrowing capacity from other universes for these calculations?"

In this context, your opinion and Deutsch's opinion don't matter. The question is about whether the idea is common in the field or not.
Meta.

I used Claude to summarize this piece about how LLMs will transform organizational knowledge management.

Instead of parsing through his meandering prose style, I got the AI to extract his core arguments into clear bullet points.

The trade-off was perfect: we lost the author's rich examples and voice but gained immediate clarity.

Unknowingly, I'd just demonstrated his thesis about how LLMs will become essential tools for managing information complexity.

This was also written by AI.