skysight-inc/HackerNews huggingface dataset:
I get your point, but the word “sovereign” carries very particular implications that make it a poor choice by the interviewee in this context. I think it’s uncharitable to characterise GP’s argument as a strawman.
The invariant form would be something like: for any program state, there is eventually a state that will be reached that contains the ordered set containing input elements.

My phrasing is rough, but it is an invariant that can be expressed by TLA+
Well, there's an Arduino FPGA board : the MKR Vidor 4000[0]

However I'm not sure how much people use it and if it really has the simplicity that Arduino brought to tinkering with microcontrollers. I read and hear a lot that the FPGA dev tooling is usually not really great to use and very vendor-specific, but it's something I haven't tinkered with yet so I don't really know much !

[0]: https://store.arduino.cc/products/arduino-mkr-vidor-4000
User onboarding at my previous company was a nightmare - and the last thing I wanted ENG resources to focus on. Excited to see what the Dopt team can do.
Thanks for the link.

By my reading, of the 8 incidents reported in the last 10 days for Airbus and Boeing aircraft, 7 were collisions with birds and one was:

> AIRCRAFT LANDED AND POST FLIGHT INSPECTION REVEALED DAMAGE TO RIGHT LANDING GEAR AND FLAPS, HOUSTON, TX.

Nothing about two planes colliding on a runway.
Are you sure that's not Cloudflare injecting the JS it on behalf of TopTal because they have CF analytics enabled?

But I agree with your point, this should have been mentioned in their ToS and/or Privacy Policy.
correct, no need for salespeople
I'm unsure of the reasoning, but one plausible reasoning is that if one has been paying taxes to the most local unit (state/local) for the past 10 years or whatever by working at whole foods and buying things with his productive labor, that means that both he may have paid in enough society can help him and still break even, as well as provide some historical basis to presume the investment to help him get housed will pay in dividends in continuing taxes down the line.

One might argue if someone just shows up from afar in SF, you get them housed and their life back together, there's comparably (to the 10 year person) little reason to believe they're gonna stick around to pay back into the system and produce the kind of ROI on the localities investment that whole foods guy may give

I'm not saying this is a "good" argument per se, but it would one that would make sense to me. If someone put a gun to my head and said "figure out how to use taxes, and only taxes, to help the homeless" I would probably rank cities by unskilled income : cost of living, then build rehabilitation facilities in those areas and use a nationwide distributed tax model to offer people voluntary relocation and rehabilitation in partnership with local businesses which is jointly funded nationwide to avoid the situation seen such as in SF where the minute you give the homeless more benefits you get them coming from all around to benefit.

If you give homeless benefits just for showing up it's gonna end up as a race to the bottom, IMO, where whoever is the most 'helpful' sees a landslide of immigration of people needing help, which isn't practical when the load isn't shared. SF locals are probably not going to want to be the ones known as the person that foots the rehab bill for anyone who hitchhikes to town and then merrily walks away never to pay it back as soon as they get their heads on straight.
Radix sort generally places far more restrictions on the keys than a set would.
we would run out of food for all humans in less than a year if agriculture stopped
SV must be the only place where you could be cream of the crop, statistically speaking but feel behind in every aspect of life.
It’s far easier to grab an “archival” grade copy of a YouTube video (includes thumbnail, subtitles, metadata, etc) and ask the program to embed all the data within the video file itself. It can even remux all videos into a selected container format, which is really nice.
It's not just the money. I bought a new LG OLED last year. I didn't care that it had integrated Netflix, YouTube, whatever because I had a chromecast.

