skysight-inc/HackerNews huggingface dataset:
Retrofitting the set theoretic definitions is trivial. Take the set of cauchy real numbers, remove all reals equal to a real-that-would-be-a-rational, i.e. constant sequences. Union together this set with the set of rationals defined as ratios of integers. Repeat as needed with smaller sets.

Obviously these reals are isomorphic to the cauchy reals. The reality, of course, is that no one actually works with foundations, they work with the intuitive understanding that 1:N is 1:Z is 1:Q is 1:R.
Most cars don’t have OTA. If there’s a bug that causes death, they issue a recall and firmware is updated through the OBD.

Sure, it’s an expensive process, but maybe it would persuade Tesla to invest more into their quality control.
I'd happily pay a monthly fee for something like an integrated dash cam instead of trying to figure out how to mount an external camera that messes with my car's LIDAR. There are so many opportunities to build value-added services onto cars but they just can't help themselves.
UK regulator warns over Big Tech’s growing interest in finance
A Vim-like configuration for Helix
> Additionally, the "ongoing expense" requirement may be easily satisfied if an OEM has to pay to maintain a server or connectivity, as would be the case with a navigation system or partially automated driving feature that pulls in data from the cloud.

I’m amazed a car manufacturer could resort to these games. If they want to increase profits, why not just focus on customers and give customers what they want?

I recently tried to purchase a luxury SUV and after 8 months, I gave up. I wanted a model with a specific color and options, all these things were clearly advertised on the manufacturers website if you looked at the specific vehicle’s page.

No car dealer had the vehicle on the lot in this configuration. Every single one of them pressured me into purchasing what they already have, and paying a $3K-$4K mark up over MSRP. I tried contacting the dealer directly, and they simply told me they can’t help me, period, and my only option is to talk to the dealer.

Meanwhile the dealer told me that even if I can find another dealer in the state who is willing to sell the exact vehicle without the mark up, this dealer has first pick on any new allocation, because they sell the largest volume, and they’d make sure they get the vehicle and not anyone else. So… the manufacturer doesn’t care, and the dealer doesn’t even hide their slimy tactics.
Open source JavaScript bot detection library – BotD v1.0 released
Many probably still do. They just publish their research on Erowid and Bluelight instead of journals
It supported clamshell and open, and has for as long as I remember.

But the toggle between the modes had been this slow experience that seemed similar in delay to switching resolutions.

Now it is this blip—-this is your main display, and you can toggle it if you rapidly open and close it, which I can’t really recommend except to cement in your mind that this is the new normal.

It seems wholly different.
> there is a actually a pretty decent chance copilot will spit out the next few lines of what I was planning to write,

which suggest, loosely, that copilot has been trained on some of your code.
China’s wealthy activate escape plans as Xi Jinping extends rule
But Apple's version has extra features, like being pricier. It's also made out of cheap plastic in the name of environment.
> No employer has ever brought this page up during hiring discussions.

To be honest, it's an employer who found this page during the resume screening process would likely flag your resume as a pattern job hopper, at least in the pre-2017 years. The multiple terminations within the first 90 days would be a red flag to most employers.

So the fact that nobody brought it up is likely survivorship bias: Resume screeners who did find this page probably just quietly declined to proceed with the interview process.
Wenyang, world's first Classical Chinese programming language
What We Know About All the New Covid Variants: BQ.1 and BQ.1.1 to XBB
Maybe they did, but they can't really say it publicly.

