MurphyA/hacker-news huggingface dataset:
by Suppafly | 2025-04-22 16:43:03+00:00
>I guess I’d be happier with a more programmable thermostat that I could set to behave like an old school dial thermostat.

I honestly prefer the older type. Ours is programable, but we just don't program it and always just set it to the temp we want. If we are feeling a little chilly on a cold day, we'll bump it up a degree, or down a degree when it's particularly sunny and everyone is feeling warm.
by 999900000999 | 2025-04-22 16:43:05+00:00
Hosting it on an actual server with a URL is not a fun experience. You need to generate a specific type of string to get it to work.

This isn't documented anywhere. Deep deep in their GitHub issues you'll find a script for generating this magic string which needs to be set as an environment variable.

See https://github.com/supabase/supabase/issues/17164#issuecomme...
by lo_zamoyski | 2025-04-22 16:43:36+00:00
To add/refine: Bruno didn't incur his punishment because of "weird ideas" or because he was a crackpot, specifically, much less for believing in heliocentrism [0][1].

[0] https://www.newadvent.org/cathen/03016a.htm

[1] https://www.catholic.com/magazine/print-edition/how-fact-bec...
by Xcelerate | 2025-04-22 16:45:04+00:00
Another weird one related to Gödel’s theorems is Löb’s theorem: given a sound formal system F and a sentence s, if F proves that “if s is provable in F, then s,” then F also proves s. That is:

F ⊢ (Prov_F(“s”) → s) → s

Which is strange because you might think that proving “if s is provable, then s” would be possible regardless of whether s is actually provable. But Löb’s theorem shows that such self-referential statements can only be proven when s itself is already provable.
by freeAgent | 2025-04-22 16:45:28+00:00
The thing is, that more professional market would never make the mistake of putting SMR drives in a RAID array anyway and they are also (I hope) good enough at doing their own research to filter out reviews from uneducated retail consumers. So, again, we’re left with trying to find a justification for this move other than Synology’s profits.

And when this issue happened with WD drives, I don’t remember a backlash against Synology at all. WD, on the other hand, deserved and received plenty of blame.
by sombragris | 2025-04-22 16:45:46+00:00
Agreed. And the worst part is that you could use a (well designed) menubar with a keyboard by using the Alt-key combinations together with cursor key menu navigation and similar techniques. But you don't have that luxury in hamburger menus. You are forced to use a pointing device such as the mouse, or if you are lucky, a completely non-standard key combination to bring it down. Awful.
by atmavatar | 2025-04-22 16:45:53+00:00
Arguably a bigger cheat is that if you have enough wealth tied up in stocks, you can realize capital gains for the sake of taking out loans to live off of without having to realize the gains for the sake of taxes. Then, you can pass those investments onto your inheritors with a stepped-up cost basis so they don't have to pay tax on the gains, either.
by chneu | 2025-04-22 16:46:17+00:00
America loves corporate welfare while hating on individual welfare.

If a business fails we have no problem bailing them out. It isn't the businesses fault. It's the current economic situation.

If an individual fails then they made mistakes and failed to pull themselves up by their bootstraps.

I'm being a bit hyperbolic but really, America loves corporate welfare.

Look at the south: they'll sell themselves down the river for 20 oil refinery jobs but the second someone needs food stamps they're a loser.

A lil bit of it is also the "not yet a millionaire" mentality that a lot of Americans have. They believe that one day they'll also be rich so we shouldn't punish the rich, it may be them one day.
by ryao | 2025-04-22 16:46:54+00:00
That was my thought. Somehow Ford managed to use one to improve its manufacturing process by having it solve a scheduling problem in 5 minutes that previously took an hour:

https://www.dwavequantum.com/company/newsroom/press-release/...

The news is light on technical details. Beyond that, I have no clue about useful applications.
by Suppafly | 2025-04-22 16:47:01+00:00
>Otherwise, this doesn't make sense from a physics standpoint. A temporarily lower temperature differential means less kWh of heat lost.

