skysight-inc/HackerNews huggingface dataset:
I mean, I use self-checkout and generally like it because the queue moves much faster, but "worth a lot" is too much IMO. At regular checkout, I'll pause my podcast and pull out one of both earphones when the person in front of me is paying, and then I plop it back in once I'm done. That's like, what? 60 or 90 seconds or so. Not a huge deal honestly.
Were you looking at the Clear line for non-Precheck people, perhaps? (I can't remember if Denver had a separate line for that, but many airports do).

I was in the Precheck line without Clear, and the Precheck + Clear people moved way faster to the head of the line I was in.

(To be clear, there are two separate Clear lines in many airports, one for people with Precheck and one for people without it. So four lines total, normal/precheck/normal+clear/precheck+clear).

-----

But regardless, sometimes one of the lines will be shorter than others. Sometimes regular is faster than Precheck too (but you'll have to take off shoes and take laptops out, etc.). Some entrances will also have shorter lines than others.

But having both PreCheck + Clear means you can choose from any line you want. If the PreCheck line without Clear is faster, well then, just go in that and skip Clear this time.
Society in general is being challenged by all the things that aren't scaling. Health care. Child care. Construction. With no clear way to boost productivity in any of these.
Atlanta as a metropolitan area should not be used to set a bar for walkability. It is a massive city. Instead, one should take neighborhoods and start there. Atlanta certainly has walkable neighborhoods, what it lacks is efficient infrastructure to get from one neighborhood to another.
Wonderful work! Your articles are my favorite coffee reads
Different contexts and not really comparable.

1) The whole airspace environment is heavily regulated (ATC, rules, etc), cooperative (think transponders or TCAS for example) and usually quite sparse (several miles between planes).

2) Pilots are regularly trained and evaluated for these kind of take over in case of emergency.

3) You have two pilots monitoring each other.

4) The development cycles for these automations are far longer, and the QA a lot stricter.

5) At least in the most critical phases (take-off, landing), the automation is not exactly end-to-end. It's more the case of grouping batch of steps together into bigger actions to reduce the load on the pilots. The pilots are still quite busy during these periods and very much in the loop.
I know it's not quite the problem you are talking about (which would be dealt with by making normal contactless / chip and pin readers a requirement) – but I'd love to see a legal requirement that when your charge point can't contact the piece of shit payment / authentication service the user gets to charge for free. That would soon see an uptick in the reliability of charge points...
Yeah, right, ever seen "following distance" at rush hour in a US city? I've got a higher chance of seeing a unicorn.