Anyways, it is not hard to find reports from people who tried these "research chemicals". These substances are often legal (because they haven't been controlled yet) and they are labs that will make them for you without asking too many questions. And by that I mean serious, registered, professional labs doing things up to specs, with GC/MS and all that stuff. Not a RV in a desert. Publish the synthesis and someone will make it and try it.
I vouched for this comment because even though it's phrased kinda aggressively, it's also not wrong. Best case scenario it shows a profound lack of social awareness and competence in interpersonal dynamics. Probably something for him to work on.
Those cannot replace all oil and natural gas burning, so you may as well get rid of the plastic first before burning those fossil fuels. If you think about it, it's still recycling, because you are reusing the waste plastic for energy.
I'm not even sure that would help - they've got devs from the Fedora and Elementary teams who are openly posting guides and claiming they're working to ensure compatibility and my experience running both OS's has been... flaky at best, and this was on the 11th Gen CPU that evidently works better than the current model.

Fedora definitely is doing the best, but audio, mic, and webcam all barely/randomly functioned, and a stiff breeze made the graphics driver crash.

Arch, Ubuntu, PopOS, Elementary and LMDE all purport to work, but half of them wouldn't even install properly as documented, and the ones that did had just as many or more errors and crashes as Fedora. I'm on LMDE right now and Cinnamon crashes 50% of the time I try to change workspaces.

It's gotta just be something amazingly wrong with their hardware choices. I've been full-time running Linux on my desktop for over a year and had more issues in an afternoon with my Framework than with a year of that.
Informatica and SSIS, in practice, in my experience, are not really low code tools.

I'd call them... GUI-UI based coding tools?
We could make it the catalyst for a whole new vocabulary. Yesterman. Yesterland. Yesterlore. Yestergames. Yesterfood. Yestersex. Yesterlife. Yesterdeath. Yesterdog. Yestercow. Yestertech. Yesterworld.

Or not.
I'm being somewhat glib but I genuinely think projects like Psychonaut and TripSit Wiki that try to at least organize the wealth of "underground" knowledge about these substances are tapping into a huge source of knowledge that has so far been ignored and even shunned. Obviously the challenge that remains is meaningful organization of it
What Colour are your bits? https://ansuz.sooke.bc.ca/entry/23

Previous discussions: https://news.ycombinator.com/item?id=24917679
Same here, a few times over the years. Another useful trick is piping input from echo to xxd -r -ps to dd so you can specify hex bytes directly in the echo arguments rather than reading input from a file. Quite handy if it's an embedded system that you can't easily transfer files to, but can get a shell on.
Probably not much at all. They used a pretty straightforward and easy to run model, EfficientNetV2. Something that doesn't give out the best results, but will offer very quick inference and train time.
Mississippi River gets new levee to keep salt water out of drinking water
Ah, thanks. My parent comment makes way more sense to me in that light.
Even New York is mostly empty. Have you ever been out of the city? I think the problem is you're assuming that the population must be zero. But it's quite possible to purchase a large tract of rural land with little agricultural value, nobody living nearby, and good ground water conditions and build a landfill there.
Ah ok good point! I stand corrected.

I really doubt cat is smart enough to figure out a suitable block size though. At least with dd you can specify one.
What Koshkin says is correct and has already been proven by others. You want to get a book that covers sets, maps and cardinal numbers, and read it carefully if you are interested in this sort of stuff.
Ask HN: What Is the Hype with Docker?
I have used Docker more than almost any other tool, and I have genuinely given it a fair shot. After all of that, I still don't understand the appeal.

Docker nearly seems to be an industry standard by now. Some people treat it like an obvious choice, but it's not so obvious to me.

People say that Docker can run anywhere. It solves the infamous problem of "works on my machine". Despite what people claim, I have not found this to be the case. I developed containers on windows and then I still had to debug the containers when deploying on Linux. There were formatting issues, filenotfound issues, and chmod issues. I have spent so much time configuring docker, and been able to complete the same task in a VM in a fraction of the time.

Am I alone here? Am I doing it wrong? Is it the case that I am not the intended audience, and it's meant for larger teams?
data fabric?
Or a man page :P
Could be that you are a visual leaner more than a reading learner. YouTube has a lot of good tutorials and info. And Udemy courses are often cheap - you could buy an AWS course and skip to the ECS section for example.

I will also echo the poster who mentions sandbox environments. Myself I am more of a hands on learner.

We all start somewhere, despite what management and other stakeholders sometimes think, nobody is born knowing all this stuff. Hang in there.
I use asdf, nix-shell, docker, docker-compose, and kubernetes... just use what makes sense.
Indeed I was mistaken about the shell, sorry about that. The redirect method I forgot a really long time ago and my memory made it into something it was not.

In that case I guess dd does call a sync() on every output block? Because it's definitely slower and the LED pattern on a USB stick is also much more 'flashy' when using 512 bytes.
So what's a proper way to solve the problem that PAM solves? Instead of an in-process library, have it be a daemon that responds to DBUS requests?

Aside from the config language, this sounds mostly like "it's a pre-login modular C library, and that's alien territory".
Having team members in different (mutually distrusting) jurisdictions is a good way to allow organisations/projects to avoid legal coercion

I come to the opposite conclusion. If you have one person in the US, the US may claim jurisdiction over the entire thing. If you have one person in China or even with family in China, China may "ask" them for a "favor".
Unfortunately, taxes and regulations seem to be the only mechanisms we have to price externalities into economic activity.
Economic future of U.S. depends on making silicon engineering cool
Steam hits 30M concurrent users
Per Gell-Man's Amnesia, doesn't that mean all their coverage is consistently atrocious?
Better yet, buy their land and you have your buffer zone.
I agree! But "great minds think alike" and all that. Still think the excerpt from my submission is juicy:

>The details of the complaint against the defendants, Guochun He and Zheng Wang, match up with a prosecution in the Eastern District of New York of Huawei, a Chinese telecom equipment manufacturer, which the U.S. previously charged with stealing trade secret and intellectual property information.
Maybe then a good category system would be “wet” and “dry”?
Tunic's Audio Designer Explains the In-Game Musical Cipher
I don't see how that's incompatible with this legislation. You can put the feature behind a one time payment and then simultaneously allow the opportunity to try it out for a small fee for a limited amount of time. No subscription needed at any point. (Legislation should mandate that the trial fee be pro-rated toward the purchase of the feature imo.)
> Ahh government work. Can always tell because y’all do

Uhh I work in the Professional Services department of a little cloud provider based out of Seattle you might have heard of…

Sure I’ll work on a project porting to EKS (managed Kubernetes) if they are already familiar with it. But rarely will I suggest introducing the complexity of it unnecessarily.

I’ve worked with governments, colleges, F500s, startups, and everything in between.

I mostly focus on green field app dev. But I know my way around “DevOps” [sic]
Was available for everyone who asked, it now costs a monthly fee. I requested to try it out, but by the time they said yes, it transition to paid. Since I don't seriously want to use a tool like this I am not interested.
That's totally different in my opinion.

It's not like Apple shipped something to your door that didn't work and said "Oh, that's IBM's fault". Complaining that IBM wasn't able to meet their demand seems utterly fair to me, though I don't know what the root cause of the delay was. But regardless, Apple was still standing by the products that they actually sent out.
I bet even the "consumption" or "feeding" itself might undergo some unexpected changes
https://archive.ph/OwDrB
> I’m amazed a car manufacturer could resort to these games. If they want to increase profits, why not just focus on customers and give customers what they want?

The name of the game now in more and more industries is rent-seeking and extracting money long term, on a regular basis. This new business practice disincentivizes building quality products because then you can sell a shoddy product and include "maintenance" and "updates" into your subscription plan.

If it's not stopped legally, it'll only get worse.
> If Tesla has a known bug that causes death, the bug should be patched ASAP. People should not be able to decide if they want the fix.

Why should this be treated differently than any non-software bug that causes death? I am not aware of any car manufactures that send mechanics to your home to replace your airbags without your consent.
Either will be fine, I tend to prefer btrfs on laptops (and desktops with consumer storage) for the ease of managing subvolumes/snapshots, the ability to use `cp --reflink=always` to clone big shit (git repos usually) instantly at (almost) no cost and the lower background drive wear.

Generally btrfs is friendlier to use but bugs and failures are messier — I haven't had btrfs blow up badly in years but I'd make a backup schedule and stick to it anyway. I have a btrbk job fire and sync my latest snapshots off my work laptop whenever I plug in my external backup drive, I'd recommend something similar if you value your data and time.
One of the nice things about `dd` is that the arguments can be in any order, they're explicitly given mnemonics. You can have `cp` ordering with `dd if=<source> of=<destination>` or `ln` ordering with `dd of=<destination> if=<source>` and it doesn't matter, `if` is always the input file and `of` is always the output file. The other POSIX tools don't all have consistent syntax anyway, `dd` is at least more memorable than `find` or `tar`.
Many years ago (ca. 2009?) at a previous employer we had an enterprise email scanner which included a content filtering feature which could block "pornographic images". We ended up turning it off as it had too many false positives since it was an insurance company that dealt with injuries so a lot of legitimate injury photos would get classed as porn and blocked. I think it was basically looking at how much of an image was skin tones.

The more interesting thing about that feature was that it A) only blocked nude images of white people, and B) would aggressively block photos of golden retrievers much to the annoyance of someone in the claims team who bred them and occasionally received photos to her work email.
In my city, the solids from the sewage treatment plant are trucked to the landfill.
Yeah, feeding these drugs to mice and conclude they are hallucinogenic based on head twitches? Seems a bit ridiculous considering these compounds have been out on the research chemical market for years now.
You could periodically create encrypted backups of the necessary data on a USB stick (stored in a known place in your home), so that the data locker only needs to disclose a relatively short password to her (and it could even broadcast it in a tweet, since she would be the only person for whom that password would be useful).