But the experience of using the integrated apps is just better. It all just works out of the box, there are basically no ads (some "recommended content", but it's pretty unobtrusive) and I don't need to use my phone or worry about why youtube or netflix have randomly decided not to see the chromecast.
almost all of these are non-commercial; all but 1 of the commercial incidents from the past 10 days are due to striking birds in flight, and nothing with airport taxiing
This sort of ethnic/nationalistic slur is totally unacceptable on HN and if you post anything like this again we will ban you. I'm shocked that any longstanding HN user would stoop to this degraded and shameful level. Yes, there's a war going on; nonetheless this line is not so hard to draw and you crossed it terribly. No more of this, please.

https://news.ycombinator.com/newsguidelines.html

Edit: from your recent comments it also looks like you've been using HN primarily for political/nationalistic battle. That's not what this site is for and we ban accounts that do it, so please stop.
I agree, but I think a lot of people would argue the rising tide in the US doesn't come anywhere near to lifting all boats. If you're smart and educated then US is an incredible place to live and work. If you're not then life in the US seems quite harsh by Northern European standards.
My server is federated and seems to work that way, but... mostly, I talk to people on the server, or via my bridges.

As far as Signal goes, my main concern there is just how centralized it is. I would assume "anyone with the interest and ability" is monitoring messages going to and from Signal, which would be at least somewhat easier than monitoring stuff to all the random homeservers out there.

... fundamentally, I'm not sure the internet is trustworthy at all, anymore. :(
I can't really imagine what you believe is so bad about the Apple TV UX. It's a basic grid of available apps and videos, with an easy swipe to access video settings (subtitles, language, etc). Not complicated at all.

Most streaming boxes have the same basic interface... my usual issue is when one is laggy (e.g. TV built-in, Roku, Chromecast, etc). The Apple TV is buttery smooth, fast to scrub through videos, and never feels limited by its CPU.
Star Wars (the original trilogy) is also a classic example of this. The studio added drastic CGI changes for the 1997 release and still continues to make small fixes in subsequent releases. I believe the only way to watch it now in its original state is via old VHS tapes or bootleg scans of the original 35mm film.
The switch to Firefox meme-storm may have ignited but I saw no actual movement of users to Firefox.
The first date question is interesting. I have two answers. First, it's a different context. A salary negotiation and a date are two very different things. But secondly, would it be so bad to get that out of the way up front? If one of her deal breakers is, "needs to make enough money" isn't it better if you both learn that sooner than later and not waste time?

And let me also throw this out there: If you own a house, the amount you paid for it and its current value are public information. In theory anyone with your address can see how much you paid for your house. If it was recent, they can probably guess your salary too. Do you think home values should be private?

In the case of both home values and salary, having it public helps everyone, because it balances the information in the marketplace (of homes and employees).

Employees win when they have more information about salaries of other people.
The magic words you are looking for here is 'commercial display' and it will always cost more than a comparable sized TV -- smaller volume of production & sales and the manufacturer is forgoing the revenue stream all of that adware and crapware on the standard TV offers them. It may have audio ports but is unlikely to have more than toy speakers because a commercial installation knows to keep the audio and video separated.

tl;dr you can get something close to what you want but you are going to pay 2X or more for the unit compared to a similarly sized TV.
Yes, it's been a common view.
Seems like there's a market here for a relatively bare-bones high quality TV. Someone could probably start a small manufacturing business around that.
Can't be sure, but that would be rather frightening if cloudflare is just injecting JS willynilly
I'll presume that this was posted because of the Nordic Pipeline explosions.
>I also think that people putting a lot of focus into shoes or other clothing articles underestimate the motivation and capability of people to use the traditional "prison wallet" method of concealing things.

I felt silly for even thinking this, but seeing as you've mentioned it. It would be so hilarious if true considering he has offered to play naked[1] to prove his innocence!

1. https://www.abc.net.au/news/2022-09-07/rising-chess-star-off...
The "cheap sitcom" look is objectively worse, but it can be disabled on every TV I've encountered so far. If I bought a TV that didn't allow me to disable it I'd return it as defective.
Hi! I’m Todd, the solopreneur founder of Prerender.io and I created that $1,000,000/year AWS bill. I sold Prerender.io to Saas.group in 2020 and the new team has done an incredible job growing and changing Prerender since I left.

$1M per year bill is a lot, but the Prerender back end is extremely write-heavy. It’s constantly loading URLs in Chrome in order to update the cached HTML so that the HTML is ready for sub-second serving to Google and other crawlers.

Being a solo founder with a profitable product that was growing organically every month, I really didn’t have the time to personally embark on a big server migration with a bunch of unknown risks (since I had never run any bare metal servers before). So the architecture was set early on and AWS allowed me the flexibility to continue to scale while I focused on the rest of business.

Just for a little more context on what was part of that $1M bill, I was running 1,000+ ec2 spot instances running Chrome browsers (phantomjs in the early days). I forget which instance type but I generally tried to scale horizontally with more smaller instance sizes for a few different reasons. Those servers, the rest of the infrastructure around rendering and saving all the HTML, and some data costs ended up being a little more than 50% the bill. Running websites through Chrome at scale is not cheap!

I had something like 20 Postgres databases on RDS used for different shards containing URL metadata, like last recache date. It was so write heavy that I had to really shard the databases. For a while I had one single shard and I eventually ran into the postgres transaction ID wraparound failure. That was not fun so I definitely over provisioned RDS shards in the future to prevent that from happening again. I think RDS costs were like 10%.

All of the HTML was stored in s3 and the number of GET requests wasn’t too crazy but being so write heavy on PUT requests for recaching HTML, with a decent sized chunk of data, the servers to serve customer requests, and data-our from our public endpoint, that was probably 30%.

There were a few other things like SQS for populating recache queues, elasticache, etc.

I never bought reserved instances and I figured the new team would go down that route but they blew me away with what they were able to do with bare metal servers. So kudos to the current Prerender team for doing such great work! Maybe that helps provide a little more context for the great comments I’m seeing here.
I really would like to know why anyone would use an API to minify javascript/css/html instead of using a local library, built-in webserver features, or relying on some front-end service like Cloudflare.

Feels like we've jumped the shark if you need to send un-minified stuff to another server to get minified, sort of defeating the point in the first place...
Amazon rolls out pay raises for warehouse workers
So Amazon needs to change the button to "rent".

Without the change, it is at the very least false advertising.

In the end, big companies can distort the words and etc,
But theft is theft, it is very clear that it is theft.
So... do all that work so that you can send all your shit to Google instead of Samsung?
this is cool language learning project in code. Thanks
The NAS’s user has ListObject, PutObject, and DeleteObject. The bucket has versioning enabled, and DeleteObject doesn’t allow deleting prior versions. So the NAS can delete what’s immediately visible in the bucket, but it can’t permanently delete things.

The other way to set this up is to configure Object Lock on your S3 bucket: https://docs.aws.amazon.com/AmazonS3/latest/userguide/object...

The upside of versioning over Object Lock, for my use case, is that the backup scripts can be very simple, because they don’t have to deal with what happens if they want to clean up a file but don’t have permissions to. They just do their thing, and I’m confident that old versions are retained. The downside of this approach is that my S3 usage will increase over time, because I’m retaining all old content. So eventually it’ll cost enough for me to decide to either switch to Object Lock or figure out a safe way to prune old content.
Sure. The RyZen!
I don't mind that cliche at all, it's far less painful for people to give a definition of a word than to witness a painful argument where two people define a word in a different way and then criticise the incoherence of the other's argument.
Everything did, indeed, terminate.
I appreciate the confidence in my abilities, but I meant this more as a “good interviewers are ok with you making syntax errors (I mean, you usually don’t have a compiler) and minor issues with your code”. In fact I actually prefer to ignore off by ones and other annoying bits to ensure the interviewer understands that I know what I’m doing with the general algorithm, then go back and do a pass where I ensure these are correct to preempt a “can you run this on some input for me/how would you test this/why do you think it is correct”. If you indicate what you’re doing as you do it “this might be off by one, I’ll fix this bound later” it has usually worked for me. Not to discount your point; I can’t speak for everyone’s experiences of course, but this has been mine.
> Fedora cannot ship anything that causes the OS to provide an API which exposes patent algorithms.

If this is really the case, I have some bad news: They'll need to stop shipping drivers for anything under ~ 17 years old.

Pretty much all peripherals implement patented encodings and decodings.
> Does the IRS see that?

This is my concern here. Sounds like a new worse version of identity theft.

The most powerful players are not part of the con but they benifit from it.
The gov gets its taxes. The corporation gets a worker that does the job.

In cases like these where the victim is only indirectly robbed the powers that be are not very responsive. Double so when the enforcer (IRS) is also indirectly benefiting from the crime by having your taxable income jacked from 23% to 37% because there are several people with real jobs working under your name.

I already feel bad for the first people to have to deal with this legal situation. It will take years for the IRS to wake up and do something about it. Meanwhile their lives will be wrecked.

The worst part might be that no one will really care. Since this is targeting tech workers that are by many considered to be privileged and over compensated. People will just sarcastically say things like boo whoo did you get over taxed, you'll find a way to deal with it.
I don’t think that there is any value in grabbing all of YouTube, and neither did I suggest doing that. I meant content that specifically interests you, or is likely to interest you (or is otherwise valuable as a historical record). “All videos” means including videos that have next to zero views, sensational clickbait, Elsagate/baby content, and a whole host of other unpleasant things. Most YT archives/hoarders are selective for that reason (and because space, while cheap, is not infinite).

I quite enjoy using NewPipe on Android. Once you build up a list of subscriptions, it’s by far the most peaceful way to consume YouTube on a smartphone.
Factored Cognition Primer: How to write compositional language model programs
I would say it takes a little research beyond "tell me what to think, tell me what to do". My best advice would be youtube. This can go from something like looking at how someone like mark rober inspires little children to make, to genuine advice channels. you could also try wiby.me for an oldweb search.

EDIT: as someone who grew up on the internet sort of how it is today, I would strongly recommend you restrict your child's socialization online to only friends they know in real life. being able to talk to others is something you aren't ready for at that age and it can lead to serious mental harm. I'd also recommend you throttle their bandwidth so they can't get addicted to streaming video.
New cable, tried both ports. The update was the only x-factor.
That’s just blatantly false. Every time a plane takes damage they have to do a full analysis of similar damage and flightworthiness. The people on call to do this aren’t cheap and great caution is taken in the procedures of moving planes to avoid damage of all natures.
> building a simple hardware dev board is a straightforward exercise.

I would argue that you can make your own microcontroller dev board easily enough too. An RP2040 or similar, a USB programmer, some kind of voltage converter, etc.

The joy that Arduino bright to microprocessors was that it was a device that was useful for a lot of projects straight out of the box, accessible to those with only high school knowledge of circuits or programming.
Because being able to draw "a painting of joe biden as king kong on top of a skyscraper in the style of monet" was something that until very recently were thought of as requiring intelligence. Of course, now it is not so impressive anymore because it is all mathematics and digital logic. But that is the problem with defining artificial intelligence. Any time a task is implemented on a computer you can point to that implementation as evidence that the task didn't require intelligence after all. Many decades ago researchers thought that playing chess on a high level required intelligence, then go, then poker, then composing music, then driving a car, etc... Nowadays researchers are more cautious and don't state that "solving task X implies intelligence". Thus it becomes a moving target and a computer can never prove itself intelligent.
That’s likely uncompressed. Try running du -h -d0 against it to see its on-disk usage. If it’s still high, you probably accidentally decompressed it and might benefit from a reinstall to fix that.
If you read the fine print you'll find that what you're buying is a license that can be revoked, so its currently perfectly legal. The law doesn't consider it theft. You'll have to get the laws changed so that contracts like that aren't legal.
Thanks for the hint, I will follow it next time.
Legal Marketing for Plaintiff Law Firms.
Sorry, could you explain Schmidhubering as a verb? I know who Schmidhuber is, but not familiar enough to understand this. Is it that Schmidhuber makes claims that LeCun's and others' ideas are derivative of his own?
Engineering robust and scalable molecular qubits
https://archive.ph/tkRjj
It's easy to turn off the JIT if you want - you can even do it on the iPhone now. It makes the web dogshit slow and is a fundamental nonstarter of an idea.

A slightly more feasible way forward here is replacing JavaScript with dear god anything else but JavaScript but that's a long way off. WebAssembly seems to have stalled.
What am I missing? What's wrong with input switching being made at the OS level?
Closure compiler has been a thing since forever. Some people don't want to fiddle and don't care about owning their tools.
Oh this is cool. I would probably rather just have even better tooling for VS Code but this rules. Super glad Teensy support is on the way too.
This sounds cool. At my current job we do multi-arch builds in GCP Cloud Build using `docker buildx`. The native `amd64` builds take like 15 minutes and the `arm64` component takes well over an hour with occasional time outs. We use the `--cache-to/--cache-from` to speed up repeated builds. If we can't wait the hour+ for the emulation build to run, we have a `seed-mac-arm64.sh` script that a developer (i.e., me) can run on their M1 mac to do the `arm64` half of the build, which is then picked up by GCP Cloud Build. It's a small pain, but helps us in a pinch.

This solution sounds far easier!
Well, you can work on it with the existing functionality, with the trust that everything that's hosted on Penpot is first released to the current version on Github. Eventually they will diverge though, and the source code will be a version behind what's on their site. At first the files will be backwards compatible, but soon there will be a must-have feature on the hosted site that will make files incompatible. Then the VC funding will dry up, the hosted site will become paid, and those features and backwards compatibility won't make it to the open sourced code since there won't be the resources to work on the community version. Now you will be stuck, your designs will require the paid software.
YouTube offers a number of codecs and nitrates. IIRC Opus goes up to 160kbps and m4a goes up to 128kbps, with lower bitrates also available. I imagine video is similar.
From wiktionary:

> 1. The body of all written works.

> 2. The collected creative writing of a nation, people, group or culture.

> 3. (usually preceded by the) All the papers, treatises etc. published in academic journals on a particular subject.

> 4. Written fiction of a high standard.

So it sounds like you're basically describing definition (1). I make this judgement because "this tastes good" is not creative or fictional writing, which are key points in definitions (2) and (4).
How would you teach people to safely and effectively pirate content when you can't ensure that all participants are benign actors?
My guess as to what is happening:

1. Toptal uses Cloudflare for DNS

2. Toptal uses Cloudflare Insights, which automagically inserts the tracking snippet of `https://static.cloudflareinsights.com/beacon.min.js/\\*`

3. You send the request to Toptal and somewhere along the line, Cloudflare misinterprets the request and injects the tracking code

It's not anything nefarious by Toptal. It's not their minify script. It's a misconfigured page rule, or similar. It's a bug.
Well the API was easy to implement, took minutes. Was more just out of convenience for producing a lot of assets that then get served to a lot of people. None of it ever went into production because we caught the requests pretty quickly this morning. As well, most of the python packages would mangle the minification - the one I linked to in the top post works great - documentation isn't up to date for python, but not horribly hard to setup
I think it is part of cloudflare's browser insights which is now part of their "Web Analytics". You will see this almost with any site using cloudflare that has web analytics enabled.

https://community.cloudflare.com/t/beacon-min-js-as-malware/...

https://developers.cloudflare.com/analytics/web-analytics/

The site owner needs to configure cloudflare correctly to add analytics on certain pages only otherwise cloudflare injects it by default.