skysight-inc/HackerNews huggingface dataset:
The only reason that I wanted Home Assistant to integrate with MyQ is to close my garage doors after 15 minutes if they were left open. The fact that their app doesn't support this out of the box tells you everything you need to know about the quality of their software.

Sadly I need MyQ to integrate with my Model 3 though. So I'll probably keep it and get ratgdo too (or something similar since my openers are older than Security 2.0) simply so I can close the door if it's left open.
Socialists are a scourge. Source: I'm Spanish.
> It's what happens when a place that was supposed to be free and decentralized has become the exact opposite

This is where you lost me. Wayback machine is a centralized repository.

A decentralized system would not have prevented data loss any better without burdening peers with shit they rightfully don't want to host. Nobody wants the cost of hosting anything but their own, and only their own, content.

The only way you're getting anyone to host things from the past is for there to be an incentive. The only incentive possible is a centralized repository.
It was totally a risky choice for companies in the 1990s and early 2000s to put all their web stuff onto Linux on commodity hardware instead of proprietary Unix or Windows servers. Many did it when their website being up was totally mission critical. Lots did it on huge server farms. It paid off very quickly but it's erasing history to suggest that it didn't require huge amounts of guts, savvy and agility to even attempt it.
The contradiction is between government policies and the society. Government (I am speaking of Germany which I know of, I expect France and Nordics be similar mutatis mutandis) clearly understands that they need immigrants, but the society is inherently nativist (if xenophobic is too strong of a word), and not willing to accept/integrate them.
One of the reasons they do the scan is that they look at both kidneys only take your WORST one
GAS is about simulating skills with resources.

If you want to reach the level of @gilleain you have to obtain the coins he has. Coin collecting is based entirely upon owning resources.

On the other hand let’s say that a guy collecting coins has built a very popular YouTube channel about numismatics. He has his own collection and talks about it. You are envious of his success and you want to become just as popular as him.

A person without GAS would think that in order to achieve this he would have to learn a lot about numismatics and then improve in his ability to speak and entertain.

Someone suffering from GAS would think that acquiring the guy’s collection is the solution and would blame his lack of popularity not on his skills but on his resources
Yes, it's planned! My knowledge on distributing a Linux desktop app is a bit limited, but I plan to add .deb and .rpm releases soon.
I have a friend that makes medieval lutes. He even reproduced one from Skyrim - it sounded bad, apparently, as it was designed to look good, not sound good.

More of a business than a hobby, but still.
YEd – Graph Editor
Maybe, but why do you think he would care?
Yet I never see Japanese people with luggage on trains, whether that be an airport train or the subway. I'm pretty sure everyone takes a taxi or an airport bus when they have luggage.
This works if you read it in Trumps voice.
> register

I have to register an account and send all my commands in bash through some third party service???
I don't think you understand my comment, can you point out where you think I lack understanding?
> 100M monthly active users

> it's failing.

I'm sorry, what?
Kind of obvious for both of them though: evolving two hearts is putting two pumping systems in parallel on the same fluid reservoir. Given how the pump works (evolution can't handle making gears in general), you'd need a precise synchronization system to keep everything working properly - you're basically much more likely to die from the "high availability" system then a very robust single system (and the usual proviso: evolution doesn't need you alive, it needs you to reproduce and the offspring have some decent chance of survival. Percentage survival rates are just fine.)

Same for the brain but I'd say writ large: easier to make an extra human then try and coordinate a redundant brain.
It's fortunate that electric scooters have decent range and the (small) battery can be replaced easily, which matches the common petrol scooters with a canister of fuel at home. The overall tradeoff is much better than with cars.
You gotta check your eyes out then first. Since the introduction of retina displays there’s no reason healthy adjusted eyes will have to feel tired or strained looking at them..
It's also true. But I don't think this is the best analogy to support the idea of "better internet". Also, you can consider that people who prey on vulnerable are maybe also subject to issues. If not then why prey, right?
Look up the Bullet Train pass, unlimited travel on bullet trains and some local train in Tokyo for 2 weeks.
The shinkansen has plenty of space for luggage. The overhead space will hold even a fairly large suitcase, and there are luggage racks and dedicated luggage space behind the rearmost seats. Finally you can just put it in front of your seat as the legroom is insane.

