skysight-inc/HackerNews huggingface dataset:
Show HN: We collected detailed annotations for text-to-image generation
Recently, the most popular modality text-to-image annotations has been preference data, where annotators usually choose between two images two indicate their favorite. While this does work to fine-tune models, it lacks additional information about what might be wrong with the images. E.g., what part of the image is misaligned relative to the prompt.
Google research propose a modality for more information rich annotations (https://arxiv.org/abs/2312.10240).
Based on this, we produced this dataset of ~13k images. We collected in total ~1.5 million annotations from 150k annotators using our annotation API. If you are interested you can learn more about the API at https://docs.rapidata.ai/

Let me know if you have any questions about the dataset or Rapidata in general!
3DBenchy Starts Enforcing Its No Derivatives License
There are many types of success.

Tech has often been associated with novel success. That is success by inventing or perfecting a previously underrated, underestimated or wholly invented technology.

This isn’t the only type though.

There is success through persistence. In the long run, 95% of businesses fail. Simply running a component operation that outlasts competitors in a proven market can take you very far. It’s harder than it looks. Likewise this gets little traction on most media

Then there is success by accident. The one that gets most traction in media is businesses that have some flash in the pan unexpected success. These seem to be a traditional combination of luck and persistence. Along these same lines are businesses that come to fruition during a time in which they can succeed, like TikTok and the pandemic.
I am open to ideas, criticism advices...What can I improve on?
My laptop(s)'s harddrive(s). I assume any failure in my past laptops harddrives will be recoverable with FutureTec(TM) similar to the frozen human heads assuming they will live again with FutureTec(TM)'s revolutionary technology.

edit. but seriously I tear apart all my computing devices and retain the harddrive because
Ironic that they literally undermined their case before they even got to the article.

Look at the hero image at the top of the page. I know what you're thinking: "cultures are so intermingled that I can't tell if this is the Netherlands, China, or Congo."
Formal verification of software, as the article acknowledges, relies heavily on the type of software and the development process.

To use formal verification you need to have formal requirements of the behavior of your software. Most software projects and design philosophies are simply incompatible with this.

In software development and design can often fall together, but that means that it is uniquely ill suited for formal methods. If you are developing, before you are sure what you even want, then formal methods do not apply.

But I agree that there are certain areas, mostly smaller, safety critical, systems, which rely on upfront specifications, which can heavily benefit from formal verification. E.g. Aerospace software relies heavily on verification.
Show HN: Next gen AI workout planner and logger
Hey HN! Excited to share my new App.

I built hitt.ai to solve the common gym challenges we all face: planning effective workouts, tracking progress, and knowing when to adjust our routines.

What makes hitt.ai different? It's built with AI-first capabilities at its core. Think of it as having a personal trainer in your pocket who creates workout plans, reviews your performance, and discusses anything fitness-related – just like a human trainer would. The best part? It's 50x cheaper than a human personal trainer and available 24/7 (because let's face it, AIs don't need protein shakes or rest days ).

Key features:

- AI-powered workout planning that adapts to your goals and progress
- Smart logging system that remembers your exercises and patterns
- Personalized recommendations based on your performance
- Detailed progress tracking and analytics
- Chat with your AI trainer about any fitness topic, anytime

The app is now live
Download from App Store - https://apps.apple.com/in/app/hitt-ai-ai-personal-trainer/id...

For Android Join this google group - https://groups.google.com/g/hittaiapptesters
And then download the app by joining app testers - https://play.google.com/apps/testing/com.hitt

I'd love to hear your thoughts and feedback! I'm actively developing new features and your input would help shape the app's future.
I didn’t understand this. What is it about the gamma factor that will cause the cosmic microwave background to evaporate you?
60M K-12 Students Compromised in Data Breach
Fall of Carthage by Adrian Goldsworthy

Few people understand the Punic wars and what it took to “delete” Carthage from the world. Delenda Cartago Est.

Goldsworthy tells the story accessibly from both sides of the wars. Lessons that echo throughout history.

More of a biography but still fits your criteria is The Wright Brothers by David McCullough. It’s an easy read and hard to put down. I had no idea what it took to make flying a thing until that book. We definitely take for granted how much those two men changed the world.
Have Aliens Landed Yet?
Framing it as an "idiots vs not idiots" is the wrong way to think about it.

When you are working with the PTO you know you are working with the PTO. You are standing next to the tractor. The PTO should always be handled with the understanding that it can be dangerous. Here people are doing something mundane, everyday and not dangerous (shutting down their own laptop) and suddenly it becomes dangerous because they mixed up the terminal they typed their command in.

It is as if sometimes your alarm clock would be replaced with a PTO. Your alarm beeps, you reach out to turn it off as always and bam your hand is gone. That is the situation we are talking about here.

> I think because we have internalized an owner/management point of view that workers are fungible and training is a waste

This is not something you can train out of people. Your best trained, and most skillful operator can do this mixup. This is not that someone doesn't know what "sudo shutdown -h now" does. They do very much know it. Like the palm of their hand. What they don't notice is that they are typing it into the wrong terminal.
I use my main laptop and backup periodically to an external drive or Google Drive depending on what it is I'm storing.
Reminds me of the (so called) engineering teams I’ve worked with at high profile startups who dealt primarily with their software based on “code smell”. It was amazing. If you accomplished something that didn’t make your boss look smarter than you then it was a bad “code smell”.
Logic be damned
> I suppose most of the contestants in the shows are in debt because of gambling or overtly irresponsible decisions

It's depressing that we're still stuck framing gambling as "irresponsible decisions" as online gambling becomes more and more ubiquitous and deliberately drives addiction.
Doing Windows, Part 6: Look and Feel the Digital Antiquarian
Drone collides with firefighting aircraft over Palisades fire, FAA says
Highly recommend Apollo by Blythe Cox and Murray. Tremendous engineering history of the Apollo program, and really makes you appreciate the numerous folks and terrific stories that all had to come together to make it happen.
In proofs in math, there is the old: "Elegance is directly proportional to what you can see in it and inversely proportional to the effort it takes to see it."
I reject the implicit assumption that Zuckerberg has an ethical duty to reduce indirect harm from hosting content, and I also reject the implicit assumption that ethical calculations ("balancing" harm) are a meaningful way to reason about ethics. I think both of these assumptions are ethically problematic. The only reason Zuckerberg apologized to parents is because other people would have punished him had he not, which does not imply sound ethics or that he agrees with what he said.

I also think normalizing an infrastructure whose sole purpose is to suppress speech is ethically problematic. Rights are rarely expanded once taken.

You're right that people post abhorrent stuff on such sites, but I prefer approaches like filters over suppression. I also think that if reducing indirect harm is important to certain people (like reducing suicide), then there are known effective ways that don't require coercive power, like the public campaigns against smoking and MADD which have both had significant impacts.
Mondragon in Spain is an example imo
Why is it so hard for the BBC to call a neonazi for what she is?
I find the The Jim Collins books to be insightful.

Good to Great.
Built to Last, etc.

Focuses on how the organizations are constructed and tries to divine principles that are true across time.
I was really good at the random dot stereograms. This is a really cool recasting of that skillset.
The first commit to the Ruby Glimmer project (2008-11-25 is the earliest I found) long predates the first commit to even Ember itself (2011-04-30).
It's curious how you use such a big temperature range. I've never used a pinecil despite having friends telling me very good things about it, which picked my interest a bit.

Can you tell us what exactly do you solder at 320ºC and what is the exact type of solder you use and/or Pb and Sn percentages?

Also, is your pinecil calibrated? And which tips do you use at that temperature?

Anecdotally, what usually happens to me at lower temps is the tip and/or the solder wire sticking a bit while I'm soldering which I take as a sign that the liquid solder won't flow correctly and that I have to spend more time giving it heat from tip, than I should.
Dammit!

I can't uncross, now!

https://www.youtube.com/watch?v=qaz2hxZLycY
+1

Fantastic book. Particularly the impact it had on the vietnam war, and the role the battles between rail + trucking played in driving containers.
I'm not sure this works if you have astigmatism
They say that but in my experience, automation leads to more work. If AI does lead to cost savings and improved business, they will have additional demand and need more people though the type of workers they have may change.

And if everyone is dumping employees then we'll have a recession and everyone will blame it on AI and start hiring new talent to pivot for shareholders.
I probably could, but I'm 99% sure it's a thinly veiled self promotion, as is usual from him.
de-clickbaited:
to spot minor differences between two images, view them like stereograms
Computable numbers are those that are described by computable functions. Irrationals like pi can be described by computable functions that take a precision as input.
“West with the Night”, a memoir by Beryl Markham; she was the first person to fly across the Atlantic Ocean from east to west in a non-stop solo flight.
> China is rapidly decarbonizing, India is right behind, it is the US you have to convince to move faster (coal plants are rapidly on their way out, but US consumers prefer ICE pickups over EVs, and LNG exports must be prevented and substitutes found [carbon footprint determined to be substantially higher than coal]).

IDK, does not look that way:

https://climateactiontracker.org/countries/china/
https://climateactiontracker.org/countries/india/
https://climateactiontracker.org/countries/usa/
https://climateactiontracker.org/countries/eu/

At best China will stay the same, India will increase emissions, meanwhile both US and EU emissions will significantly drop.
> I suppose most of the contestants in the shows are in debt because of gambling or overtly irresponsible decisions, but it would be more interesting IMO if the contestants were in debt from student loans, credit cards with 25% interest rates, medical debt, and so on.

Student loan and medical debt don't have the kind of ticking clock that the issues in Squid Game (whether its payments on debt to gangsters, anticipated costs without which a loved on won’t get medical care, or whatever) have.
Beautiful rendition! Loved moving around my country and seeing all the different names.
I presume they mean Han unification[0], which to an uneducated outsider sure sounds like a fuckup. I wonder if it's possible to fix it inside Unicode without throwing the rest of it away. Reserve new blocks for all the needed graphemes and deprecate the unified ones?

[0] https://en.wikipedia.org/wiki/Han_unification
That’s just not true dude. Most professional adults try to resolve things amicably before immediately getting lawyers involved.
This affects nearly 75% of K-12 students in USA.
Why is that odd? People like to watch shows about a topic but don't necessarily want to take action in the real world about issues depicted therein.
Perhaps the major purpose of the "home computer" (like RSTS/E on the PDP-11) was teaching people to program with BASIC. BASIC was also a way to develop applications, which was something you want on a "business" computer.
Thanks, I couldn't find it via Google search on this website for some reason.
https://news.ycombinator.com/item?id=10220080

Here's a conversation on HN about it. Mosh uses an initial SSH connection to establish a session, and I located elsewhere that the communication thereafter is handled via AES-128 encrypted UDP traffic. The server process itself seems to only live the life of the session, and doesn't require escalated permissions.

I can't imagine enterprise or government adding it to their stacks, but for connecting to personal stuff doesn't really seem like a big risk.
Tune In: The Beatles: All These Years by Mark Lewisohn. I picked it up as a Beatles fan, but it actually reads more like "how did the Beatles happen" - a social history of the times, the factors that led to each of their development as artists, and their iterative development into the group that we know as The Beatles. Put another way, it's a deep dive into the four founders of one of the most successful artistic organizations of all time and their search for product-market fit. This is also part 1 of 3, ending when they finally achieve PMF, releasing their first number one record.
Do you see yourself using this? Even though you can just record with your existing camera app in your phone and store in your gallery?
You still authenticate and kick off the Mosh session via SSH, so it shouldn't be any worse than plain SSH.

> Mosh doesn't listen on network ports or authenticate users. The mosh client logs in to the server via SSH, and users present the same credentials (e.g., password, public key) as before. Then Mosh runs the mosh-server remotely and connects to it over UDP.
CISPA is really interesting, I was just reading this on their site the other day - They're developing grey box coverage based fuzzing tools for PHP web applications, which is how I know about them in the first place. Definitely one of those entities to look out for in serious cybersecurity research going into 2025
Thank you! I didn't mean to imply that it was because of the tracing JIT; rather, I meant to say explicitly that it was not because of the tracing JIT.
My family comes from a village in Belgium where the 12th panzerdivision SS committed mass murder, I therefore don't glorify these people, thank you. But you have to recognize what your modern comfort has to do with these people, and lower your morale standards accordingly. I'll help you: we are bad persons with low standards and a high, unjustified, self esteem.
I don't remember where I read that and was not able to find it again.
There is a web/desktop app (like zoom) that install a font when you install the app, and the web app check if this font is install to trigger the open in app popup.
That's fun, it worked for me as well. I could spot the difference in all images, including the 'impossible mode'.
Two years ago I worked for a sw company where we had to post RUST tutorials on the Internet.

for me, one of the main concerns was that any rust code I post on the Internet, has to be validated by the rust compiler before I publish it,

I was using artificial intelligence at the time I think it must have been early February 2023 or maybe March 2023, at the time, the large Language models were not as good as they are today, so we actually spent the time with my boss to actually sit down and write an automatic-validator rust tutorial programmer.

It takes as an input an idea for a rust tutorial, it writes the computer program, and then it automatically validates the computer program against the compiler.

and if there is a ERROR it will automatically try and fix the Rust Error, and then (and only then) when everything is validated and executed successfully then we can say we have a finished Rust tutorial.

so, what this means is that the artificial intelligence will not kill the internet, because there are (probably) many people like me (actually plenty of people like me) that actually care about the readers and will validate everything they publish.

I also understand that there is a lot of people that will not validate and I think this is sad and there is not a lot we can do about it right now.

the only thing that comes to my mind is to write a program that will automatically try to validate tutorial so that you can save time.

But the main point i'm trying to make is not that "I made a thing", not the main point at all, the trying to make is that "people care about other people", people care about their readers, and people will continue to make efforts to validate what they publish on the internet.

so dear reader from the internet please do not worry, instead I will suggest you focus your efforts on the automation of the validation of information generated by the artificial intelligence, and the creation of oracles that validate the results of the AI.

I hope this idea will be met with optimism rather than pessimism.

I hope I sincerely hope that this idea will be met with a wider adoption, if anybody is interested in discussing this for their feel free to message me at dataf8L@gmail.com
> So, I figure it's not that I hang out with rude people, the problem must be me.

No, it's other people, not you. Most people are self-absorbed jerks who only love the sound of their own voice. The only reason they are not listening to you is because your are "low" (in one sense or another) in the social hierarchy of people around you. Being good-looking, well-dressed, rich, slim, or athletic helps...
The IAC discovers a planetary nebula that destroyed its solar system
Yes I should have rather written “an absence of data”. But still not “unknown”.
Ah, thanks for explaining. :)
Ah. The "You will own nothing and be happy" folks.
I personally wouldn’t pay $19 a month for this when I can call AI myself to make images.
Another high-quality source that I had never heard of but can now add to my RSS feed! Thank you!
Personal financial stress. The company may be fine. Maybe the boss is even well paid but he's a gambling addict or something.
If you have red-green blindness like me try this:

- Right-click the image and select "Inspect".

- Add a new CSS hue-rotate filter to the element:

element {
max-width: 100%;
margin: 0 auto;
filter: hue-rotate(-90deg);
}

Usually I use "filter: saturate(100);", but that didn't really work well for this image. You might have to adjust the rotation degree though, -90 worked best for me.
> You've never heard of Breaking Bad?

Breaking Bad does not feature medical debt, or even medical costs that fhe character does not have ready access to funds to pay.

It does feature hubris, the traditional central feature of tragedy, though.
Who's been doing this since they we're maybe 7 years old :)
Neat. If this isn't working for you, try on mobile. It's easier if the images are small.
Congrats Andy for consistently shipping! He has been working on this and perfecting it for years.
For some reason when attempting this my neck starts cramping
Who's been doing this since they were maybe 7 years old :)
https://github.com/microsoft/table-transformer

This is much lighter weight and more reliable than vllm
I don't think you have any real choice but to draw it where the members of each culture think it belongs.

You can, I suppose, bite the bullet and say that policing the lines between cultures is fundamentally illegitimate. But even people like the author who talk a good game about opposing "racialist worldviews" are usually not willing to go that far. Many cultures across the world - Frisians, Sami, Inuit, etc. - depend on that policing to survive and would quickly be assimilated and cease to exist if they decided it was wrong.
How much do you think it's worth? Also, if you use AI, there isn't an easy way to add that image to your product. Right?
Finland's zero homeless strategy (2021)
I curious how it determines if a person is alive or not