Then, as you say, if she wants to access the plaintext, she would have to click a button on a secret web page somewhere which would trigger a server to send an email to you (and a couple of friends) saying that she had done this and that a 24 hour timer had started.

The email would also include a link to a page that could reset the timer, up to N times, while you tried to buy a new phone or regain consciousness or post bail or whatever the attack scenario is that you want to defend against.

In practice, the most likely failure mode is that you don't need to use this system for years and then something silently breaks, like you forget to renew a domain, or you forget that you changed your email address. As such you should include a quarterly test process for all of the steps, including making sure your partner remembers the process for performing the decryption, and making sure your friends haven't marked the automated email as junk, and so on.
Most AI today is generally some form of machine learning / deep learning. When it comes to deep learning, python is by far the most popular language (libraries like PyTorch and tensorflow have a thriving ecosystem)
A hypotheses I've heard many times is the sinking of Titanic crushed the American Left in 1912 - supposedly many of the left movement leaders were on board.
Natural gas is worth a ton still.

Biden et al doing what they can to block natural gas infrastructure- so we get weird islands like this in price. The arbitrage differential (if you could actually build) is mind boggling.

Not sure any quick solution so not sure why this is on HN
To be perfectly honest, I've never heard anything other than horror stories about working at Amazon, so I wouldn't ever consider working there unless I was in a really bad place with no other way to pay my bills.

