skysight-inc/HackerNews huggingface dataset:
> This is not about implementing a Sudoku solver

If you can capture validity of the game state in the type system, a sufficiently advanced IDE with autocomplete/intellisense could actually already be a naive solver, since they will tend to treat contextual autocomplete as a form of constraint satisfiability problem, which is a sufficient approach to solve easy Sudokus.

In other words, throw this into Webstorm, put your cursor in an empty cell that currently has only one possible answer, and hit ctrl-space, and I would expect it to automatically fill in the answer for you.
Hatfield–McCoy Feud
I don't have MFA on my root level account, is it because my account is 16 years old or so at this point? Like my personal AWS account is tied directly to my "order more dish soap" amazon account, because that's how it worked back then, i guess.
Embarrassing really when you consider the wider market. I have a 10 year old set of mdr v6. Still reference quality sound today albeit with a few ear foam replacements in the years since. I think they cost $70 at the time.
Well done! Is there any reason you wanted to pursue this project? Does it aim to differentiate itself in any way?
cannot praise talos highly enough, it makes so much annoying crap easy
That is a lot, but I wonder if GP’s only decreased by 1% because their phone wasn’t close by. AirPods and their iPhones probably keep pinging each other to maintain the Bluetooth connection, which must have an effect on the battery.
Back when I was directly subscribed to various bsd src/commit lists, I had a delivery filter that would attach the delta if the list didn’t do so already.
Elon's been on quite the information suppression run this week. Adding a dislike button, telling his followers to bury left content, and stories about his attempts to "win at nuclear war"

https://www.reddit.com/r/EnoughMuskSpam/comments/1eu994l/mus...
Or they just decided to clean up the blog and remove all old releases prior to 2019. Nothing from 2018 and before in the blog anymore.
Depends on the scale of your foresight. If you are pursuing growth at all costs then yes, cash now. If you are merely finding work to pay for your life then take the 13 year option and have income in 13 years.
I made a virtual operating system that runs in the browser
What separates my online OS from Windows 93, Windows 96, and Daedal OS, is the ability to export the entire "hard disk" to JSON and boot with it. Every system file is editable. In Sacred OS, HTML files are executable and HTML files are ran in iframes. These iframe programs can communicate with the kernel with the window.top.postMessage method. The whole thing was written using Vanilla JS.

This OS is still a work in progress. What do you guys think of it?
One thing that has worked for me for over 30 years (when you have a lack of a fresh idea) is to just recreate and try to improve on something you admire that someone else made. Pay special attention to products you pay for or use for “free” but are not solely owned by you (25 years ago I was amazed by all this free stuff people were giving to me, being perhaps too naive to think there were no strings attached or unwanted side effects).

Use some cloud based product? Build a locally hosted version. Paying for an app that is useful, but not quite worth the subscription? Try building it. Some may be harder than you think, perhaps not even worth it. Some may already be available in other free alternatives, but maybe it’s worth while just making it your own anyways. The worst thing that happens is you learn something exploring new problem domains and trying new technologies or techniques.
I lost mine! Shat them out in the morning. Just in time for sprint planing, but not enough time to clean them out!
Coming from a ublock origin perspective, I’m not so sure
Its no ublock origin thats for sure
We tried this. I was tasked with automating popular software installs into fresh VMs. I think some of my scripts for doing so are on my github - wordpress and some dashboard software, at least.

offerings were published on the main page and afaik no takers. We migrated off whatever hypervisor we were using onto wok/kimchi and finally to proxmox, so my scripts still work, but proxmox has turnkey linux "quickstart" servers now as well as lxd, so there's less reason to use my scripts.
It might be easier to discriminate against Asians via immigration status, if that's the goal.
Soundness is a constraint more than a feature. Having it limits what is possible in the language, forcing you into a smaller set of available solutions.