This topic comes up anytime thermostats and heating are mentioned. The physics arguments only makes sense if you don't care about comfort. Most people would rather optimize for comfort with some energy/cost savings if possible and the physics folks seem to not care about comfort at all.
by hoseyor | 2025-04-22 16:47:01+00:00
I’m assuming that’s the fully burdened rate, i.e., salary, benefits, taxes, overhead, profit, etc that employees never see, even though they should.

I remember getting a sheet from an employer early in my career that fully broke down the cost of benefits and taxes and showed me the full cost of just my employment, not including overhead, profit, etc. it was rather eye opening because although I kid of knew it from accounting and finance, it never really impacted me quite as much before seeing the numbers.
by laladrik | 2025-04-22 16:47:10+00:00
Hello, I've been playing with Zig the last couple of months. The navigation between document symbols in Neovim is a bit complicated the document has symbols with the same name. I improved it adding the path to every symbol. For example you have two structures:

const App = struct { fn init() @This() { return .{} } }; const Connection = struct { fn init() @This() { return .{} } };

You get the following items in the navigation list:

App::init Connection::init

Essentially, it's a configuration of Telescope and Nvim-Treesitter. You can take the file from here https://laladrik.xyz/zig_document_symbols.lua. However, if you curious about the process of creating a custom Telescope menu and inspection of the source code with Tree-sitter, checkout the entire article.

Also, while I working on it, I found that LuaJIT 2.1 compares strings as fast as integers. Eventually, I did a little research about it and published the results here https://laladrik.xyz/blog/luaStringComparison/
by tptacek | 2025-04-22 16:47:52+00:00
As a "real engineer" you'd likely use LLMs differently. I save my conversations, have chats and codebase exegesis summarized into .txt files, and constantly refactor LLM output. I have an increasingly reliable sense of when to dip in and write things myself and when to let the LLM rip. My LLM-assisted code is better than my hand-written code; how could it not be? I'd have to be committing raw LLM output without even reading it to end up somewhere worse. If I did that, how much of a "real engineer" would I be?

All this is to say: even if all progress on AI halted today, it would remain the case that, after the Internet, LLMs are the most impactful thing to happen to software development in my career. It would be weird if companies like Supabase weren't thinking about them in their product plans.
by jerf | 2025-04-22 16:48:34+00:00
I can't help but think the "surprise examination paradox" rests too much in English equivocation for it to be a properly logical paradox. In particular, the fact that "surprise" changes over time, and the fact that if I've logically deduced that it is "impossible" for the test to occur on the last day then it is ipso facto a surprise if it happens then.

Sit down and make the argument really rigorous as to the definition of "surprise" and the fuzz disappears. You can get several different results from doing so, and that's really another way of saying the original problem is inadequately specified and not really a logical conundrum. As "logical conundrums" go, equivocation is endlessly fascinating to humans, it seems, but any conundrum that can be solved merely by being more careful, up to merely a normal level of mathematical rigor, isn't logically interesting.
by cab11150904 | 2025-04-22 16:49:48+00:00
I think the real "vibe coders" in the end will be people like me. Making neat little personal projects that don't use many resources and can be relatively insecure because they don't matter much. I made wannawatchsomething.com with no knowledge of how it works and full knowledge that it's insecure and dumb. It still does what I want and I couldn't have done it a year ago so it's a net win.
by mike_hearn | 2025-04-22 16:50:38+00:00
Google's obfuscating VM based anti-bot system (BotGuard) was very effective. Source: I wrote it. We used it to completely wipe out numerous botnets that were abusing Google's products e.g. posting spam, clickfraud, phishing campaigns. BotGuard is still deployed on basically every Google product and they later did similar systems for Android and iOS, so I guess it continues to work well.

AFAIK Google was the first to use VM based obfuscation in JavaScript. Nobody was using this technique at the time for anti-spam so I was inspired primarily by the work Nate Lawson did on BluRay.

What most people didn't realize back then is that if you can force your adversary to run a full blown web browser there are numerous tricks to detect that the browser is being automated. When BotGuard was new most of those tricks were specific to Internet Explorer, none were already known (I had to discover them myself) and I never found any evidence that any of them were rediscovered outside of Google. The original bag of tricks is obsolete now of course, nobody is using Internet Explorer anymore. I don't know what it does these days.

