skysight-inc/HackerNews huggingface dataset:
Whenever I try to do this, the most I get is that the two images touch. The cats in the example are holding paws, but they never overlap. I've been trying to make this work since the old magic images from the 90s, but I've never managed it. I wonder if there isn a hardware limitation related to my eye configuration.
This site won't load for me, that in itself strongly suggests it was built on Ruby on Rails.
Thank you for saying that. I get low-level irritated at the constant background murmur that success means that you had to screw someone over at some point.
Yeah I'm hoping it comes like that to all markets.
Where I live, there are a lot of roundabouts that I would make turn signals on the wheel a nightmare to use properly
I think it's remarkable how the goalposts have shifted.

For an AI model to be "a big deal", apparently we need to be able to give it a hard problem in an arbitrary field, one that humans have not yet solved[1], and have it spit out a good solution.

[1] At least, I think that's your intent. I am not a laser expert so I don't have a sense of where your challenge lies on a scale from "known but only to experts" to "major research project, may turn out to be impossible".

I very much agree that an AI system that could do that would be a big deal. An AI that could do that would be a world-changing deal. But it's pretty startling if everything short of that is not "a big deal" now, no?
> I believe this specific set of options relies on (BTRFS) file system snapshots for performance. It's possible that you can get it to work on non-BTRFS systems by providing another combination of command line variables, but the default setting is to copy the file system tree to a temporary path.

You can use overlayfs + chroot.
Well, by having a hand, and having a pen in it
Yours is a very weak analogy:

Illusionism typically involves a tacit agreement between the the parties involved where one knows they are being manipulated and has asked to be.

Advertising typically does not involve that consent. Most people would rather not be exposed to it.
Google search? Use the HN search on site here: https://hn.algolia.com/?q=https%3A%2F%2Fbrooker.co.za%2Fblog...
I see red, green, and a bit of yellow. I assume the yellow is what happens when the red and green pixels come too close to each other.
From what I hear Costco is also changing after their new CEO took over and the stock skyrocketed.
Correct.

> Seems like another one of those relativity related paradoxes. Only fast-moving observers (relative to the CMB) are seeing constant pair production from the CMB photons?

Both observers agree about pair production.

Pair production obeys conservation of momentum and energy — although the equations allow both to be conserved with two photons interacting, the practical effect here is CMB photons interacting with the spaceship hull: the observer in the CMB-rest-frame will see very low energy photons doing this with a high-velocity hull, and the spaceship frame will see very high energy photons doing this with a stationary (to them) hull.

That said, I'm told that accelerating observers can, during the acceleration, disagree about what particles exist around them: https://en.wikipedia.org/wiki/Unruh_effect