So for me it's not about running into unsound types regularly but how much complexity is possible and needs to be carved away to get at a working idea because of it. In TS I spend relatively a lot of time thinking about and tweaking minute mechanics of the types as I code. Where by comparison in ocaml (or more relevantly rescript) I just declare some straightforward type constructors up front and everything else is inferred as I go. When I get the logic complete I can go back and formalize the signatures.

Because of the unsoundness (I think? I'm not a type systems expert) TS's inference isn't as good, and you lose this practical distinction between type and logic. And more subtly and subjectively, you lose the temporal distinction. Nothing comes first: you have to work it all out at once, solving the type problems as you construct the logic, holding both models as you work through the details.
AI Saves Amazon 4,500 developer years on Java Upgrade
With that “triple pane glass” (which I’m pretty sure is laminated glass, not insulated glass), keep in mind a little design issue common to every Tesla ever made: the complete lack of any non-electrical way to open a door from outside. If there’s an electrical failure and someone needs rescuing from the car at all quickly, one needs to break a window. If all the window glass is laminated, this is not so easy.

There are stories of people getting out of a Tesla to help their kids out, closing the driver door before opening the back door, and having the electrical system die before opening the rear door. Whoops!
You forgot to set the washing machine to "Whites"
I will deeply abhor the new Settings app until they go back 30 years and rediscover multitasking. It's pure insanity that I can't have two Settings windows open in different locations at the same time. Instead, if I'm doing one thing (like the volume mixer) and need to quickly check my Bluetooth devices, I have to navigate to the Bluetooth screen from the volume mixer, then I need to navigate back to the volume mixer.

Sorry, what the hell is this? Do engineers at Microsoft actually think this is sensible, usable and accessible?
surely you can just reset your password with the same email and regain access to your account?
Cap it at 720p and ask for donations. 2024 levels of traffic should mean donations scale too
I think everyone knew this wouldn't work or simply because we aren't ready for this tech yet? But kudos to Apple for giving it a go!!
One very fun and practical application for Datalog is Biscuits, which are a type of arbitrarily scoped authorization token: https://biscuitsec.org/.

I tried them out for a pet project over here: https://er4hn.info/blog/2024.05.08-biscuits/ and was pretty impressed with what I found. It's not a perfect solution, but I liked it a lot more than OAuth.
Nothing worth trademarking with the taste of a Crayon, in my opinion.
I like Bitwarden. Tried all the rest. Bitwarden is really great. Plus... I'm a huge fan of how it generates passwords. Celtic-Twisted-Endowment-Petal4-Anybody

I try and avoid SSO for the most part.

I like being able to use Gmail modifiers so I can create filters if I need to block certain accounts from being spammy.

first.last+serviceURL@gmail.com is usually what I use. So like first.last+news.ycombinator.com@gmail.com. Every service gets their own alias modifier. Then if I ever need to turn it off, I can just set a filter and they're done. Plus, this way I always know who sold my contact info.
> It's invariant...usually, but not for certain.

You can verify it's invariant through one of the cpuid leaves. There's a feature bit.
So what? Takes nothing from the point that hosting is in the dollars a month paid for by a half hour of work in most of the western world. I’m sure developing countries have cheaper hosting costs to match to purchasing power in these locations.
My assumption is that while the user may get this generic error, an error with actual detail goes to an internal team to actually look at what happened and fix it, with more detail.

I recently worked on an internal app at work, and the UI team didn't want us to provide technical details in the error messages from the backend, because they didn't think it was a good experience for a user to get too much technical jargon. They wanted the conversation to die there. I had to fight to create meaningful error messages that would go to a support team, while they still kept sending something akin to "something went wrong" to the users.
This should be unsurprising to anyone who saw through the lies from Tesla and Elon over FSD (Fools Self Driving) after the California DMV already went after Tesla over their false advertising. [0]

The worst part was that the customers paying for the system didn't even know they got scammed, as put eloquently in this HN comment. [1].

[0] https://www.latimes.com/business/story/2022-08-05/dmv-false-...

[1] https://news.ycombinator.com/item?id=32364110
It's true, this type of nuance usually doesn't make it into papers for every paper they cite (otherwise, they would be 10x as long), but ime researchers take every study with a grain of salt in real life. I guess someone whose only interaction with science is through reading research papers would never know this and have the impression that many questions are much more settled than they actually are (although there are also opinion and review papers that attempt to assess the actual state of evidence at a given point in time).
The entire research field needs major reform urgently. There are so many corrupting incentives for its practitioners that nearly most research findings (at least in my field: medicine) are suspect. Most researchers have neither the time nor energy to work on the important problems, to perfect their craft and to understand the limitations of the scientific methods. The metrics used in evaluating grant applications and academic promotion push researchers to work on short-term sensationalist and easy-to-publish ideas. This is sad because if there was a time we need solid unimpugnable science is now.
That's not what the link provided advises.
Except most games don't work perfectly on all Linux machines, so they are ignoring it to Linux users' detriment
They pooped in the river on purpose because the mayor said they would swim in it to show its safe.
He offered to buy an unprofitable company for 10 times what Disney paid for Lucasfilm because "funny number", tried to back out of the deal any way he could, and in the end was forced by a court. What are you talking about?
This concept was used in microscopy before high resolution sensor was available. I don't know why they are using it on a camera that takes moving images most of the time.
I have never seen these comments around. What their usual arguments?
One problem that I run into with LLM code generation on large projects is that at some point the LLM runs into a problem it just cannot fix no matter how it is prompted. This manifest in a number of ways. Sometimes it is by bouncing back and forth between two invalid solutions while other times it is bouncing back and forth fixing one issue and while breaking something else in another part of the code.

Another issue with complex projects is that llms will not tell you what you don't know. They will happily go about designing crappy code if you ask them for a crappy solution and they don't have the ability to recommend a better path forward unless explicitly prompted.

That said, I had Claude generate most of a tile-based 2D pixel art rendering engine[1] for me, but again, once things got complicated I had to go and start hand fixing the code because Claude was no longer able to make improvements.

I've seen these failure modes across multiple problem domains, from CSS (alternating between two broken css styles, neither came close to fixing the issue) to backend, to rendering code (trying to get character sprites correctly on the tiles)

[1] https://www.generativestorytelling.ai/town/index.html notice the tons of rendering artifacts. I've realized I'm going to need to rewrite a lot of how rendering happens to resolve them. Claude wrote 80% of the original code but by the time I'm done fixing everything maybe only 30% or so of Claude's code will remain.
Consumers chose the internet over AOL already, they go where the best content is.
Try leaving them on the bedpost, c.f. Donegan, L (1959)
Yes, not being HEVC is a huge plus given HEVC’s patent drama/prices

And quality wise, JPEG XL is definitely better
I highly recommend learning about rebase. Very handy to be able to re-order, re-word, merge multiple commits into one, fix issues within a commit ... Basically tidy up the history locally before you push it.
From personal experience, the people handling paid support for Pixel owners who pay for Google One are both (1) human; and (2) too fucking stupid to have object permanence.

In my case, backups weren't working, and in an attempt to avoid doing anything, they attempted to convince me a 10 year sms/mms history backup fit in 200kb.
Frankly just because the interface looks more tablet-like doesn't mean it's actually ergonomic for tablet use either.

What they are presenting us is far more like the 90's Macromedia Flash style UI bloatware that hardware peripheral manufacturers also keep trying to foist onto us.
Does it need a more compact representation of its debug info?
Somebody approached me with the idea, and, having more time than money, I decided to develop it and put it up online on hosting I already had. It only costs me about $30/month, and that includes my other sites, so I don't mind hosting it for a bit until it gets users.
I've recently been reasonably happy with FSD. But. I paid for it with my car 4 years ago, but I didn't actually get it until ~2 years ago, and even then, it's been fairly sketchy, and only getting a bit less sketchy with recent updates.

I believed their initial claims about what was then simply called "Autopilot", and I'm kind of mad at myself for doing so.

I'm also mad that FSD development has been switched to a new version of the autopilot hardware that my car doesn't have, and apparently can never be upgraded to.

The irony is, I would at least consider a new Tesla, were it not for Elon's antics and interference in US politics. While he's still there, I will never buy another Tesla, and I won't keep this one when the warranty runs out, at the end of this year.
And the settings network configuration is absolutely useless.
I think they mean "Friend-like" pendant. This appears to be an open source implementation of the Friend pendant.
That is blatantly asinine. Are you saying that a hotel should be able to discriminate against someone based on their race?
The CRA explicitly allows discrimination of say off res private businesses in favor of employing Indians, but not say in favor of blacks near historically black neighborhoods. The CRA itself is quite racist, and not only that is used to hold the expansive interpretation of the commerce clause hostage.
my well only costs me electricity and has no meter - well, i have a meter somewhere, i just never installed it. I know for a fact it uses 9A to run, so it would cost me 30¢ or so, all-in, to run it for an hour. it's somewhere around 10-12GPM, so 600-700 gallons for 30c

I've wanted to put it on solar the entire time i've had it but the start current is 18A and an inverter that can handle that is (or maybe was, idk) real expensive, considering.

anyhow if you saw the area around my house, in the dog days of summer, right now, you'd think it had been raining non-stop all summer - in fact, it hasn't really rained at all since the beginning of june when we had 12" - i've personally watered 6+" over about 1/3rd of an acre, so like 50,000 gallons since then.

edit: oh crap i forgot the reason i wanted to comment on this at all! My neighbor recently had some issues with a pipe running along the bottom of his house that sprung a leak and they got a surprise $600 water bill - no forgiveness. the water company did, in fact, have the audacity to tell my neighbor "there's a light on the meter if you have a leak." His meter is like a quarter mile from his house, first of all. and second of all, when they read the meter and saw the light, why didn't they go across the street and knock on his door, or make a note to call/mail?

I'll tell you why. $600
I agree the title was a bit confusing. There were actually two separate AI pendant products, both named Friend.

My understanding is that this is one of them, and they changed the name shortly after the other was released.

Edit: ah seems the title has been updated
Regarding Google, you are wrong, luckily. There is a page in Google where you can view the associations you made with third party sites and you can cancel them.

Where you find this is:

1. Go to your Google Account (e.g. www.google.com, click on your avatar, then on Manage Google Account in the popup that appears.)

2. Click on Security in the left navigation pane.

3. Scroll down, and find a box "Your connections to third-party apps & services".

That reminds me, I did a "continue with Google" on the Scribd website the other day, only to be told I had to also give them a credit card so they would let me start the free trial to view someone else's copyrighted PDF that they have no right to sell, and that I can find somewhere else. I have to revoke the association to these scumbags.
Google is also polluted with sponsored content and ads framed as search results which are many times not at all what you're actually searching for. It's totally unreliable for finding things these days.
Word. Sorry if my comment came across as snide. I sometimes forget that inflection doesn't translate well to text-only discussions.

It was a great post and very informative, especially the part about bank account being open after transferring all the funds out. I guess this is why some of the seemingly useless planning meetings we all have are actually necessary.

Thanks for the post!
Taking them to an Apple Store might have worked too? Though not nearly as cool.
Not everyone is capable of using a keyboard or touch screen even today. For this reason I hope to see continued advancement in voice capabilities.

I have it better than most but have to rely on dictation a lot due to issues in my hands/arms following an incomplete spinal cord injury.
Checking buildings you already know to have a license seems wasteful, but perhaps I missed something?
Probably will happen, the unions hate Tesla and the administration was so scared of them that they didn't even invite Tesla to the presidential EV summit in 2021 where Biden praised GM's Mary Barra as the EV leader when Tesla had delivered over 115,000 electric cars in the United States, while General Motors produced just 26 EVs.

https://www.teslarati.com/former-tesla-exec-confirms-wsj-rep...

So won't be a big surprise if Musk is thrown into jail on some trumped up charges for giving optimistic timelines like a typical techie, meanwhile politicians lie all the time and face zero punishment.
Fair enough, the parent comment mentioned “solar tech” and old pieces of paper and silly me didn’t realize that the power systems side works is a given and the problem is essentially hooking it up to computers and the internet to gain a modicum of convenience.
> Do you just use a password manager

Yes.

> Log in with Google, Apple

I simply don't, ever, use those options.
Teenagers Trade $20M to Prep for Jobs at Citadel, Nomura
Some of us can’t live without glasses and can’t afford to be this careless.
Maybe because absolutely no one trusts any C code anymore.
I remember some theories around 2021-2022 that Apple had modified the ANC in AirPods Pro/Max via a firmware update. If I recall, the thought was this was in response to some patent infringement.

Anecdotally, I think I noticed a difference, but I also chalked it up to prematurely-degrading hardware...
In intrastate commerce I see no reason how the feds can constitutionally stop them.
A page right out of Apple's playbook then.
Australia Tried Pulling Trains with Semi Trucks
Whenceforth came the margin on which K,Y thrived :)
The intentions seem genuine, and the ideas are good for what you would want people to use it for, but what about people like me?
Recording data on and around you especially without their consent is not something I'm okay with. I'm against Windows adding in their 'Recall' feature highly, I don't want somebody's computer taking screenshots and transcribing my encrypted chats on all of their computer usage, I sure as hell don't want to be around somebody who's too lazy to take notes or be present in the moment with their friends to solidify memories within themselves that they can just go back on and get transcripts of who and what was said as they traversed the day.