The VM isn't merely about protecting the tricks, though. That's useful but not the main reason for it. The main reason is to make it easier to generate random encrypted programs for the VM, and thus harder to write a static analysis. If you can't write a static analysis for the program supplied by your adversary you're forced to actually execute it and therefore can't write a "safe" bot. If the program changes in ways that are designed to detect your bot, done well there's no good way to detect this and bring the botnet to a safe halt because you don't know what the program is actually doing at the semantic level. Therefore the generated programs can detect your bot and then report back to the server what it found, triggering delayed IP/account/phone number bans. It's very expensive for abusers to go through these bans but because they have to blindly execute the generated programs they can't easily reduce the risk. Once the profit margin shrinks below the margin from abusing a different website, they leave and you win.
by 999900000999 | 2025-04-22 16:50:38+00:00
For my current project I basically need a backend server for processing some basic game logic.

I had done something similar in Firebase and it was easy. Supabase wasn't straightforward here. It got to a point where I'm sure I could eventually get it working, but I also think I'm outside the expected usecase.

Django is much more flexibility in this regard.
by calebtv | 2025-04-22 16:50:39+00:00
Yeah Terraform does have some sharp edges, but we chose it because it's the most widely used IaC language and lets you review any changes the agent wants to make before actually applying them in your cloud. One issue with an agent making click-ops changes is there's little to no visibility into what actually changed other than going through the console to verify it yourself. Terraform also lets you do more static checks like cost estimates and policy enforcement before deploying the changes.
by peytoncsmith | 2025-04-22 16:50:43+00:00
Large Language Models (LLMs) have revolutionized many industries by replacing the need to Google for answers. However, for cybersecurity workloads where current information is critical for accurate analysis, outdated LLM training data often results in hallucinations and incorrect answers. How can we build trust with LLMs for cyber security questions?

In this blog, we'll explore why Retrieval-Augmented Generation (RAG) is essential to augment LLMs with current threat information. I'll overview popular data retrieval techniques used by foundation model providers and why combining LLMs with RAG is the future of agentic cybersecurity analysis.
by cosmic_cheese | 2025-04-22 16:50:47+00:00
Even on mobile, in most situations there are better UX choices than hamburger menus. Nearly every app using them I’ve encountered has put as little thought into navigation and UI hierarchy as possible and are awkward to get around in. They’re the ones where one has to go down a winding ever-changing maze to access the desired functionality.

Most would be better served by surfacing the most commonly used screens as tabs and most commonly used functions within those tabs. Ideally 2-4 taps is all it should take to get anywhere, and there should only ever be a tiny handful of niche things that take 5+ taps to access.
by MyPasswordSucks | 2025-04-22 16:50:57+00:00
> Touch-screen interfaces today are anything but "perfectly designed".

I don't disagree.

However, a mouse will always be more versatile than a touchscreen. There's a finite theoretical ceiling for touchscreens that's well underneath that of mice. Even looking beyond the completely-obvious fact that there's no real way to distinguish between "point" and "drag" on a touchscreen (other than "did this start on a draggable element", which is far from ideal), two fingers and a thumb can readily control five separate buttons plus a scrollwheel, and I can add even more buttons to a mouse.

I can't add more fingers for touchscreens.
by quickthrowman | 2025-04-22 16:51:05+00:00
> I could not have been more wrong. After spending a few hours of understanding the setups that "experts" have recommended, I figured out edge cases where they would be either wasteful or uncomfortable (meaning: unnecessary and inavoidable temperature overshoots or undershoots, etc.). I had many-many rounds with Honeywell, Tado, Siemens, etc. and every single one of them had _major_ issues.

Temperature hysteresis is unavoidable with a conventional thermostat, but you can reduce it with PID controllers. Most commercial building automation systems use PID controllers extensively.

