skysight-inc/HackerNews huggingface dataset:
Perhaps I have not been as clear as I should be. The sequence of counted numbers is infinite, and we would never be able to finish counting all of it. But all we care about for defining ℵ₀ is whether or not the sequence contains some particular value. If it does contain the value, then we can confirm that in finite time, even though the sequence is infinite.

Let me try reframing it a bit. First, you think of some natural number N (e.g., 978) and keep it to yourself. Then, I start counting, "0, 1, 2, 3, 4, 5, ..." and never stop. You listen to me count until you hear N. Then, you can stop listening, even though I'll never stop counting. At that point, you already know that my sequence contains N, and you don't have to keep listening.

I hope you agree that no matter which N you choose, you'll hear me say it sooner or later, as long as I keep counting up by 1. If N is a smaller number, you'll hear me say it sooner; if N is a bigger number, you'll hear me say it later. But there's no N you can choose that forces you to listen to me forever. (And again, just because you stop listening doesn't keep me from talking forever.)

The same thing cannot be done with the real numbers. If you think of some real number R that I don't know, then there's no way for me to count through the real numbers to guarantee that you will eventually hear R and stop listening. Even if I do try to pick a certain sequence, there's a very good chance that you'll never hear R and you'll have to keep listening forever.
This. I know I'm page-rage and even navigate away from webpages or videos with too much flash (whether by accident due to loading issues or by design).

I'm not epileptic.
> Among the HN crowd, I feel we get excited about tech for the sake of tech

I feel like HN has a healthy skepticism about IoT at least. We seem to generally agree that fewer devices should have internet access.
my issue with apple passwords is that you literally cannot put a password on them. iPhone forces you to use biometrics as your key for them. whatever you think about passwords vs biometrics, the fact that I literally cannot choose is ridiculous and a massive oversight
Who is "they" and what aren't we "believing" about "them"?
> large bundle sizes 228KB

That's a moderately sized image.

That's <1s of 1080p video.

And that's assuming you haven't heard of a thing called "gzip."

At some point, I think we're finding things to be unhappy about.
There are smaller SPAs like preact or mithril. One could similarly argue that why should you have to use Django to show a user hello world?

It really doesn’t matter. Master your tool and most of the supposed downsides can be avoided.
A friend of mine I have worked with for 2+ decades used to love his long commute when he was married and had children in the house. When I asked him why he liked being in a car for over an hour each way, he said:

It was the only time he had to himself all day.
Yep plenty! You go to Network & internet > Related > More network adapter options and it might as well be Vista. Go to Mouse settings and want to turn off pointer precision or hide while typing? That's only in the Win32 panel. Plenty more. It's almost bizarre how much fwature parity wasn't a goal for UX and power users get the worst of both experience.
Your team needs scale with your demands. For many folk, a pretty boring setup is fine & requires no fiddling. Find a good gitops solution & many folks don't even need to think about kube, ever, ideally.

You do however need some folks who know Kube & systems. If you don't have them, hire some but not just for kube. If you can't do that, then yeah, it's a real personel investment.

Once you start having mtiple teams doing more complex stuff, you either need teams that work well together, or some kind of entity to figure out how not to make a mess. Turning on rbac is a significant early step towards being a mature, scale-out capable team.

I have yet to see an org scale past these needs myself, but most of me & my colleagues experience is at smaller/medium sized orgs.
Glass as I encounter it is a form of silicon dioxide, and not particularly soluble. What new meaning of the word "glass" is being used here?
>how many users would sacrifice any amount of stability or even just disk space to get somewhat-quicker releases of browser features?

Android does this so I figure quite a lot of users are willing.
Always a nice thing to tell your friends.
I had a free password generator app on the Mac App Store. It wasn't super popular but had like 50-70 daily downloads. I didn't make any money from it. Just made the app because I needed it myself and wanted to learn a bit of macOS dev.

After a couple of years I decided to stop paying $99 a year for hosting a little 5MB app.
In the future, you can use rclone to easily download entire folders from Google Drive.

https://rclone.org/
Same. Bitwarden (with self-hosted vaultwarden) so far seems to be a great solution. I had ben using `pass` for many years, but the lack of sharing functionality is what finally got me looking at other options.
> depending on other input factors

You're assuming we've solved physics, and that it would be tractable to model all of that. We haven't, and it probably won't be.
Who said anything about a large-scale startup? Kubernetes is approachable all the way down to N=1 employees.

I strongly disagree with your take on static vs dynamic scheduling. Static scheduling ties your hands early. In a mature organization, it is very much an optimization.

Dynamic scheduling forces a cattle-not-pets mentality out of the gate, which is great. It also gives you all the knobs to figure out HA, right-sizing and performance that you'd ever want, for whenever you're ready for them. It's considerably more laborious to rearrange or tune things with static scheduling. I've run the gamut here and Kubernetes is by far the easiest and most approachable way to manage a fleet from 1 to $BIG that I've ever encountered. If you want to treat it like a static scheduler, that is also trivial. It's not like there's some huge cost to doing so. It's basically a NOP.

37signals blew off their foot by doubling down on their sunk costs (read: capex) of metal. They clearly don't want to not think about KVM and F5s and SSH keys and all the other odds and ends that entirely solved away by managed services for reasonable prices.

Which is it? Are they too big for the cloud or too small? You can't have it both ways.
Right, my point is that the allegedly “protected” parties in this case would still be able to trade with Binance if Binance were licensed.
DNSSEC relies on a hierarchy of trust, with a single root zone at the top. If the root zone has issues, the whole system breaks down.

In contrast, there is no unique "root CA" that can fail.
Also a higher-level overview: https://developer.apple.com/accessibility/downloads/Video-Fl...
A language model inherently has a privacy problem. How would you guarantee no leaks?
The fact that I had to finally place the site's IP into my own dns table / host file before cloudflare would resolve the link and cry "it's not them it's the host" ... tells me a lot. cloudflare snafu from my perspective, otherwise in 20 seconds I should have seen host issue whine.

Also a few up or down sites resolved the site was up.
Isn't the difference evidence? There were people jumping to all kinds of theories without evidence at the beginning, but acting like they knew for sure whatever their theory was. Some happened to be right, but that doesn't mean that the lesson to be learned is truth can best be found by jumping to conclusions without evidence.

If that was the lesson, then we should be jumping to exciting new conclusions without evidence like "actually, it's only changing now because US propaganda wants to harm China for their failure to align against Russia, and pinning COVID on them is a super convenient way to do that." Or whatever other exciting new theories you can come up, unbound from any evidence other than it sounds like something that could be plausible. Who knows maybe I will turn out right and I can rub it in everyone's faces later.
> I want to argue that the notion of banning software on personal devices should be a non-starter, and that it would be a gross affront to our freedoms if it came to pass.

I agree. If the government did this, it would overreach. We should leave it to the market to decide, that's the American way.
I'm curious on HN's thoughts about why it is that Amish(and similar groups)have succeeded where hippie type communes failed? They've been going strong for centuries while most of the non-religious equivalents fell apart quickly. The stated goals seem to be similar to me in terms of them being mostly self-sufficient communities that look out for each other
I wish it worked even better to reduce sounds and increase the volume of dialogue. Background sounds and special effects sounds are still so much louder than barely audible dialogue.
Biometrics or your device passcode. My mom has a touchid phone (won't get the faceid due to paranoia) and she gives up on it during winter when her fingers get cracked due to the heating.

So when she logs into the device it always falls back to device passcode.

I am frustrated they won't allow you to do both bio+code, because that would prevent my kids from flashing my pilfered phone in my face to get it to unlock then running away.
Salesforce Park's notorious NFT-backed Sho Restaurant goes silent
Not using Chatgpt is easy, but things like GitHub or VSCode with Copilot (which is a special version of GPT3) and in the future Copilot X (gpt4) this will get hard.

One developer opening a folder in VSCode with Copilot enabled aaaaand it’s gone. You never know what part of the folder left your building.
I'm using this kind of technology for temporary voice tracks in animated shorts.

I'd really like something like Img2Img for voices so I can translate a performance to an arbitrary (synthetic) voice.
Why should you be expected to estimate how much time it’ll take you to get across time for your doctor’s appointment? Just head over there whenever. I’m sure everything will work out in the end.
Crypto Exchanges are horrible . They act as brokers, custodian and exchanges all in one. The industry claims they need USA regulation but they don’t engage in a reasonable manner. I still think ftx was the worst but I will shed no tears if Binance goes down. While I’m ranting… it’s time for bft systems not based on blockchain. These systems are all:

1) poorly tested. Btc, the best of them would never be shipped at a top tech company with such bad docs/testing
2) barely available. The rpc end points for most of these chains are barely up at three 9s.
3) hardly distributed or censorship resistant . The idea that govt can’t stop these networks is laughable
This seems to be the theme.