I checked two promiment figures in my region, one who is very much alive and another who's certianly dead, for both it said "probably yes".

I checked the Wikidata entries for both, and one had no death info (as they're alive), while the other had all of the info (cause, location, etc.)
What I really want is a way to get a read only root shell. I do a lot of work on a "traditional" multi-user unix host, where hundreds of scientists share a powerful computer. I often need to become root to look at files. I want to be able to do that without the ability to screw anything up.
CES 2025: Arduino Partners with Axelera to Deliver On-Device Machine Learning
Both work equally well if you just want to spot differences. Cross-eyed view is somewhat easier to do, since people naturally cross their eyes when looking at something close to their face, but there is no natural reason for one’s eyes to diverge. But cross-eyed view also gives a subjectively smaller image, and is also not the usual way autostereograms are made to be seen.
Yeah the 3 valued logic of SQL trips people up, me too from time to time
How Taiwan is preparing for conflict with China
Only capability type can have fields containing other (concrete) capability types.

If Canvas contains NodeSystem, then Canvas must be a capability type itself.
Never said it was
the final boss will be the first big lawsuit against a manufacturer for liability after someone is killed by a driverless car

Of course, then we will eventually see infrastructure become even more hostile to non-drivers and people will have to sue their own governments for the right to exist in public without paying transport companies. Strong Towns tried to warn us
I've built a DSL engine on top of CUE + Go's text/template [1]. This largely becomes feeding data into a set of templates, and even this can be hard to debug because template engines often lack the extras needed to support it.

I'd be curious to see if a more code based DSL engine has better debug support. I would imagine you would be stepping through both the DSL code and the engine, if it is more dynamic (i.e. there is not a two step process for DSL authoring)

What I like about a text/template engine is that anyone can use it (create new DSLs) without knowing the language the engine is implemented in. CUE appeals to me as the language for writing/using the DSL because (1) I don't have to learn a new syntax per DSL and (2) it becomes data (json/yaml) I can use anywhere for other purposes beyond generating code.

[1] https://github.com/hofstadter-io/hof
> The problem with the latter is that even though you’re claiming to be randomly sampling the _line_ you are never going to sample the first 90% of the line length because you are instead sampling the _distribution of set elements_.

This is all in your head. Who are you responding to? Where did your three claims ("sampling uniformly by distance from 0" / "sampling uniformly by element count" / "randomly sampling the line") come from? What does "sampling uniformly by distance" mean? Uniform sampling is done by count for discrete sets and by area for continua. You have yet to mention a discrete set.