Subway? I'll agree with your there.
Have you looked into Idris2 at all. While looking into these theorum provers, it always felt like they had an impedance mismatch with normal programming.

Idris2 portends to a general purpose language that also has a more advanced type system for the theorum proving.

https://github.com/idris-lang/Idris2
Ah yes, good suggestion. I forget about it.
I have a mini whip antenna that I can place on the roof.
I never understood the thing in the US to call yourselves "Americans", there's a whole continent of Americans.
I don't have near as much experience but things like that indirectly got me my current job. I worried a ton in the past because I almost never finished a project, until the feedback I got from others made me realize how much I learned in the process. I could have done some things in a more time efficient manner but in the end I do it because it's fun, and ultimately "reinventing the wheel" (a phrase I could rant about all day) helped me overcome/replace bad habits.
Before spending that much marketing money, maybe a good step would be to make Threads more available.

Right now, it seems to be blocked in half of the countries in the world. This probably affects the network effects.
At my last company we had a dual use for the term AI.

When we anticipated that a function would eventually be automated by artificial intelligence, we would designate as a task force AI.

Meanwhile, the AI would start out as “actually, interns” until we built up enough operational data to create a training suite. So in our case, AI often meant “Actually Interns”.

Sometimes we contracted a firm in India for mechanical Turk type tasks as well, so it also worked for that.
I take it you missed the part where he shot his mouth off in public about buying Twitter and then got dragged into court and forced to actually buy it.
It isn't (just) a problem of the screen reader.

This is hacking unicode to do things that unicode isn't supposed to try to do.

<List>
<Item> element
....

Tells me that this is a list of things.

Reusing a unicode thing that just happens to look like a dot doesn't give context to the screen reader. It doesn't see a fancy bullet point it sees U184638 'libyan double sigilled C' or what ever.

You're then relying on the hearer to know that U184638 looks like a fancy bullet point.
I agree that collecting is weird, but I also agree with the GP’s general point that one should accept they have a collecting hobby and find contentment in that fact alone. There is a large amount of personal satisfaction to be found by accepting who you are and what you like. So what if other people find it weird?

In all likelihood, you and I find collecting sad and empty because we’re not collectors. Beauty is in the eye of the beholder. For all we know, collectors have found more fulfillment than we will ever know.
Thank you so much for your answer
Im not sure what you are saying. Strikebreakers are not illegal in EU. They aren't anywhere AFAIK, unions workers just dont like scabs.

https://en.wikipedia.org/wiki/Strikebreaker#Europe
Those ones are much easier to answer: they require very good coordination between each other. "Split-brain" is literally a canonical failure mode in the study of distributed systems, for example. (We kind of do have two brains, right, linked by the corpus callosum; there's a reason they're so close together.)
The Gaza situation is circular. Hamas committed and continued to commit atrocities (and has done so for decades). It then uses Israeli retaliation for its own propaganda.

It is currently setting up roadblocks in Gaza to prevent civilians from moving south away from the targeted areas. Their own people are just human shields for their religious insanity.

The facts in this situation couldn't be more clear. There are no two sides here. The Hamas is evil and it is killing Palestinians. Yes, Israel isn't exactly pure of heart. But it's pretty clear that the Hamas must be destroyed for the sake of everyone in the region (including the Palestinians).
I suppose Swedish Tesla workers have the same beneficial stock buying agreement that other countries have. No more of that if they are unionized.
Thanks for the tip about Lucidchart line drawing, will check out how they do it.