Plenty of well intenioned policy, but its not considering the actual social stigmas/structures behind the issue.
I know this probably isn’t on the radar, but process trees or pétri nets with token visualization feels doable, any interest in supporting those kinds of tools?
@LorenD: "For the record, I've never had a WLAN issue in 3 years of Linux (Ubuntu and then openSUSE). I can't attest to GPU as I don't have a dedicated GPU though.

GRUB has also been quite the happy camper in my experience (at least if you don't go mucking about with config files)."

How dare you not have a problem in a discussion on Linux. (Not just there yet :)
The issue with large JavaScript files is the overhead of the browser parsing, interpreting, and executing of the JavaScript. The network transfer size has nothing to do with it.
It does have a notes field now. I’m not sure when that was added.
My guess – iFit sold your data in the advertising and tracking market, which you allowed by signing their ToS. Over there it was exchanged between many faceless data brokers, credit agencies, banks, advertisers and more, again fully legally. Pretty much everyone reading this thread and using the internet in general has their personal info floating around in such markets.

From there, your specific bit of data took a path that was, whether knowingly or unknowingly, leaked/sold to someone running outright phishing scams. This part is rare, because the data is a valuable commodity and using it for such pointless (and illegal) purposes would be counter to the best interests of everyone in these ecosystems.

How serious is it? Well, there are people out there with all the info you put in your iFit account. How severe you consider that depends on a bunch of factors, and could be different for everyone.
Banking was the interesting one — the FIFA execs moved money and most bank wires (or ACH... I forget) end up going through the U.S. in one way or another if they're international.
Our FreeBSD server suddenly rebooted itself and we didn't have notes on exactly what to do in that case*. Unfortunately for you all, I was the only HN sysadmin around—there exist other, much better ones—and it took me a while to figure out the sequence. Then a helpful colleague asked a good question that triggered the right memory in my brain, and poof we were back up.

* (since some of you are about to ask—yes, we do now)
Tangential but I hate that Mozilla abandoned their password manager app that uses the sync service they still maintain, instead of adding a TOTP/OATH feature and giving people a better and more open option than Duo and skeezy password managers.
Yes, we just released that for the UltraRealistic TTS (https://docs.play.ht/reference/api-getting-started), and it will soon be added to our Standard voices as well.
Which is why, for better or worse, there are increasing pushes to break the dollar of being the world reserve currency. Time will tell if that happens. Any non-aligned country looks at what happened to Russia and Iran and wants to avoid that risk.
Where do you get the idea that Google Drive is a "primarily-personal file storage/transfer system"?

That may be what you use it for, but that doesn't mean other people use it in that way. And it doesn't mean that's how Google represents it in their documents.

I tried to look for documentation about what Google Drive should and shouldn't be used for.

In the FAQ Google Drive said it could be used for storing any file type. There are instructions for how to backup/sync any folder on your computer to Google Drive. If you're an organization that has several people backing up folders with large numbers of files, there's nothing Google says that makes you think you shouldnt use it that way.

https://support.google.com/drive/answer/10838124?hl=en

The only thing that indicated what it shouldn't be used for was content policy page. It basically says it shouldn't be used for illegal activity and that it shouldn't be used for streaming video.

https://support.google.com/docs/answer/148505
> Properties help avoid this anti-pattern by making it possible to transparently swap in a computed property for what used to be a plain field.

Java's getters and setters *are* properties. Just with more syntactic sugar than languages that natively support properties, but the semantic is exactly the same.
The perils of polishing old Fortran libraries
> we will not unlock phones at the behest of the FBI, because we value the privacy of user data

Apple answered ~4,400 device warrants and ~6,600 account warrant in the US in the past year. San Bernardino is obsolete and a well-marketed edge case; Apple turns over your personal data by the score: https://www.apple.com/legal/transparency/

> For the sake of an open future, the freedom to run software should be seen in a similar light

Hopefully not. Even taking their argument in good faith, it's just a directionless plea for help. This has been a hot-topic issue for a while, and everyone ignored it. Now that we've let international conflict wedge it's way into the equation, there's a slim chance this will ever be addressed in a freedom-respecting manner.

The lesson being - hold these companies to a higher standard. All of them, all of the time.
The PC era was marked by app-specific file formats and little interchange. To me, when the PC was released it was a shock as I already used to (somewhat) interchangeable file formats on the networked machines we used back then.

By the late 90s there were some interchangable formats for photos and audio at least, though often you still had to install plug ins, drivers, codecs etc for various proprietary formats especially video.

Basically a silo situation as bad as today.
FTX looks like theft in the veneer of childish incompetence. It's like SBF read in a book that as long as you smile and nod and act dumb, you can't have mens rea.
What I'd really like is a way to generate synthetic voices, not clone an existing voice. Something like Stable Diffusion's Dreambooth, ControlNet, or LoRa/A for voices.

Extra points for adding the ability to adjust individual performances with tags or "style matching", like Img2Img.

I'd be willing to spend money to get that ability, possibly by the minute (say, $1/minute) or a monthly fee or whatever.
Long commutes are also a subsidy to your employer. If employers paid enough for a similar standard of living down the block from the office, that's what everyone would do.
One word. Liability
Your rights are being eroded, your purchase power is being drained, society around you is slowly collapsing.

Change that happens slowly is insidious to notice, but it surely is impossible if you choose to actively ignore it... until it becomes unbearable, and then it's even costlier to act.
Under the MinIO interpretation if you browse the web interface with Microsoft Edge you need to open source your browser.
Tree + file panel, per-folder display settings
Not entirely relevant, but just as a point of interest, broadcast television in the UK has required this at least since the 80s. Most TV produced in the UK avoids it happening in the first place, but they have a filter in the broadcast chain that cranks down the contrast whenever bright flashing is detected. It's particularly noticeable when they show American movies - gunfire flashes are muted to an odd grey colour.
> a simple YAML file

Oooooof
There are more details in the accompanying paper: https://ojs.aaai.org/index.php/AAAI/article/view/21711
"Team Cymru explicitly markets its product’s capability of being able to track traffic through virtual private networks, and show which server traffic is originating from. "

How does this work exactly?
It’s good when you want interactivity that’s technically straightforward but in high volume.

It doesn’t work for code editors because they need very close interaction with the DOM, whereas React provides an abstraction layer that covers the common cases.
Google sells it's services to businesses, not just individuals. Google drive is part of the set of services called Google Workspaces.

It seems odd that someone would say that you shouldn't use Google Workspaces for work.
Isn't it like putting your local repository on a dropbox or onedriver managed directory?
Not sure, but Europe will go down FAST.

LatAm there are a good few places left where you have a paradisiac nature/weather and no psychopaths trying to control your every move.
I see this in most single page apps.

They have a waterfall of multiple API requests by the browser to display a single page. That means the front end has a bunch of logic to aggregate and piece together requests. This in itself isn’t a big deal, if you move to doing it on the backend you still have the same logic and need to make the same sub requests.

Where it does become problematic is it leads to fat API endpoints sending far more data to the client than is needed. GraphQL lets you choose what fields you query but odds are there’s still data available you can ask for that shouldn’t be asked for and sent to a browser.

If your requests/aggregations are done serverside it gives you a better chance of filtering out data that should never be accessible in the browser. You can also make full use of Cache-Control headers and backend caching.

Creating individual endpoints for web apps went out of fashion as it involves more effort and people don’t like effort to do things well. I see it re-invented recently as backend-for-frontend.
That guy Maciej
Our FIRST team (4027) also uses OnShape ... Some of the parts are even sent directly to a water jet cutter!
> finding an appropriate and healthy skepticism about the effects of our inventions is probably the next level of maturity we need to develop

This happens automatically with age. The HN crowd is older now. Just look at the skepticism around AR and VR. The problem is there’s no actual exploration and experimentation paired with the skepticism.
Illegal Logging: The Critical Situation Threatening Costa Rica’s Environment
My country is currently experiencing a lot of illegal logging (and the other problems that come with it).

I found about Rainforest Connect [0],[1], and how they are using deep learning to detect illegal logging in rainforests by means of sensors installed in the forest canopy. They report to have sensors in the Osa Peninsula, but the problem is more widespread in my country according to the linked news article. The coverage area needs to be expanded greatly.

Do you know of other projects that allow you to build your own sensors and hook them to their system? Like how FlightRadar24 allows you to share data with them, for example. I think that allowing people to hook their own sensors could help to expand the coverage to more of the affected areas.

[0] https://www.huawei.com/en/news/2021/6/tech4all-nature-guardi...

[1] https://rfcx.org/guardian
I learned something new today! And I suppose that makes sense. Gold has been a medium of exchange for millennia, so the convertibility or not (in my discussion of liquidity) of gold to USD isn't as important as it might be for other commodities.

It's good to see that Basel III treats paper gold (gold futures or shares in gold-holding ETFs) as more risky than actual gold-in-hand.
Yes, I'm primarily a software engineer. Unions are quite often sector-based rather than profession-based. For example, the union I belong to currently covers the public sector in Western Australia rather than any specific profession. As to what it does for me: negotiates on my behalf for any required changes to my award, provides a counselling service to assist with localised work issues or general mental health, provides a travel insurance policy that covers my daily commute, provides a purchase negotiation service for appliances and furniture, and provides a number of other discounts at various stores.
In this context I think you're pattern matching too deterministically on the term "conspiracy theory". I just read it as "random negative news headlines of the moment". Ironically this kind of poor pattern matching is what led to the situation you speak of, where anyone talking about the lab leak hypothesis got pattern matched as sinophobic / a conspiracy theorist.
Not ways to live to 200.
That's just ridiculous. I read and listen to stuff. I listen when I'm walking my dog, driving places, cooking, etc. I read when I'm sitting in bed or just sitting around with a book. Different scenarios call for different mediums.
Indoctrination to a rigid set of beliefs (often from birth), backed by threats of shaming or shunning, are more difficult to leave behind.
Echoes of Microsoft's "Windows Internet Explorer"
I’m all in for personal web browsing. Safari is a great browser basically 99% of the time and having free synced passwords (and really any critical data!) between my desktop, phone and tablet, I get tremendous value.

For work, I use chrome and chrome password management because my company uses gmail.
Yep. I've been playing with it only in a Stack Overflow way for this reason. I would certainly not mention my personal proclivities or ask it to generate a new password for me. That might be appropriate for a locally hosted model, depending on how secure you can keep it.
Hmm everything is based on the average normalised luminance of each frame. So if half the frame is flickering in inverse phase, it says there is no risk? That seems unlikely to me.

Nevertheless a useful piece of code - glad to see it.