My guess is that the residential options from Honeywell, JCI, Siemens, Trane, Carrier, etc are focused more on one-size-fits-all applications, whereas commercial BAS systems are more or less bespoke designs for a specific building (using commodity sensors and controllers). I work with all five of the aforementioned companies on building automation projects, FWIW.
Show HN: I built a Ruby gem that handles memoization with a ttl
by hp_hovercraft84 | 2025-04-22 16:51:24+00:00
I built a Ruby gem for memoization with TTL + LRU cache. It’s thread-safe, and has been helpful in my own apps. Would love to get some feedback: https://github.com/mishalzaman/memo_ttl
by amluto | 2025-04-22 16:52:19+00:00
> I guess sorting 150 million integers in 70ms shouldn't be surprising.

I find sorting 150M integers at all to be surprising. The query asks for finding the top 3 elements and returning those elements, sorted. This can be done trivially by keeping the best three found so far and scanning the list. This should operate at nearly the speed of memory and use effectively zero additional storage. I don’t know whether Clickhouse does this optimization, but I didn’t see it mentioned.

Generically, one can find the kth best of n elements in time O(n):

https://en.m.wikipedia.org/wiki/Selection_algorithm

And one can scan again to find the top k, plus some extra if the kth best wasn’t unique, but that issue is manageable and, I think, adds at most a factor of 2 overhead if one is careful (collect up to k elements that compare equal to the kth best and collect up to k that are better than it). Total complexity is O(n) if you don’t need the result sorted or O(n + k log k) if you do.

If you’re not allowed to mutate the input (which probably applies to Clickhouse-style massive streaming reads), you can collect the top k in a separate data structure, and straightforward implementations are O(n log k). I wouldn’t be surprised if using a fancy heap or taking advantage of the data being integers with smallish numbers of bits does better, but I haven’t tried to find a solution or disprove the existence of one.
by chneu | 2025-04-22 16:52:49+00:00
I'm an American and don't tip very often anymore. I've talked to folks who work at restaurants and this is pretty common. I also used to work in food service(8ish years).

If a place makes me bus my own table or use qr code ordering, I'm probably not tipping anymore.

I don't tip on pickup orders either. This is definitely becoming more common in the US.
by Jimmc414 | 2025-04-22 16:53:07+00:00
You should read the entire article.

the mice weren't "nice" because the trauma and fear from laboratory experiences had conditioned them to be wary of human interaction and have a preference for their own species on top of a lack of understanding from humans what behaviors mice actually find comfortable or meaningful.

Only after prolonged, patient interaction, especially with the last mouse, Spokie, did the author experience genuine, reciprocal communication and bonding
by carlosjobim | 2025-04-22 16:53:50+00:00
You added nothing to the discussion. Your mental state is that you are a member of a mob who are out to squash anybody who thinks differently, and that gives you an illusion of having power. But in reality you don't know any of the people here, and the only power we have as commenters online is to exchange thoughts and ideas.

As for the real world, there is a large variety of tariff policies around the world, and most countries implement much harsher tariffs than what Mr Trump is suggesting for America. There are many very good arguments for tariffs and against tariffs, let's talk about them instead?
by JohnFen | 2025-04-22 16:54:18+00:00
> how often were you looking at your phone during that meal?

Never. I also consider it extremely rude when people I'm dining with do this. It's even more irritating than those horrible table kiosks.

Fortunately, at least with my friends, that's not a thing that really happens much. Phones stay in pockets where they belong, generally speaking.
by s3p | 2025-04-22 16:55:09+00:00
I wish I did. They collect a pervasive amount of data from all customers, not just the ones who pay for the connected service (like remote lock/unlock from an app). So the car keeps its internet connection no matter what unfortunately.