What would you imagine as the optimal AI workflow? Iassume it's more complex than just issuing commands like "move AWS-section under Infrastructure"?
Ocaml has "failwith", basically the same as todo. You can pass an message too.
are you sure? Wikipedia describes both as being country code tlds, and both have an official ISO 3166-1 code that matches their domain.
Generally, the expectation is that developers know what bugs have been fixed or can quickly check, so users aren't expected to just constantly retry on whatever today's HEAD is. That takes a lot of their time, and you already know what changes you're making so should be able to determine quickly if a bug was fixed.
Or a way to have automobiles behave like trolley cars during the segment of the journey that makes the most sense.
> Good luck building cars

Tesla doesn't build cars in Sweden. And Sweden accounts for a whopping 3% of Tesla's worldwide sales.
Tesla is not doing anything illegal as far as I understand.

Looks like there is an expectation that Tesla behaves in a certain way in Sweden because "that's way we've always done it" but that's not in law. Tesla is sticking to the law, as far as I understand.

I'm a bit uncomfortable about companies being criticised for sticking to the law.

Of course, if workes and unions disagree they can also use their legal rights to try to force Tesla to reconsider. But if they wanted to make all companies behave in a certain way they they should have put that in law.
> Gear Acquisition Syndrome is tied to compulsive buying and hording, both are recognized illnesses (in ICD-11).

Which is a long way from 'throwing some disposable income at a hobby'.

If your 'gear acquisition' is getting you in debt, or excessively cluttering your home, you may have a problem. But otherwise, if you can afford it, and it's giving you some satisfaction to collect and fiddle with it, then why not?

Spending, say, $25k on hobby gear might seem excessive. But people don't get shamed for spending far more than that replacing/upgrading cars when they've got a perfectly decent one already.

And if you're buying quality gear, whether it's tools or musical instruments/equipment, it's likely to have a lifetime of several decades, it's not like you're buying junk that'll end up on a mountain of e-waste in a couple of years time.
Topological sorting of large networks – A.B Kahn (1962)
In .no the visa application process involves a form where the prospective employer states that we tried and failed to find employees in the country. I've written justification prose for that form. I would be astonished if there isn't a similar form in Sweden.
Biological systems have an incredible plasticity. That same Michael Levin once used his discoveries to make a tadpole with an eye somewhere near the gut. The eye formed correctly and grew a nerve that connected to the spinal cord. The tadpole was able to see out of that eye. It's definitely a non-stock configuration yet it worked. I'm sure it's much more complicated than having 4 arms.
Ah, the classic engineering approach.

When the cows don’t behave, it’s because they aren’t spherical enough.

Good luck with that. It works, to some degree, when you can control all the variables.

Good luck with that approach when you’re dealing with NYC pedestrians, or Midwest winters, or cyclones/hurricanes, or auto rickshaws, etc. etc.
They announced in advance of launch that it would have these issues so not unexpected, guess they knew the issue but no time to add it into the final release yet.
Is the Swedish economy not doing well? Why can't the workers switch to companies that offer better working conditions?
This is very cool, just what i needed actually.

Also your website is very sleek, minimal and your projects are tasteful.
I thought mobile-first web design meant that you start by designing for mobile and then adding features for the bigger screens upward, not to prioritize mobile screens.
Strong disagree.

> The issue is that modern software fails because it's part of a complex system with many moving parts, rather than, it is inherently complex at the source-level.

The choice to run a system as many different moving parts is a decision taken by the team in order to avoid failure.

> Certain sorts of algorithmically complex development -- but that's not most software

It's all software.

> 'Code correctness', including unit testing, ends up being a big misdirection here. What you need is comprehensive end-to-end tests, and instrumentation to identify where failures occur in that end-to-end.