(Hmm, and now I'm wondering if the Unruh effect is really as described — if different quantum fields contribute at different rates, or have cut-offs at different scales, that would automatically also create something that, if you squint, will look a bit like an approximation of MOND… sadly, this is beyond my competence at this time).
If you want to play with version 0.335 (I assume), you can head to https://archive.org/details/mac_MacBASIC.335
That is a pretty breathtaking example of ivory tower thinking if there ever was one. I really just don't know what else I can say about that kind of proposal.
Do you mind sharing those 12 prompts?
At the least, contacts. Possibly local notes too.

If someone likes their layout, perhaps the config of their launcher.
His "deepest" questions have well know answers.

The US had decades of low interest rates, dollar hegemony and no large power challenger. So its easy to get away with lot of excess. Until you can't.
Benjamin Franklin by Van Doren is a really in depth biography which I enjoyed. It basically tells how he was going absolutely gangbuster for 75 years
I've always loved ruby. Sinatra was my jam long ago but after awhile it felt like just remaking Rails when I could just Rails. Then datamapper project went defunct and needing to use ActiveRecord if I didn't want manually do sql seemed even more like I should just use Rails.
Of these, the only thing I would like is automatic volume control, and HW only versions have existed for a long time.

Auto-brightness - I put in a lot of effort in setting the brightness/contrast, and would really not want some SW messing it up.

Voice control - couldn't care less (and yes, I do own voice assistants and use them).
In the article, I did not see anything about mental illness or addicts. How did FI solve for those people?

Both groups have people who want to be homeless, so they can be left alone.
If you are a fan of history, Conquistador: Hernan Cortes, King Montezuma, and the Last Stand of the Aztecs by Buddy Levy is a fantastic read.

Prior to reading this book, I naively assumed Cortes waltzed into Meso America and took over, this is a well sourced historical account of everything that happened that led to the fall of Tenochtitlan.
While I like frameworks like Rails and Django, Golang with AI makes me very productive. Especially because of how Golang codebases don't use too many dependencies so an LLM never recommends code that has an old dependency or mismatched version...

I'm just curious, how well does Ruby integrate with AI tools?
"Skunk Works: A Personal Memoir of My Years at Lockheed"
by Ben R. Rich and Leo Janos.

Details, among other things, the engineering challenges faced during the development of the F-117 Nighthawk and the SR-71 Blackbird.
That seems like not the same thing though, right? You're not doing a diff on two images, you're just losing resolution so you can direct more attention to movement.
> if 2^512 calculations costs you $8 then (2^512)^2 calculations costs you $64

This and the stuff they've been writing about suggest that we are observing a mind that used to know things, but suffered some serious damages/degrade over time. That's always so sad.
Ah yes, the bird-inspired ... nose propeller.
As a member of an ethnic group that has almost disappeared through assimilation, I regret the loss of culture (much as not even reached my generation) but had no wish to marry within the group. I just want to pass on a few good things (like the bits I am familiar with of our cuisine).
>Yes, the measurements are the same.

By the logic two unknown (null) measurements are the same regardless of the actual value which I agree with.
OpenTofu 1.9.0 is out with provider for_each
Hey folks, OpenTofu Tech Lead here!

We just pushed our latest release with some pretty massive features that have been long requested!

Provider for_each allows significant de-duplication of providers and modules.

We also added the `-exclude` flag as the inverse of `-target` which the community has been waiting a long time for.

This is in addition to many other features and bug fixes. I hope you give it at try!
There is a much stronger connection between Battle Royale and Hunger Games, than Squid Game. Very similar government depiction, the announcement of deaths etc. Moreover, we should appreciate Battle Royale even more - because it was done waaay before any prior art existed.
From what I understand, the sqlite3 comment was made it context of the Solid libraries. Basically common Redis-backed functionality can now be sqlite3-backed instead.

I do share your preference on using Postgres as the main database. Having that as the main db with sqlite3 used for auxiliary functionality sounds great.
Forget about anonymous data; sometimes PII is not sold, it's just given away by staff who don't know better. See my comment here from my own experience: https://news.ycombinator.com/item?id=17183682
Ask HN: Ten days into 2025, how are you doing?
People prone to experiencing anger more likely to believe in conspiracy theories
I agree that they are not publicly owned or managed decently, but regardless these are the large publicly available communications platforms that people use these days, in massive numbers. Therefore repressing speech here causes a violation of free speech. That is what's important. "But they are run like shit and against the user's interests" Doesn't somehow justify even more repression.

In a sense, what these companies invested into is capturing the public square, capturing speech, because controlling it allows profitable advert injection, manipulation and generic power. But their awful motives don't mean they were unsuccessful. They were, they have the public square now.
It’s not all or nothing!

I work on a very “product-y” back end that isn’t fully specified, but I have formally specified parts of it.

For instance, I property-based-tested a particularly nasty state machine I wrote to ensure that, no matter what kind of crazy input I called an endpoint with, the underlying state machine never made any invalid transitions. None of the code around the state machine has a formal spec, but because the state machine does, I was able to specify it.

In the process, I found some very subtle bugs I’d have never caught via traditional unit testing.
Yeah but how does the "law department" gain money? The question I asked is "what's in it for them?"
>if it was really that helpful, more people would be applying it and the benefits would speak for themselves. They've been around a long, long time, though, and never caught on - it's hard not to conclude that there's probably a reason.

My impression is that there are actually not that many business domains where a large investment in time and money to get domain logic correctness from 98% to 99.99% correct is actually called for.

Formal methods are a large investment, too. No two ways around it.

Also, while they havent really caught on in general, some of their ideas have made it into modern type systems.
Ask HN: Who are your favorite digital designers?
I actually love doing this, and then having ChatGPT alternatively criticize and support it preferentially leaning towards established fields. I.e. "This thing you've said is a deeply researched and discussed topic named X". Thanks for sharing.
I dont have data but I’d assume that wallet size is correlated to brain size
Sosci – a super-realistic software oscilloscope [video]
Engineering Troubleshooting 101: Possibility Spaces and Proxies
A chance to bring up one of my favorite quotes from grad school: “the probability of any given number being rational is 0.”¹

⸻

1. This result follows from the fact that |ℚ|/|ℝ| = 0.
I work at Hack Club on our fiscal sponsorship team and wanted to clarify something: each fiscally sponsored organization has its own account, with funds stored and represented separately on the HCB platform.

You can check out some of these nonprofits and their transparent finances at this link: https://hackclub.com/fiscal-sponsorship/directory/
I think you're still not doing it quite right. The effect is really quite obvious and pronounced.
Metcal inductive irons are so much better then resistive, use one once and you will understand.

I pugged my Metcal into a power meter the other day. The instant you the tip touches copper, the power jumps from ~4W to ~40W. The power goes back down as soon as the solder melts.

If you can not find good deal on a Metcal, JBC irons are ok. Probably 80% as good soldering experience and often have a better (shorter) handpiece.
It really seems quite sophisticated. Line numbers were a way to cope with lacking editors of early BASIC, as well as a reasonable way to express jump targets. It was natural to drop them once full-screen source editors became mainstream.

What Microsoft did was unconscionable.
That's a very shallow assessment of Automattic's business, which has over half a billion in revenue and much of it not from WordPress. You also assume that investor pressure could drive company decisions, which is ridiculous given I vote 84% of the stock. Automattic has infinite runway, we're not a startup stumbling from funding round to funding round.
I'd somewhat disagree. the ease of access to a piece of information is an influential parameter in how dangerous it is. most people, even nowadays, cannot program and would be extremely nervous running something from the command line. if access to a piece of information is behind a barrier like that, then you can reasonably say that the risk has been reduced somewhat, can you not?
Websites crashing under unusually high load typically has more to do with a lack of caching or undersized db than choice of backend.
Controversial, but worth considering. I believe societies have different capacities for assimilation (changing immigrants) and appropriation (changing themselves), with the hallmark of any era's great societies being their ability to maximise both.

That said, the evidence is mixed [1], with fairness and economic inequality [2][3] seeming to matter more than racial homogeneity. (Lots of tiny, racially-homogenous societies–high trust or not–bordering each other also have a one-way historical track record.)

[1] https://journals.sagepub.com/doi/abs/10.1177/000169931772161...

[2] https://www.jstor.org/stable/23324182

[3] https://pmc.ncbi.nlm.nih.gov/articles/PMC7454994/
This reply is amazing because it's like people from totally different universes trying to communicate.

The sort of people playing Bubble Bobble in the 80s on C64s would almost certainly have been doing so from tape, more than likely pirated. The NES was not really on the radar of these people at all.

I heard of C64 piracy operations in northern europe where the local radio station would play C64 games for recording on sunday afternoons. That's how pervasive it was.
GMX Phishing Page is being used since months without action from the company
Just watched the series on youtube based on your recommendation. Thanks, i enjoyed it!
Bjarne Stroustrup's List of Applications Written in C++
What are you talking about?

A pretty common interaction is:

Me: Can I have a coke?

Waiter: Is pepsi okay?

Me: That's fine

Waiter: brings a Pepsi

It seems that the above commentor doesn't have this exchange but instead silently substitutes.
When auto stereograms were all the rage in the late 80's I had a program on my Mac Plus that let me make/edit them and I used to edit for hours WHILE looking at them in 3D. Then one time I was walking down a hallway with a repetitive wallpaper pattern, my eyes did the thing, the entire hallway appeared to shift in front of me, and I stumbled and fell. Still to this day my eyes will sometimes automatically snap into 'alternate' focus when viewing a repetitive pattern.
>I am talking more abstractly, about a system and how it works. You're talking more specifically about one of the states of such system.

Wao...such smart! Thank you for the mansplain!

>Maybe some day you'll get mine.

This made me barf in my mouth a little.
I also thought this!
"compose relational queries dynamically"

That's an important one. It would be super nice to have a SQL dialect that works more like LINQ where you can compose your queries easily. I always hate it when I have to write SQL directly. It's super powerful but the syntax just isn't designed well. To me it feels like a throwback to the good old FORTRAN or COBOL days: you can get stuff done but modern languages are so much better.
The US chooses not to end homelessness. We have the highest GDP in the world. We could end it if we wanted to.

I was in Japan recently. A choice was made there as well.
That's how I interpreted it, yes.
This has been my experience as well. Rails can do a lot, but it also allows you to develop junk. Most sites built in Ruby end up in the latter category, especially if built by a team that doesn’t use basic software architecture patterns.
I would guess a majority of developers use formal methods these days. We just tend to call them type systems, and for some reason consider them a distinct category. If simulations count as formal methods, then tests, and particularly property-based testing, also make the cut.
> Their imaginations were definitely encourage by exponentialism, but in fact all they knew was that when the went from smallish to largish networks following the architectural diagram above, the performance got much better. So the inherent reasoning was that if more made things better then more more would make things more better. Alas for them it appears that this is probably not the case.

I recommend reading Richard Hamming's "The Art of Science and Engineering." Early in the book he presents a simple model of knowledge growth that always leads to an s-curve. The trouble is that on the left, an s-curve looks exponential. We still don't know where we are on the curve with any of the technologies. It is very possible we've already passed the exponential growth phase with some of these technologies. If so, we will need new technologies to move forward to the next s curve.
He absolutely becomes that person by the end, but it's unclear whether it would have happened were it not for mountainous medical expenses for treatment.
I have always looked at Rails with love, but since I mainly build heavy client side SPA apps behind a login it has never been a good choice for me.
I've always found it really funny that Bjarne Stroustrup keeps this list of applications written in C++.

It reminds me of this Onion article, "Obama's Aunt Sends Him Article Mentioning United States."[0]

[0] https://theonion.com/obamas-aunt-sends-him-article-mentionin...
It wasn’t true when he wrote the first post. Maybe he updated it.
It was an expensive home computer, but it was not targeted at businesses and was always a personal productivity tool.

If you are rich enough, any computer that the DoD doesn't find too interesting can be your home computer.
but the leader of fascist Italy was an atheist, which suggests the endorsement of the Catholic Church was not entirely sincere. Its possible that Mussolini was not entirely honest in his public behaviour.
As someone that spent quite a bit of time with table-transformers, I would definitely not recommend it. It was one of the first libraries we added for parsing tables into our chunking library [1] and the results were very underwhelming. This was a while back and at this point, it's just so much easier to use an LLM end to end for parsing docs (Gemini Flash can parse 20k pages per dollar) and I'm wary of any approach that stitches together different models.

[1] https://github.com/Filimoa/open-parse/
As a kid, I got a Magic Eye book and learned to see it by crossing my eyes (ie, focusing in front of the screen). I thought it was pretty interesting when I realized that I was seeing all the images inverted ("peaks" were "valleys" and vice versa) due to the way I was focusing. Alas, I never was able to see the images "correctly".
C has a really solid community and (imo) the best online content of any programming language. It’s the Python Effect but in reverse now: every Python video on YouTube is now clickbait about elementary pandas functions while C videos are made by extremely talented programmers (Tsoding, Jonas Birch).
The lightweight formal methods callout is a good one. Maintaining a suite of proptest[1] strategies alongside the codebase is not a very much larger investment than writing unit tests by hand, but the insights they provide due to extensive coverage and compact understandable failure cases are way better. And crucially this approach does align with normal software development practices.

[1] https://crates.io/crates/proptest
It works great with AI tools. Checkout the LangChain or Boxcars gem.
Errm, history is full of bad leaders who were elected by people and by democratic means. I won’t start a list here, but their effects on our world is pretty profound.

So, being elected is by no means an indicator of any sort.
It started because WP Engine was abusing the WordPress and WooCommerce trademarks in a way that was confusing to customers around the world.
The main application I have to work with now ended up, for various reasons, as a Rails API with a Vue client.

The Rails part has been easy to maintain and adapt to users' frequent changes, the main issues being feature requests for very complicated queries which then end up being slow. Vue has taken up a lot of time with the migration from 2 -> 3 (still not finished).
This is a great point. I often ask LLMs which coding language they are most proficient in, and Python is the most typical response. This has makes me want to write more Python.
IMO UML is useless because whatever diagram gets produced means different things to different people and it's very complex but not check-able so people can make UML diagrams that are self contradictory or nonsense.

I find myself using a "method" of some kind when faced with a problem that's hard to think about. A communications protocol - nice to have a state machine to describe it for example. TLA obviously fits that niche even better. I've been lucky enough not to have too many problems recently that felt like they justified that effort but it's of incredible value when one does. Domain Specific Languages - so much better to use a parser framework than hand-code if you want to avoid all sorts of undesirable outcomes.

Currently most of my rework comes from changes to the requirements and our "customers" not really knowing what they want till we give them something and they say "not that."

This is partly because the people asking for things don't fully think out all the implications of what they're asking. It's mostly about not having enough knowledge in one place to make good decisions on.
1) You love the Ruby programming language.