In reality, self-driving cars would help by increasing following distance and leaving a genuine gap so people don't crash every goddamn day on the same arterial roads.
Nice article explaining why Apple won while Google lost: https://www.theverge.com/24003500/epic-v-google-loss-apple-w...
> except security is a bit worse (unless you have PreCheck and Global Entry, in which case it's actually quicker and easier than before).

Security is worse everywhere, even if you have PreCheck.

For starters, the rules for PreCheck are completely arbitrary and up to both the airport, terminal, and the whims of whoever is in charge that day. Even using the same checkpoint at the same terminal, sometimes you'll have to take your laptop out, sometimes you won't, sometimes you'll have to go through the scanner, sometimes you'll be able to use a metal detector, etc. Before 9/11, it was much more consistent (in large part because they didn't care about most of those things).

In addition, the inability to take arbitrary liquids (and more recently powders) is a huge inconvenience that wasn't in place before 2006 (and 2018).

> It's also been my experience that American airlines are pretty bad across the board. The European and Asian ones are typically much nicer, and even their regional/budget airlines have very nice accommodations and check-in experiences compared to United, etc.

This is a common perception, but having flown a lot within Europe and Asia, I disagree with this. One reason people perceive this is because they're used to comparing European airlines on international routes (where they are often, but not always, better), and because of the geography. Many of the popular US domestic flights are coast-to-coast, which results in a six hour flight. There's nowhere in the EU where you'll get a six-hour domestic flight - LIS to HEL is only 4.5 hours, and that's about as long as you'll get[0]. If you fly, say, AMS-WAW or AMS-BER, even on KLM, you'll get pretty minimal service on a narrow body with no in-flight entertainment or WiFi. And that's considered acceptable because it's a pretty short flight. But it's not exactly a step up from what you'd get on a comparable length in the US.

This isn't to excuse US airlines - as a frequent flyer, I'd really love better service on domestic flights. But it's an apples-to-oranges comparison: flights within the EU are shaped differently from flights within the US, and if you compare flights of similar lengths and similar levels of competition, the gap is pretty small.

As for the regional/budget airline difference... I don't know if I'd agree with that either. Is Spirit really worse than Ryan Air?

[0] You can stretch further by going as far as KEF, but at that point you're flying FI, and even though they've gotten a little better now that they have to compete on their international flight routes, I would not want to fly them for any long-haul flight if there's another option.
The keys-as-hash codes trick only works for fixed-width integers; otherwise you have to explicitly store the hash codes. I assumed unique hash codes in my implementation, but I think you could easily adapt the algorithm to allow duplicate hash codes. Tolerating hash code collisions would avoid having to increase hash code size (for collisions in their case, you'd just need to probe multiple offsets in the key/value array).
Very interesting, 2012 marks an inflection point, a change of the regime. I noticed that at that time the discourse shifted from the founder's concerns to that of the employees and became less interesting for me.
Gotcha, that makes sense.

How do you handle for example visitor spots (e.g. one off charge) in a multi-family unit?
It seems like a lot of the problems arise from the strings being attached to the top of the pin

Why not attach them to the bottom and have the setting machine underneath?
It doesn't need to be trained on CSAM at all. You can make a 2-pass workflow using Stable Diffusion: start generating normal porn for a few steps, and for the rest generate children. I don't think this can be stopped.
I wonder how much this will have an Osborne effect i.e. will people just stop buying their EVs until they release cars with the Tesla connector?

Buying a car without that plug now is a bit like buying a Betamax player right after everybody announces they'll soon only support VHS.
Except it's missing a 2-5 year timeline that will never come to fruition.
> … democratized access to hundreds or thousands of mass-produced Herons in IBM’s refrigerator-laden fields …

#brandnewsentence
If something like this is financially viable (doubt) then it sounds like the density already exists and the problem is the restaurants aren't near the people. All the replies are focused on the density you mentioned but mixed use is probably the bigger and far more easily solved problem.

Letting restaurants open nearby to where there are clearly a lot of people is a tried and proven solution, not gadgetbhan for food.
Do you really think the government has a tough time tracking us now...? We're one subpoena away from all our emails, credit card transactions, text messages, cell phone locations, etc.

Would you rather they have a real person standing in a booth looking at your old picture, at your face, at the old picture, at your face, doing the same thing but taking 10x as long...?
Things like little kiddy rides and vending machines are able to take contactless payments (in the UK). I don't really see how this can be a valid arguement.
I'm in the process of deactivating my family Apple One account (they overseas) so I can change app store for few minutes and download all the local apps I need.

I have to wait until end of month so my subscription actually expires, then make sure family sharing is disabled (which already screwed up location sharing). Oh and about 2.5TB of entire generation photos are up to be deleted by Apple if I screw up.
why not use game engine(godot,etc) directly and write your editor on top of that instead?

ImGUI is cool for gaming yes, but not good for daily normal GUI desktop apps, per the design.
I thought the problem was that it takes long enough that you aren't by the "pump" during process. Also that the chargepoints are likely less infrastructure than a pump. So something has to contact you (SMS/email/whatever)
Prior to the last half century or so, there was never a period in human history where you, as a norm, had both parents working outside of the home. I don't think it's realistic to provide affordable childcare at scale. Why not? Because people who provide childcare need to make enough to live too, and ironically they often have their own childcare costs to pay.

I know the typical answer is, "the government should just provide it". But is that really an ideal we should aspire to? Pay $56,000 a year so someone can work a $50,000 a year service job while strangers raise their children? The whole thing seems fundamentally broken. We've structured society as if the highest and best use of everyone's time is be a W-2 wage-earner.
Secure remote in X11 is a bag on the side that requires work and integration. SSH has to explicitly transport it for you, carefully setting it up the right way. Even worse, SSH has to meddle with X11 internals to prevent your desktop session being trivially pwned by the remote.
> How can something feel sugar-ish if it's actually more verbose than ordinary JS code?

I personally find XML much easier to parse than a lot of nested callbacks and I especially like that content is always inside tags, rather than another argument as part of the library's functions. p("Hello, world") is readable enough, but as soon as you start adding html attributes, it becomes less legible to me:

li(a({href: "https://vanjs.org/"}, "VanJS"))

vs.

<li><a href="https://vanjs.org/">VanJS</a></li>

I'm certain some people probably prefer the former over the latter, but I much prefer how JSX/XML reads. I can immediately tell where the content starts and in formatted code, I think it's a lot easier to see visually where things start and end, because of closing tags, instead of just a parentheses.
The two paragraph abstract states that the goal is to identify CSAM in the training data itself and remove it. They ran a study and found "many hundreds of instances of known CSAM in the [LAION-5B] training set".
The point is that the article states "averaged across 4 diverse customer tasks, fine-tunes based on our new model are slightly stronger than GPT-4, as measured by GPT-4 itself" and then proves it with nothing tangible, just the 4 selected metrics where it performs the best. I mean obviously a finetuned 7B LLM could perform, let's say, text summarization well. The question is what happens if that text contains code, domain-specific knowledge where some facts are less relevant than the other, etc., and that isn't going to be answered by any metric alone. Fundamentally, with enough diverse metrics, each based on a different dataset, the one with the biggest overlap of the dataset for finetuning will perform really well, and the rest, well, not so well.

Bsically, the statistic means that there's a set of data for which that particular (finetuned) network performs slightly better than GPT-4, and everywhere else, pretty bad. It's just not generalizable to everything while GPT-4 is. It's just as good as saying "calculators outperform GPT-4 at counting". Like, yes, they probably do, but I would like to see - is it applicable and practical, or did you just train a LLM to write all the names in Polish alphabetically really well? And that's why qualitative approach for evaluation LLMs is just better.
> Not so, unsafe code still has restrictions in Rust due to pointer provenance.

That's separate from what I'm referring to. In C++ a float* and an int* can never alias. In Rust f32* and u32* are allowed to. Meaning in a situation where whether they can alias can't be established by provenance (e.g. in a separately compiled function where the compiler at compilation time can't tell where the float and int came from) then C++ is able to use types to rule out aliasing, but Rust cannot.
My dad set pins manually when he wasa teenager. There was a pedal he stepped on and then he had to put pins on the spikes and hop back up on a shelf above the pins. There were people who didn't wait for the pinsetters to get out of the way and retribution was funny ... They'd hold the pedal down so the spikes were still in the pins and the ball would simply bounce back up the alley.
This is kind of a kinda ridiculous argument. You're not gonna hire a blind level designer or blind character artist.
It's not hard to find the frontier. Just go to the cold areas, but that's not what this really is about, it's just finding cheap cool hipster enclaves.

I assure the readers that there is ample frontiers in northern canada
> quiet preloading of an attacker-selected state while the machine is off.

That attacker with physical access can chose from multiple other attacks, so why bother making this one more secure. They can sniff keyboard strokes, install malware into the UEFI, etc. pp.
But how can you successfully deliver food if a pizza doesn't fit in?
> The Times story feature art — at the top of the article — is a mosaic composed of various images apparently supplied by Lu, including interior and exterior shots of the work camp. The mosaic is composed of 10 images. In the original article, the images’ URLs had irregular numbering, jumping from four to 20. Though only 10 of those 20 images were utilized in the opening mosaic by the Times, it was possible to view any of the 20 images by changing the image number in the file name listed in the image’s URL.
> Cheese is extra

https://chipsandcheese.com/
> TLA+ is missing is any notion of executing code

Which is why you had to talk about TLC, not TLA+. And yeah, while the presence of printf-style debugging for specifications being model checked by TLC is technically executable-ish, I think in this case, it kind of proves the point that TLA+ itself isn't.

Regardless, I like the direction Quint is taking though I would quibble with this language in your reply:

> our tooling to find and diagnose typing errors [runs] prior to [...] any type checker

If you are diagnosing typing errors, then definitionally, you are running a type checker. It's great that it's fast and interactive, runs prior to the model checker, is easy for programmers to read/write, et cetera. But…it's still a type checker. :-)

Anyway, keep up the great work! I've been on your newsletter for a long time and love the work you guys are doing.
hmm...i wonder why it's taking so long to make the server self-hostable...

https://news.ycombinator.com/item?id=38708878

EDIT: maybe it takes a long time to do that, i don't know. it made me a bit suspicious, but I shouldn't assume malice.
I don't believe J.R.R. Tolkien, personally, would have lacked motivation to produce and publish his works if his future estate would have been unable to act in a rent-seeking manner 50 years after his death. He published under the pre-1976 regime in the US anyway.

Would some choose not to create works because they wouldn't get that deal in a hypothetical world where we reigned-in copyright terms to pre-1976 durations and life-plus clause? Yeah-- maybe. I don't think the effect would be terribly chilling. There was a lot of work made available under the 1909-1976 regime.

I certainly don't think we got an explosion of new work because of the 1976 act. It was a windfall for existing rightholders and a method to limit future competition.
> Inconveniently, metal that contacts silicon, metal that crosses over silicon, and metal that forms a transistor all appear very similar in this chip. This makes it more difficult to determine the wiring.

I've heard that all diodes are LEDs, if one's vision extends to the infrared. Is it possible to fire up the chip and photograph it in the infrared, and would that make the transistors stand out?
unless its a perfect shining jewel - every piece of existing code constrains future development, until progress asymptotically approaches zero and development cost asymptotically approaches infinity
I'm sure GM's lobbyists will keep Chinese EVs out of the US market with steep tariffs. I'm amazed they didn't succeed at locking Toyota out in the '80s.
Canada solved this problem by putting the money into a government created (but not owned or run) investment board with, while probably not quite market rate, salaries that make "taxpayer advocates" initially scream.

The result? Funded 75 years out.
Yes, they're probably thinking of DoH, which is much, much more widely deployed than DNSSEC.
By that logic, there is also no TCP, HTTP, HTML, Linux, x86, ...
Yes, good point (apologies to the Lukin group). That's an interesting proposal, but it seems from a cursory read that you would need still need very many physical qubits to approach that asymptotic rate, and also you would be forced to take a very large slow down due to serializing all of your logical operations through a smaller set of conventionally encoded logical qubits. That said, I'm not current on SOA LDPC QEC proposals, so I'll moderate my claim a bit to "the first actually useful logical qubits will almost certainly have an encoding rate lower than 1/5".
That's the most centralized system imaginable.
What happens when all the fake diffusion model generated csam that is flooding the darker areas of the clearnet gets inevitably trained, setting aside the notion of model collapse?

I don’t see this issue going away anytime soon, especially since all that fake csam is still legal and basically unstoppable.
It looks like dangling is key to the untangling.
He called for peace and then later for the mob to leave.

A generous to the other side reading of events would be it was a suggestive display of power, that he could rally even more later. Kind of like his perfect phone call being pitched as a thinly-veiled mafioso threat.

Real coups attempts involve officers rally elements to decapitate attentive movements, leaders, non-supporters.

In no honest reality was the mob action on the Capitol anything other than a nuisance. A police department from a city the size of DC could put down a majority unarmed mob with less-than-lethal and more-than-lethal assets.

And even if the mob magically overpowers the police department, the Nasty Girls would put them down and the inauguration ceremony would proceed as normal or be ignored and Biden installed as needed.

Your anonymous account and dishonest retelling (the pipe bombs were not at the Capitol) are nothing but a thinly veiled political troll. Go away.
It's because there are enough rich people who only want to hire Ivy League graduates. Not for any fact other than everyone around them that is Ivy League tells them its the best place to hire from.
Where do the pins go between the first roll and the second roll??
I have no idea if Google had anything to do with USB C but "design" doesn't mean "build schematics for". It could be that they just had a few specs they liked and thought would make a good connector and did a rough proposal of form factor and specs.
Very true. What's more is that even if we did find a way to scale these, the cure might be worse than the disease. Do we really want a bunch of AI-driven robots taking care of infants for example? Would we want to treat sick people with the ruthless efficiency of a automobile assembly line?
Wii Bowling?
Yeah, the liquids thing is a real bummer. And there is definitely variance -- smaller airports tend to be way more friendly and accommodating -- but in general, I would say PreCheck has been a huge blessing for me. 90%+ of the time I don't have to take anything out, take off my belt or vest or shoes, etc. Usually in and out of security in 2-3 minutes.

Global Entry is even nicer, letting you skip the hours of immigration lines.

I don't particularly like flying, but I do love airports... just hanging around in them, having a drink while watching the planes do their thing... so it's really valuable to me to be able to get through security easily and be able to enjoy the scenery and people+plane-watch :)

--------

edit: either you edited your comment after I posted, or I missed the second half of it:

> One reason people perceive this is because they're used to comparing European airlines on international routes (where they are often, but not always, better), and because of the geography.

I can believe that!

> you'll get pretty minimal service on a narrow body with no in-flight entertainment or WiFi

I don't care about that so much, but the seating is sooooooo uncomfortable, at least on the short-haul United, Delta, and American flights I usually take.

https://www.seatguru.com/charts/shorthaul_economy.php

Has a good comparison... United's seat pitch and width are typically pretty bad, especially for their regional short-hauls, but they're very often the only airline that flies where I live :(

> As for the regional/budget airline difference... I don't know if I'd agree with that either. Is Spirit really worse than Ryan Air?

Don't know, haven't flown either.

But NEVER NEVER NEVER NEVER NEVER EVER fly Frontier: https://www.flyfrontier.com/

Worst experience of my life, ever. I'd rather go to the dentist than fly with them ever again.
Surely this could be dealt with by accepting a "membership card" over NFC. I'm sure my dad has a token for the parking barriers at his place of work which can also take direct card payments.

As an added bonus, when you have family or friends visiting they can pay to charge as normal (at presumably a slightly less attractive rate).
I argue that Twitter is far superior now to it's previous incarnation. It's no longer controlled by a certain political viewpoint and now encourages all free speech. I find it extremely useful, much more so than any other source now.
> Found 218 paths with 3 degrees of separation from Adolf Hitler to Wet T-shirt contest in 54.73 seconds!

Finally we know!
Some of my notes on the same Lex interview:

> Identify and recognize the difference between one-way doors (reversing decisions here is difficult and expensive) or two-way doors (you can make a choice and if it turns out to be wrong you can go back and pick a different door with low risk). When dealing with two-way doors it's fine and desirable to iterate quickly.

> When a decision has to be made, "disagree but commit". After a discussion takes place, even if you disagree with some aspect, you eventually commit to supporting whatever plan has been made.

> Another key take away was that previous generations need to set up the infrastructure that makes it possible for the next generation to innovate. Jeff talks about how Amazon wouldn't have been possible without existing mailing infrastructure and the Internet. He says that he's hoping that his rocket company can help set up the infrastructure necessary for humanity to continue growing and expanding in space.