No and no. I have comprehensive end-to-end tests. They take forever, don't fit into RAM (for some services I need to run them on my home PC because my work laptop only has 16GB), and most importantly: they show that the code is not correct. Now I have to change incorrect code to correct code (while not breaking any public interfaces. I wish my predecessors did not put incorrect code into the live system.
It’s been written by (A)ctually (I)nterns since I can remember. Such consistency in unimaginative and bland prose is a feat worthy of a Pulitzer in itself.
Just making up stuff here, but smaller models are great for serverless compute like functions, which would also benefit from lighter computation. Don't forget, some people are dealing with hundreds of millions of documents. Accelerating this by 4x may be worth a small performance hit.
X usage plummets in Musk's first year as owner
I'd say 'MPs have a rather ridiculous manner of tendering their resignations'. Potatoe, potatoe.

Unless someone can share an instance when an MP could not leave the House?
Worth noting that this is expected.

The publisher announced it would have issues that would be fixed later a few weeks before release.
I've decided to start my own business next year cause I don't want to go through all the leetcode bs too.
Also check out Morph Labs, which is working with Lean to create an AI proof assistant. Cool startup by ex-OpenAI folks.

Essentially a strong type system of Lean can help with constrained generation. Thus every token would always lead to some valid (if not correct) proof in Lean, iiuc. Maybe people @ Morph can comment.

https://x.com/morph_labs
In an informal sense disproving things is easier than proving things. For example theorems often say thing like "all objects of type Y have property X", its very difficult to work out even where to start proving such a statement unless you're an expert in Y and X, but to disprove it all you have to do is find some example Y which doesn't have property X. If you've worked with Y things for a while you probably have a bunch of "pet" Y objects you can think of and if someone proves something you kinda automatically check to see what their proof says about the ones you're familiar with.
I remember reading an article about people in poor countries selling a kidney and thereafter being too sick to work as fishermen or whatever. Some charity was trying to discourage poor people from selling body parts as a get-rich-quick scheme.

I'm skeptical this will have little to no impact on quality of life and productivity for the author.
(This is discussed in footnote 2 of the article.)
Because that is what countries do when a part of them rebels and starts doing terror attacks on police.

Please, try to promote Texas independance from USA and see how that goes.
Yep. The best geopolitical starting position in history.

Classic video by a legend we lost far too early- https://youtu.be/ILn85WKo0Qk?si=83X9ptWPH2ZpHsp3
If the US has such an extreme problem with all public spaces, shouldn't that be addressed? No one else has that problem.
Nope: https://atuin.sh/docs
Plenty is not a word I would use. You need a specific reservation to use the luggage areas near the doors, often they are fully booked.

A group of Vietnamese joined my train last week having just got off a flight from Da Nang to Osaka. They didn't have a luggage reservation, they couldn't fit their medium size cases overhead. They had to store it in their legroom for three hours. It looked pretty uncomfortable even for a 5ft3 Viet woman. I have long legs, I ain't doing that.
In the UK a 'scab' is usually a pejorative term for someone who does not strike, which is not the same as a strikebreaker.
Don't think I see much in terms of new content here so to add an anecdote about a deprecation post-dating the OP:

My wife and I created an app using the GCP Maps Platform for Unity (or some name similar to it, it was definitely a GCP project) 2-3 years ago. It was for an exhibition, not a long term project though there were aspirations to maybe do something like that. But exhibition ended, and a year or so later the API was sunsetted.

Fast forward to just last week, phones have changed since then, and she wanted to rebuild the app to demo it. I had to say nope, API's gone... But we're lucky to have not actually gone forward with trying to build a business on this despite there definitely must have been people that did and had to migrate to self hosting by force.

Still I use GCP, the UX compared to AWS is just much better, both the APIs (i.e. Terraform) and console (no region!!!). I do know the typical Googler personality and suspect server features like Cloud Run are safe while anything too close to application like analytics is at risk and I'll generally avoid it. I do wonder where auth falls on this spectrum, I'd like to avoid auth0 etc since just too expensive, but it is a bit hard to trust after seeing a shutdown of an app feature.
> The IANA is not in the business of deciding what is and what is not a country. The selection of the ISO 3166 list as a basis for country code top-level domain names was made with the knowledge that ISO has a procedure for determining which entities should be and should not be on that list.