So again, what about people like me?

Sorry, but this is spyware in every sense of the definition. There's no argument against that there.

https://notfriend.org/
I’d be very surprised if repairs on AirPods circuitry were possible or cost effective. Just swapping the battery requires basically soldering iron surgery and permanent damage/removal of all adhesive that keeps it together.

https://www.ifixit.com/Guide/AirPods+Pro+Battery+Replacement...
> Ross Gerber and Gerber Kawasaki

I see the dumb money also got a seat a the table.
It will be half a distro if they meant alpine.
So much for end to end encryption that is unreadable by Apple.
"Services" and "Disk Management" UI's are great examples of ollllld (possibly MFC?) Windows UI's and are still the standard way to manage those settings from what I can tell.
I hate writing GUI's, I cannot get them to "click" with me, but for some reason the immediate mode GUI paradigm makes a lot more sense to me. It doesn't help that UI code is usually really blocky and error prone either, but IMGUI and GIO are great
PLOS journals are some of the least bad journals and iirc it's entirely author paid
Parent is referring to IBIS High Resolution Shift, not normal IBIS.
UI/UX is designed by UI/UX specialists at giant corporations. Often engineers who have criticism get brushed off.
So, when they read the meter, and saw that it was flooded at the meter or nearby, they didn't think to mention that to you? I ask because you said "surprise bill" - another comment i made explains my neighbor's water meters have a light on them that lights up if there's a leak, which the meter reader can see and the homeowner usually cannot - the only reason to not notify the homeowner of an issue is because of $.
I don’t know about the first two, but if we could build a missile defense system using American space capability that’s decades ahead of the rest of the world, is there any reason that isn’t an excellent idea?

No amount of wishful thinking is going to un-exist the thousands of Russian ICBMs. Personally, I like the idea of my existence not hinging on the mood of a dictator half a world away.
I don’t understand why people bother replying to a question asking “how do you do x” with “I don’t do x.” That adds essentially nothing to the conversation. I don’t mean to call you out specifically, apologies if it comes across that way.

More examples:
https://news.ycombinator.com/item?id=41335286
https://news.ycombinator.com/item?id=41335369
The reason I would expect is that they think the teachers are showing their kids explicit sexual content, encouraging them to be transgender, and telling them about how they should hate America and white people. Is that not accurate?
Have you actually talked to Apple? They might just replace them. Is this the only pair that’s demonstrated this behavior, or has it been multiple units?
I'm just taking a video, Goober.