One thing I looked into was removing the modem from the head unit. They store the cell modems in the head units (radio), so if you can find a tutorial for your specific car you could pull it out one day and completely unplug the cell modem. That's the only thing I've found to be able to stop the tracking & data collection. Issue with that is dealers and people on the GM forums think you're insane for wanting to do this. A dying percent of us care about privacy anymore, it's sad
by bregma | 2025-04-22 16:56:09+00:00
Back in the 1980s I was taking a foundational computer science course in which we derived Goedel's result using Cantor diagonalization. Excellent course. We were watching the TV version of Hitchhiker's Guide to the Galaxy at the time, too. One day I had the realization that since any recursively enumerable function could be interpreted as a computer program (given the right interpreter), that the sweater I was wearing was in fact possibly a computer program, and that all knitting (and some crocheting) was in fact just a manifestation of code in another language.

I then went on to realize any enumerable set could be similarly interpreted, including the entire countable population of Earth. And we already had the answer (42), but what was the question?
by rightbyte | 2025-04-22 16:56:27+00:00
Maybe one could spam fraudulent frauds to drown the real ones.

"Artificial intelligence will make internet fraud even more dangerous"

Not really. But old filters, like effort needed to target me, wont be enough.

My concern is when my voice will be used to beg my parents for money. I could preemptively try to fake scam them and claim I didn't do the call...
by whstl | 2025-04-22 16:56:34+00:00
PostgREST is open source, and so is the rest of Supabase.

Migrating from it is not that hard so far. I did it on an afternoon for a customer.

Also a couple friends are running the open source version in their own containers.

Maybe there are (or will be) cloud only features, but for the basic service there isn’t as much lock-in as something like AWS.
by sleepyguy | 2025-04-22 16:56:38+00:00
I don't think there is a country in the world that doesn't understand it will never be able to depend on the USA for security or trade. It s not just that they elected Trump because we know that is temporary but the fact that they could elect another someone like Trump is a persistent threat.

As an American I encourage every country to decouple, and as I understand every country is working on it. Mark Carney of Canada said it best, it will never be the same, ever no matter what the future is because trust that has lasted 90 years has been broken. Canada will never have the same relationship with the USA.
by xp84 | 2025-04-22 16:56:40+00:00
> Perhaps the AI will explain where baby's come from in graphic detail before the parent is ready to have that conversation or something similar?

I mean, that's not a silly fear. But perhaps you don't have any children? "Typical parental censorship" doesn't mean prudish pearl-clutching.

I have an autistic child who already struggles to be appropriate with things like personal space and boundaries -- giving him an early "birds and bees talk" could at minimum result in him doing and saying things that could cause severe trauma to his peers. And while he uses less self-control than a typical kid, even "completely normal" kids shouldn't be robbed of their innocence and forced to confront every adult subject until they're mature enough to handle it. There's a reason why content ratings exist.

Explaining difficult subjects to children, such as the Holocaust, sexual assault, etc. is very difficult to do in a way that doesn't leave them scarred, fearful, or worse, end up warping their own moral development so that they identify with the bad actors.
by whalesalad | 2025-04-22 16:57:15+00:00
So odd. The dupe detector usually works really well. 9 times out of 10 when I submit a story, it already exists, and I just get redirected there. I rely on it actually, knowing that I can submit things freely and they will either get collapsed into the existing one, or start a new story. This time it did not work? URLs are the same. Sometimes people dupe the dupe detector with an arbitrary query string ... but in this case they are truly identical. Odd.
Anyone scaling ArgoCD across multiple clusters?
by DeborahEmeni_ | 2025-04-22 16:57:59+00:00
I’ve been using ArgoCD with GitHub Actions for GitOps, and it worked well in the beginning. But once I started managing multiple clusters, it got more complicated:

- Syncs slowed down

- Had to spin up separate ArgoCD instances

- CI/CD felt disconnected from the GitOps flow

Would like to hear how others have approached GitOps at scale. Did you stick with Argo and layer on tooling? Or move to something like Flux or a custom setup? Any lessons learned are welcome.
by carlosjobim | 2025-04-22 16:58:04+00:00
That begs the question why electricity is cheaper in many countries which have the highest tariffs in the world?

My original questions were of course rhetorical, shining a light on the matter that neither the US nor any country in the world lives only on imported goods.

Since the economy, trade, and production is completely interconnected in a modern, industrialized world, then any changes in policy will have widespread effects. Including good effects.