Jon Postel, RFC 1591 (Domain Name System Structure and Delegation)
Ask HN: Help shape AIPage.dev v2 – "Wow" features needed
I'm in the process of developing a second version of an ai-powered landing page generator, and I want to make it truly remarkable. I'd love to hear from you: what features or capabilities would make you say "Wow!" if you found them in a landing page generator?

Your insights will help me to create something that you'll genuinely love to use.

Please share your thoughts
I have one just like it, and the best part is that I just leave the timer wheel set to max, and turn the microwave off by opening doors. I keep the doors just barely open all the time, woth benefit of it starting the moment I close the doors after putting a plate in.

The only button I ever pressed on it is to open doors (mechanical), and once in a while I turn the timer to max (when I notice).
Companies are totally entitled to stick to the law, but they also need to then deal with the fact that narrow compliance with the law might bring them into conflict with parts of society (who in turn might stick to the law in dealing with them).

That said, we already have determined that generally just "sticking to the law" isn't a great defense in all situations anyway.
Spot on. Immigrants are usually the most thankful and grateful because they have the perspective. I've found that second+ generation Americans tend to be the declinists and doomsdayers when it comes to the future of the USA. I'm making broad sweeping generalities here.

This is why MAGA made no sense to me. America is great already. It's not perfect and has a lot of things that need to be fixed. But MAGA is starting from behind.
It wasn't clear to me from reading the blogpost that persistence _wasn't_ achieved?
>From a European perspective, American means from the continent America, and not specifically from the US.

I don't think this is true for most of Europe.

For at least three different EU countries that I lived in, America and American is used exclusively for "the US" and "person from the US". "Person from Mexico" and "person from Brazil" would be Mexican and Brazilian, not American.

And geographically, the continents are North America and South America, so North Americans and South Americans is used too, in that context. But I don't think I've ever heard Americans to refer to both North and South Americans as a group of people.
Yeah, but now it's easier to crosspost the good articles to HN :)
Edge Video Token Airdrop
Introducing Edge Video, the future of livestreaming!

Edge Video is the first immersive and interactive livestreaming platform that brings content creators and viewers together in a single, engaging experience. With Edge Video, you can watch your favorite streamers live and interact with them in real time. You can also create your own livestreams and share them with the world.

To celebrate the launch of Edge Video, we're giving away 10,000 airdrops to early adopters!

To claim your airdrop, simply visit https://gaimified.pro and sign up for an account. Once you're signed up, you'll be able to claim your free Edge Video tokens.

Don't miss out on this opportunity to be a part of the future of livestreaming!
Visit https://gaimified.pro to claim your airdrop today!
Love Atuin. Combined with VS Code tunnels, makes working on multiple machines pretty painless. Up there with ripgrep, fzf and z as one of the first things I install on a new machine.
It was used to try and make 30fps console racing games look less juddery, but didn't really work. Racing games are a genre that really does need 60fps+ to feel good.

Even in the 90s, the developers of 3D arcade racing games were well aware of this, ensuring that the original arcade versions of games like Ridge Racer, Daytona, and Sega Rally ran at 60fps, rather than sacrificing that smoothness to add more detail. And those games looked spectacularly good for their time.
Why was the title changed? What was wrong with keeping the author’s title (as originally submitted)?
> No, and neither does Typescript. One of the biggest weaknesses in Typescript is that it can't validate data across the wire. Which is a major use case for the language.

Not sure what particular use case you have in mind but which language has built-in functionality to validate chunks of bytes without some kind of type definition? To me this is an orthogonal problem to language design. Every web framework has to serialize and deserialize data.

What I was getting at is that TypeScript is perfectly suited to define type safe data structures wihtout reinventing the wheel. If you're going to parse type definitions for your validation middleware you might as well use something that can also applied to your business logic.