skysight-inc/HackerNews huggingface dataset:
Cloudflare doesn’t let you host Docker containers or offer managed Postgres do they?
Sensoria Obscura: Event Cameras, Part I
We print out worksheets for the kids almost daily so we need a printer. I bought the cheapest HP laserjet that had an internal paper tray and it's been fine. I'm pretty sure I bought it in 2018 and we're still on the starter toner despite it having the low toner warning light on since 2019.
Programming languages require a lot of precision (one missing symbol, improperly capitalized letter, etc will break the entire thing), whereas even the best OCR is very imprecise. That sounds like a really bad combination.

On the other hand, maybe a specialized programming language optimized for that could work. The blueprints idea seems like a good concept to start with.
We denounce dictators and oppression and champion human rights and democracy. Companies that work with oppressive rulers have tarnished brand names. For example: software companies that worked with the Saudis or CBP and ICE. Apple has determined that Twitter could cause brand reputation damage because Twitter is accused of having disinformation or hate speech on it.

On the other hand, Apple works cooperatively with the Chinese government to suppress human rights. The update to air drop and the separate icloud and app store as well as appearing to work closely with the CCP does not seem to be pro human rights.

So I think it's contradictory that there is no brand reputational damage for cooperation with a government accused of violations of human rights but there is for allowing Twitter on the App Store ostensibly because it is a threat to democracy. Maybe that changes as a result of people pointing this logic out, but I won't hold my breath. I don't think it's nuanced, I think it's straightforward. You can't be a champion of global human rights except where it is inconvenient. Or maybe the human rights and pro democracy stuff is all BS.
I strongly relate. I've noticed a lot of my bad habits or odd approaches to things are actually simple pain avoidance. Bad things happen to us and we unconsciously develop methods of avoiding or lessening those bad things. No different than a beaten dog flinching at a raised hand. For me, a lot of these behaviors have been easy to unlearn, but it took half a lifetime to notice them in the first place. And who knows what other subtle pain avoidance behaviors I engage in that I've yet to see or understand.
Switching to Gravitron isn't an automatic cost savings. Everything is optimized for x86. It maybe cheaper, but significantly slower. We've been trying to migrate for the last year for both cost saving but also we switched to ARM based laptops.
Apple’s Chinese Dream Is Over
How are you going to implement hot reloading, or when can we expect it to be ready?
Cocaine Synthesized in a Tobacco Plant
California gonna California.
Futurepedia went viral on Reddit and got 40k+ views and 300 signups
> I use git commit --amend to build up a single commit as I go.

While this is a sensible approach, it doesn't work in scenarios where you essentially have to "test in production" to actually test things (Jenkins, looking at you). I've experienced some of that in the real world, and combined with the inability to force-push, it seems like the squash rebasing is the most sensible thing to do to keep main clean within these constraints.
>What if a compiler were to only allow an array access when it can prove that it's in bounds?

Even very good static analysis tools have a hard time doing this. In a language like C++ this would effectively mean that very few index operations can be done naively and compile times are significantly increased.
Performance is likely reduced as well over the trivial alternative of using a safe array.
there's a cheeky link to idris's vector type in the second paragraph: https://www.idris-lang.org/docs/idris2/current/base_docs/doc... which accomplishes just that
Ya, agreed. The model is truly terrible. Too many constituents with a very limited pie
I don't think Eric is giving up or retiring, just taking a much needed break. We should all look up from our keyboards from time to time to see the bigger picture.