2) It's battle-tested. Tried and true. Batteries included. Can have a web app with most functionality needed running in minutes.

3) There are more reasons, but there are other good options as well. No reason to use Rails if you're not interested in Ruby.
> The literal definition distinct is

Irrelevant. What matters is the meaning in the context of SQL.

> weird and inconsistent and a waste of time. For all the language bugs due to the existence of null

There are necessary, semantic cases that need to be dealt with. How else would you do it?

Also, it's really weird to use "bugs" to refer to well defined and well documented behavior.
I think there is something to this idea. There have been cases where person A was working on proving a result but struggled, then person B announced a proof of the result, and then person A was inspired to finish their proof. (Sadly, I don't remember the specifics.)
Malware detection prevents Docker Desktop to start on macOS
This is a typical setup for lots of folks. This is the average home theater.
Maybe, but the US hasn't been around long enough to get the really gnarly sectarian feuds going I suppose. Give it time. If there's one thing humans are good at its breaking social structures in favor of petty tribalism.
Sure. But this isn't because of embrittlement, it's because of other issues: lower round trip efficiency than batteries, difficulty of storing hydrogen in a vehicle, and the cost of fuel cells.
Does it really take any more time to secure a VPS than a docker container on a custom runtime for a hobby project? Either way you still have to run software and OS updates.
It appears that the IP of the server is blocked in the EU. I get this from my ISP (Ziggo, in the Netherlands):

Deze website is geblokkeerd

Europese sancties

De Raad van Europa heeft besloten dat de websites van RT (voorheen Russia Today) en Sputnik News niet meer mogen worden doorgegeven. De website die je probeert te bezoeken, valt onder deze Europese sanctie.

VodafoneZiggo is verplicht de sanctie uit te voeren en heeft de website geblokkeerd.