To hedge against that scenario, I used to do the standard quick, polite response. Not anymore. All that got me was even more spam, and even more annoying spam, to boot. Sometimes identical messages, and sometimes messages about how they're trying "one last time" since I obviously must have missed the first N attempts... hilariously, I did't get those kinds of messages any of the times I actually didn't respond!

Not only am I almost certainly talking to automated software, but exceptionally low quality software at that! Now I'm thinking even if I do ever become desperate I'd be better off living in a van for a while than working at a place like this.
Device encryption on Windows Home has a different brand name ("Windows Device Encryption") and works a bit differently, but AFAICT it's also on by default if you log in with a Microsoft or AAD account. Can't find any specific documentation on that, though.
> We would not have cryptocurrencies or NFTs

Yes we would - that doesn't need much hardware at all. Maybe 1998 hardware (Pentium II type thing) at most? Bearing in mind security algorithms used would be scaled down anyway to suit the lower hardware in the hypothetical scenario, and hash rate would of course be lower.
I really wonder how much transgenderism in young people comes from them feeling like they don't conform to some stereotype of masculinity or femininity pushed by popular culture and the media, and so they decide they must be transgender. For instance, decades ago, girls who weren't very "girly" were called "tomboys"; would those same girls, raised today, think they're "transgender"? Or, how much of this phenomenon is caused by people insisting on pigeonholing themselves and others?
you always have that option though and i assumed it was a fairly common debug thing to have to do if you use docker enough. not just for the times it works (ie you find a bug between the layers) but for all the times it isn't the culprit.

the other post mentioned setup, so i thought he meant they imposed presetup containers for developers to use?
To me dd's noerror flag as well as seek are very comforting to know of whenever I'm on a quest to preserve some precious data from any medium currently in failure mode ... any extra read might be your last.
I might be missing something, but I think you can use `asdf shell` for this: https://asdf-vm.com/manage/commands.html
I’ve used roguelite the same way. It’s definitely my preferred model for the space, mostly because I’m bad at games, so the meta progress gives me the feeling of progression without nearly so much work!
Around 2007, there was an image board type of site that was struggling to build a system that could reliably detect these sort of images.

Their solution ended up being to run it through face detection first -- which was pretty reliable even back then.

It turns out, people who sent unsolicited lewd photos tended to do so without their face in frame. So if a face was detected, it was significantly less likely to be lewd.

Just an amusing anecdote. Wish I could find the blog post describing it.
It would probably need kernel support for this to happen, but I'd like to see a daemon in the system that runs authentication logic and then arbitrarily curses the requesting process with the UID/GID/whatever it needs to get the job done.
They lead by saying how much they liked asdf vs docker. Ergo: proposed solution is asdf no?
Oh interesting, I had assumed some level of gradual genetic changes in domestication were responsible. So you are suggesting it's mostly phenotypical changes that could even be somewhat reversed in an individual... I wonder how far a new born would revert to what is being depicted in the illustrations.
That’s mostly in industries without meaningful competition.

In competitive industries, customer-hostile choices are much less common.
Disorder doesn't mean an unexpected outcome. It's a disruption in the norm for the system. The stable state for a human body is not constant pain.
This is actually the laptop that I’m looking to replace…
Status LEDs should be only bright enough to be obvious, they should be frosted/opaque, and should only be Red, Orange, Yellow, or Green.

Retina searing water-clear blue and violet LEDS have no business being used for any status light anywhere. Even in bright light, the better choice would be bright green due to the eye's sensitivity being maximum in the green.
Yup, my neighbor works for ARM and said they people over there who understand RISC-V are sweating.
What I wonder is if they actually came up with the idea because of that. The timing is about right.
But that’s the issue — discoverability. How to get from “I want to search” to man grep or “I plugged in my USB drive and need to get at the files” to man mount/man fstab/man something else. man pages are a decent reference once you know what you’re looking for (assuming they’re up to date, correct, and present on your system) but they aren’t anything like a replacement for Google.
I guess it wasn't meant to run on Windows. And linux people meant "run anywhere as long as it's some linux".

Which is good enough for me. Considering how it is easy to install, distribute and run and manage apps in Docker vs bare metal setting up and fighting issues in complex setups until your eyes are red.
But how to reconcile this advice with the "unnecessary cat" zealots. Just let me live my life guys.