> I need a good long corporate detox before I go looking again.
Given how many greatly appreciated his blog and have been upset at the last few years of Facebook-encouraged radio silence (including myself, Eric Lippert has been a blogger I've looked forward to posts from), even if he were to just fall into the exciting "old" project of blogging regularly again (as his post teases at the bottom), I think that would be a great use of "his prime" and I wouldn't exactly call that a retirement either. Our industry tends to forget, overlook, and/or look down on pedagogy (teaching), but I think it is worthy enough to celebrate a great teacher returning to teaching after lost years away.

I hope, if Eric does need to return to laboring for someone else's company that he does so without restriction to his teaching efforts, as he has seemed to always enjoy that. But I think more fervently I hope that Eric finds out what he wants to do, and if maybe that is teaching that is high calling, often underserved in this industry, and that he can find a fulfilling way to do that on his own terms as his own vocation. That may look like a retirement to a lot of us on HN, but I think there are few things more worthy to be doing with your time than a "hobby" that has clearly already educated a lot of people in threads around here.
If you're building a system that's certain to fail once it comes under any sort of stress, when the inevitable happens, that's hardly an accident.
Yes. It’s remote (now) and I have a pension.
That's the first thing that comes to mind when i hear the word "aleatoric" and where i first learned about it
What? Bringing beer/wine/snacks to parties is just polite.
Bret Taylor steps down as co-CEO of Salesforce, Marc Benioff stays on as CEO
Thanks for sharing 'distraction is just running away from a feeling.' It puts my experience into words succinctly without giving a root cause to why I might feel that feeling.
Separately sometimes I can find a period of my life that seems to explain why I act the way I do but I'm also not confident in my memory to know if it was happening before hand or if I'm just associating two things that are only slightly related.

For example: I tend to be a very self deprecating individual because I like to laugh and hang out with people who say silly things but I also use it as a crutch to avoid accidentally offending people. I went to a very bad college and so was considered very good at academics while there and may have developed this then to fit in. I could also have developed it growing up because it was a way to laugh off mistakes. I could also just like the sense of humor. Heck even this statement I'm replying to that I like so much I'm certain I've heard it and resonated with it before but have just lost focus of it over time.

Anyway thanks again for sharing, it has helped refined my thinking.
Intent matters, yes. But tell me - If your home was bombed, and your family was dead, would you care?
a 10% drop in performance with bounds checks removed, mind you - so if anything the bounds checks are improving performance.
Ask HN: Best Data Security / Privacy Vault Vendors?
I am in the market for a PCI compliant Data Security vendor that can support things like tokenization or aliasing. Does anyone feel strongly about a particular vendor?

I know of a number of options out there that I that I will not name by name because I would rather get all of your input and not immediately steer the conversation in a particular way.

Thank you all
Will change it for better or worst? The world cup matches look like football (american that is) in that they are plagued with interruptions and “review” breaks, also adding extra time every time the ball stops is plainly stupid.
Google Stadia hardware refunds will be issued within two weeks
I don't want any unsolicited advertising - and I wish our societies would decide to outright ban advertising: Outdoor advertising is a nuisance for the eyes, radio and TV advertising is annoying AF (particularly as it tends to be mixed at a much greater loudness than the program running, my conspiracy theory is that this is done so people are forced to hear it when they go to the loo), paper advertising (e.g. in newspapers, flyers or postal spam) is a waste of paper and online advertising is an insane danger for privacy and a vector for distribution of malware.

Ideally, we'd have independent consumer protection entities, either government or private (e.g. German Stiftung Warentest), that would get products from companies to rank and test, so consumers could make actually informed decisions instead of being lured by hyped up advertising claims.
I'm heavily amused by the "More details on #Mastodon" reply directly below it.
The 5ms isn't the key number. It's 5ms extra over a 28ms baseline, that's about 18% difference. If your noise threshold is 18%, then I think you have to accept that the benchmark probably isn't any good for this stated task.
FTX billionaire Sam Bankman-Fried funneled dark money to Republicans
Keto is working for me too. I'm down 100 lbs over 22 months. Stalled at 75 lbs, so I added 16:8 time restricted eating and walking 30 minutes a day. A1C and other labs are all improved.
Tips and tricks for doing Advent of Code with Haskell
My favorite experience with journalctl from many years ago was when an application kept spamming the logs till there was no space left. Once that point was reached, the binary logs got corrupted so couldn't be opened to investigate the cause. Don't remember how many turns it took me.
Apple store robbed with customers and employees watching
We use Brita at home. Fwiw, it seems to be pretty successful at filtering chlorine - I did a little before/after experiment with a chlorine test kit purchased off Amazon.
In Rust at least, once you instantiate the iterator, the array it's iterating over can't be mutated until the iterator is dropped, and that can be statically guaranteed at compile time. So you don't need to bounds-check at every access; you can decide at the outset how many iterations there are going to be, and doing that number of iterations will be known not to walk past the end.
"Experiment and observation" is something we know humans have been doing for literally thousands of years (and without written evidence, probably 10s-100s). At least for loose versions of "experiment" which ties back to rigor.

We haven't been doing science for very long. The primary difference is the desire and effort to add rigor and systematic thinking. The difference in efficacy is hard to understate.
"Yes, they came last week, and i wanted to see if you're as big a cunt as they said you were."
If we live in a world where everything our political opponents say is automatically false unless proven otherwise then we are already in a fractured reality.

There are 2 countries here, we just haven’t done the paperwork yet.
Make screenshots quickly in i3 with maim and xclip
Then you submit a post on FB that none of these old friends or acquaintances like or comment on and wonder why you suddenly feel like a leper afterward.
Youthful hormones and social belonging are pains too... Consumer pains are often more abstract.
I doubt you'll get much in the way of an intelligent response from fknorangesite. They'll probably just downvote you like they did me.
What We Know about Today’s Neuralink Event
There is a benefit to the convenience of printing something at home instead of going to Staples to get it printed. That is a subjective cost that cannot easily be measured.
Firstly, yes I do know that. Windows Phone was before Satya and the telemetry ramp up and was a quite marvellous platform compared to the alternatives on the market. Unfortunately they fucked it up switching from CE to NT and burned all the developers in the process.

Would it be different? No. Should it be different? Yes. They had a unique market position and squandered it. Microsoft had the whole world as its oyster and chose the bad path every time.

As for GNU/Linux on phones, only when they make a usable non Android distribution which AFAIK does not exist. Until then I'm going to have to sell a piece of my soul to the devil (Apple) who actually spend enough time making something fit for purpose to make it usable without incurring a major societal disadvantage.
Developer loses its charge over time. You have to replace it.

Every laser copier/printer still uses developer. If you can show me a model of laser printer that does not, I'm all ears.

There is also a transfer roller in each copier, maybe that's what you're talking about?

I could be mistaken, but as recently as 2020, every commercial copier I worked on, still uses developer. I have never worked on, or heard of a laser copier without developer.
People like that he's just a regular guy who does regular guy things... so basically anything that's dipshit is just being regular, saying that guys are just dipshits. Which is false or true?
>Saying that the US is profiteering by providing billions in weapons and aid to Ukraine, which it will never get back, betrays your lack of objectivity or reasonability.

Or maybe, you've missed recent developments?

https://twitter.com/kimdotcom/status/1505946734345994241

https://www.politico.eu/article/vladimir-putin-war-europe-uk...
We have a very similar story at my org. We run around 100 RDS aurora clusters and switched to graviton. I'm surprised to see 35% gains here, we saw more like 10-15%. But since amazon natively supports mysql on aurora we didn't have to worry about compatibility. Our main highlight was the way we wrote our infra as code where we made switching instances types or service we use fairly simple task, so we have switched instance types a couple of times in past and could easily make dev use t3s.
Getting on cloud is a trap and not the usual we deploy on the servers and we live situation. Give weight to write some good code to manage your infra and able to adopt optimizations as they occur. It will ramp up in expense soon otherwise.
And if you cut costs in a (prospective or current) operating area from 120% of revenue to 90% of revenue, you've opened up an entire new operating area to profitably grow in.

Developing the technology to do a thing profitably that previously could not be done profitably is the stuff unicorns are made of.
‘It just kinda went crazy’: FTX’s lavish spending highlights lack of controls
Unfortunately for them, you can go walk (or drive) and get a burger! I quite enjoy phoning through an order and picking it up like it’s 1986!
crux is such a fantastic quality-of-life package.
You can run a text-to-image model on a consumer GPU, meanwhile you need a cluster of GPUs to run a model with GPT-3's capabilities. Also Dalle 2 is really inefficient so it was easily surpassed by latent diffusion models.
If you prefer watching a talk, I can't recommend their Strange Loop 2022 talk enough: https://www.youtube.com/watch?v=ifYuvgXZ108
Instead of a timer you could have a counter. The Brita filter looks to last 40 gallons. My Brita pitcher holds 10 cups. 10 cups equals 0.625 gallons. Which means my filter lasts for ~64 fills of the pitcher.

So using a counter until 64 would tell me to refill. All you need is a plus sign and some way to reset.

Now that I've done the math I might start writing this on a pad next to my refrigerator because I never have any idea when to switch the filter. Paper is preferable to electronics in my life.
Let's go even further - "Cloud cost is underrated"
> post-PhD
Utterly disagree. I trust the people running a small/medium-sized instance I've personally vetted to host my account infinitely more than I trust some anonymous group of contractors in a content moderation farm somewhere…or Elon, lol.

Twitter's current issues by and large are a result of trusting corporate media silos with our precious time, data, and safety online. It's wildly unacceptable.
So banning right wing users for having right wing opinions are OK…

But banning antifa-accounts, that is accounts held by people taking part in month long riots and looting and political real-world violence… that is bad?

Is this satire? Is this an honestly held opinion? Or am I missing something?
https://www.math.columbia.edu/~woit/wordpress/?p=13181
Hm, on Safari 16.1 it seems reloading twice clears the cache and therefore the counter (but eg cmd-W cmd-Z cmd-R will safely increase it). Either way, I think I would prefer this behaviour to be some sort of cookie that the law okays, because as everyone else has said, I'm quite browsers will fuzz these data.

(I would probably go for a Gaussian fuzzer each visit, just because it adds the off chance that it's quite a way away from any attempted ID, making it a little bit more difficult to cast a wider net and get a few bits of entropy)
> I do not agree, and it does not make me unhappy at all. I am late 70's child, I experienced the Wild West of the internet, nothing posted to twitter (or the chan's for that matter) shock me, or makes me unhappy

Yea, i did say "everyone" but i didn't actually mean everyone. Lots of people enjoy Facebook in all it's glory, too.

> Censorship is not the solution, never has been in history and never will be in the future.

My comment wasn't about Censorship, though. It was about people and a possibility that they may prefer categorized focused communities like many of us grew up with. Which may or may not include moderation (aka "censorship")

I certainly enjoyed the forums of old more than the modern day global scroll feed. But i prefer focused/categorized content, clearly.

My point wasn't that you do or don't. Merely to pose a question. A question (among many) that could dictate whether or not the Forums of old have a place in the modern day. Whether or not the global attention draw that is Twitter is actually desired. edit: Desired enough to keep it alive and "successful", at least.
I imagine the reason bounds check are cheap is because of the branch predictor.
If you always predict the in bounds path, the check is almost free.

You also do not really care about flushing the pipe on an out of bounds index, since very likely normal operations can not go on and you move over to handling/reporting the error, which likely has no need for significant throughput.

Also I would just like to note that safe arrays aren't a unique rust feature. Even writing your own in C++ is not hard.
> You can somehow feel that he has been dying to say this for years, but couldn't while he was still working for Meta...

It's a pretty common sentiment in my experience here, de rigueur even. Expressing it in the way he does here is definitely frowned upon though -- one of the most interesting cultural traits I've noticed that Meta has fostered is an awareness and avoidance of cynicism. When people comment internally and there is even a hint of cynicism in what they say, they are frequently called out on it. Never seen such a thing ever before in my life. For me it's refreshing, but I imagine for some, depending on the topic and how negatively they feel about it, it could lead them to spiral and exit.
What actually happens with vitamins is people love taking them (because they’re colorful and some of them are food preservatives) but there’s like no evidence they have health benefits.
This does not pass the sniff test given if you look at a new printer cartridge it is quite compact from the old school HP Laserjet behemoths.
Recently I'm seeing a fair bit of people showing iPhone assembled in India. Anecdotal of course, just based on my feed.
I was told by the publisher in 1984 that The Gang of Four was coming out of with a Java version of their book. So I contacted one of the authors, (who remain nameless) who almost ripped my head off when I told him what the publisher told me!
I feel like in any sort of legal setting this would go the same way as those "do X or resign" statements.

It'd count as a policy change and "we accept your resignation" would count as a firing.
>No.. you're missing the point.

So I just rely on economic incentives then? Because I can do that centrally too.
>Maybe some of them do have categories that are too broad or subjective.

All of the ones I have looked through have that. Every single one.

We're looking at just one metric though. Freedom to express ideas on the internet. Countries where you can get arrested for "offensive" tweets or get your house raided for calling a politician a dick score a few 0.1s away from the maximum of 10. We don't know how, because AFAIK, they do not go into specifics about why they give the UK/Germany a 9.x/10 on "Internet Freedom."

>I would assume this means the experts have concluded that the right to be rude to a politician on Twitter is not a particularly important right

Then I, along with most people, would conclude that their metric (and possibly by extension, their entire index) is useless. Not having your house raided for calling a politician a dick is exactly what most people would consider a particularly important "right."
Show HN: Create a shareable quiz from any URL or text
> You may be punished, but the sense of catharsis more than makes up for that.

The kind of punishment doled out by law-abiding adults to children isn't even a blip on the radar vs. suffering a vicious bully. It isn't even worth mentioning, punishment for violence is a total farce until adulthood. That's basically the whole source of the problem; bullys have realized there are no consequences.

The best response to a bully is an immediate and vigorous aggression resembling that of a honey badger, full stop. I agree it's important to teach children self-defense and get them familiar enough with conflict to not piss themselves when faced with it. It's the children who can get away with fighting back without negative consequence, and substantial upside potential.
I think technically all the cloud sync picture/file platforms (Onedrive, iCloud, gDrive, Dropbox, etc) can do that, can't they? How I understand it, if I (or the platform owner) delete something from one of the synced devices, it should be deleted from all the synced devices.
The big this seems to be that their noising/denoising process is invertible (to some extent) so it can be used to generate uncertainties, which is something the article says diffusion models can't do. The intuition is that the "flow" process used here is reversible (imagine going backwards in time and watching a cloud of charged particles coalescing into a bunch), which gives some nice properties that random blurring used in more common diffusion models does not.

I think it's the reversible flow part that's important for the results, not the connection to the physical electrostatics system. It just happens to be that electrostatics have this nice flow behavior too and are a pretty approachable analogy for what the model's doing.
I went to a community college that did transparent HTTP proxying with not just deep packet inspection but caching and "security"-oriented javascript injection. Headers would get reordered, and its parser wasn't perfect so multi-line headers would get broken sometimes. They'd inject JS into pages to scan for... something? Other injected JS? I have no idea. But it was impossible to directly connect to another server without going through their proxy even though from the TCP layer it looked like you were. Lots of difficult to debug issues.
> Dan Andrews literally shutdown playgrounds to stop children playing (sorry "their parents congregating").

What are you on about? There was literally a pandemic on (and still kind of is).

Do you really think people can just go about their ordinary lives, with no thought for other people?
If many of these thousands of tech people start just spending their large savings and not working, that could lead to more inflation.