skysight-inc/HackerNews huggingface dataset:
Yes you can just use a hardware FIDO token like a Yubikey as your passkey.

And you can enroll more than one, so if you lose or wreck one, you’re not locked out.
By sending all key-press events an average of 2ms before the next frame is rendered
The reverse image search is going to be super useful for me as Google recently ruined theirs in attempt to promote their Lens app.

Overall, while I'm still not sure whether Kagi is worth the money I'm paying, I keep doing it so that they can release improvements like this one. Their quick development speed is great to see.
And that is the difference between theory and practice...
Really? I can’t imagine people turning off the lazy evaluation. It’s a deep part of the language. You can force things to evaluate strictly, but that’s not disabling it.
Interesting aside speaking of lucid dreaming- at least one of the authors of this paper is a lucid dream researcher - Karen Konkoly at Northwestern. Another people she coauthored studies conversing with lucid dreamers while they're mid-dreaming. Interesting stuff.
Can never get into Kagi. You pay for privacy but if it’s ever sold your privacy will be retroactively taken and will be even more valuable since it will be known by the buyer that you pay.

Better off using a VPN and duck or Brave imho.

In any case these improvements do look very good. Public record search is cool. Lenses improvements look interesting as that seems the be the most unique feature.
Or, in a slightly less jaded take, the dreamers. Maybe not everyone excited by technology is trying to cheat you?
Not a lot of its using firecracker https://firecracker-microvm.github.io/
This is how passkeys work
I strongly suspect the tipping demand is a negotiating tactic. It gives the union something to give up on their side which they don’t really care for in exchange for a concession from Apple.

Tipping isn’t gonna make Apple workers a penny. No one’s gonna tip them. But on the other hand, Apple is absolutely not gonna add another step to their checkout process offering the customer a chance to tip.

The tip demand is a negotiating freebie for the workers. Something they will happily give up but Apple will be willing to make meaningful concessions to remove.
For the sake of the conversation,

> Apple uses LPDDR4 modules soldered to a PCB, sourced from the same Korean company that everyone else uses.

Apple might have sourced and soldered on LPDDR modules from the same company, but it is not LPDDR4 and it is LPDDR5 6400 connected via a 256 (Pro), 512 (Max) or 1024 (Ultra) bit wide memory bus.

> Intel has used the exact same architecture since Cannon Lake, in 2018.

Other than LPDDR5 6400 had not existed in 2018, no Intel CPU has ever used a 512, leave alone 1024, bit wide memory bus even in the server setup. Wide memory bus is conducive of faster concurrent complex builds, and Rust / Haskell builds show significantly faster build speeds as well.
This is standard business affairs for pretty much every big company. Apple, Google, Amazon, and many other fortune 500 companies, have all bought up dozens of businesses and their products and rebranded them as their own. Not sure why we're solely picking on Microsoft here...
Thanks for your level-headed comment, friend. I have just one note.

> is Utah actually different than other places most Americans would respect for being more "level-headed", like the UK (https://www.wired.co.uk/article/uk-porn-ban-digital-economy-...) or Germany (https://www.wired.co.uk/article/germany-porn-laws-age-checks)?

In these places, you can go to jail for posting a slur on Twitter or doing a Nazi salute.

In America, that is (or should be) considered insane dystopian bullshit, not "level-headed" policy.

Also, both those places have a comically naive and hamfisted understanding of the Internet, and America is usually above that (as every modern country should be). Didn't England try to ban encryption, and didn't Germany censor all of YouTube with GEMA via a super-literal interpretation of copyright violation? Are these places that sound appealing to live in as a technophile? "Das Internet ist Neuland." *puts on 3D glasses*
Given the vast majority of the market has been and continues to be 60hz, their testing on a 60hz monitor isn't just understandable, it's highly relevant.

If a terminal program running on current low-end PC hardware can't handle updating/drawing within 1/60th of a second, something is very wrong.
According to the announcement, the rollout of this feature is happening gradually and is based on the account age.

The newly created bots will only be able to register handles after all the current users get access to this feature, so the impact of bots would imo be extremely limited.
I tend to use parenthesis by default even if they're not necessary, and I also prefer a space before the opening paren.

In F# you can use `f()` or `g ()`, but if you are chaining them, `f ().g ()` is not the same thing as `f().g()`, so you are forced to write `(f ()).g ()` if you use spacing.
So, the thing with Vite is that it’s great as long as your use case is in the happy paths it caters to. But if you diverge from them, its config story rapidly devolves to:

- A very large subset of Rollup, which is so large that the docs seem to be self-mocking about it

- Another very large subset of ESBuild, which is smaller but still non-trivial

- A whole bunch of Vite-specific stuff that’s only partly (and incompletely/inconsistently) abstracting the omitted portions of those subsets

- An enormous amount of terminology, some very poorly described in any docs if you even know which to consult

- Plugins you’ll definitely need and which are a superset of Rollup’s, and the abstraction is so leaky that you’re often better off skipping the Vite keyword in your searches

I mean, even in the worst case it’s not Webpack, but it’s astonishing how close it can feel very easily.

And I don’t mean this nearly as harshly as it probably sounds. Vite really is great if it’s designed for your use case. But it’s far from the no-headaches panacea even I thought it was a few months ago.
The people being upset don't seem to be the same as the people owning the Tesla's though? Just gauging from HN discussions, the comments with the most moral outrage seem to be coming from a place of pure principle.

Edit: I scroll down and the first thing I see is a first person account of some one having sold theirs after disliking the overall experience, turning white. Welp, guess this is an opinion I should reflect on.
What's high IQ gotta do with being able to beat their heads against a wall?
It's a $15000 product. There's nothing fair about saying "just don't use it". That's not even a valid excuse for when your $2 flashlight doesn't make light.
Opera is a private company traded on the norway stock exchange. What do you mean owned by China?
> The keyboard, they minimize way too much, like having to use the fn key for home, end, and pg up/down, as well as insert, I need to press fn+shift+insert to paste something in gnome terminal which means I need to do it for Neovim.

This is a common problem with many laptops unfortunately; there seems to be this obsession that keyboards need to be exactly rectangular, so you need to cram.

I remapped Windows+p in my WM to paste from PRIMARY and Shift+Windows+p to paste from CLIPBOARD. Even on a regular keyboard it's actually a lot more convenient than Shift+Insert.
Also, if you get stuck with it or want to configure it differently (eg: using a struct definition or values defined elsewhere), feel free to reach out to my username at gmail.

Just make sure to use a dot between my first and last name.
https://kagi.com/pricing?plan=individual

I knew Kagi is paid but I didn't know they had a limit on how many searches you can perform, which is also rather low. But what I really didn't like is how dishonest they are. The lowest tier costs $5 and includes 200 searches per month. That is 6.66 per day! But they say "Includes enough searches for 99% of internet users" because "The average person searches Google three or four times per day". They know very well that someone for pays for Kagi (or even knows about Kagi) doesn't perform three or four searches a day.
Time to break them up into at least 3 companies and be done with it.
Honestly, you might be right. This website tracks the GDPR fines and there are no US companies in it.

https://www.enforcementtracker.com/

Ireland is the biggest one in terms of money fined because Google etc have their subsidiaries incorporated there. But I don't see any fines directly to a US company.
Please provide examples. Porn production used to be death penalty material in England after the printing press was invented.
An Archaeology of Books Known to ChatGPT/GPT-4
>But where is the line drawn?

The moment they claims themselves to be so righteous ( even surpassed Google ) and the defender of Fundamental Human Right.
there's also more source material: video from youtube, tiktok; emails, twitter .
Probably not!
When I first went there, there was no key. I just went there now and saw the key. Don't know what happened before but now I get it.
If people here can't understand what passkeys are, how are the "normies" gona get it? Or maybe the wide public is not supposed to get it how it works; they should "simply" use it.
How is that different from https://news.ycombinator.com/bestcomments?
Sorting How To – Python
It really could use more commercial success stories to validate it though. Cassette Beasts is very impressive, but there need to be a lot more to give confidence to teams to switch over.
Somewhere someone is laughing in Chinese.
Depends on the size of the bank. Obviously the government prints money when it needs to buy ideally it ain't just freely printing willy nilly every day.
There were a couple releases that were bad when I first got access, but the last couple have been good for me.

It is excessively cautious, but that's better than the opposite and I take over whenever it could annoy other drivers.
Most programming is not the kind programming you see talked about on HN. VB is still huge in legacy stacks.
I’m simply con because for the price the build quality is terrible and I’m tired of the hype FSD has been given. It’s all garbage and Elon and Tesla deserve a back hand for the marketing scam.
About a month ago we saw very similar headlines that turned out to be misleading. The FBI posted a warning about juice jacking. The FBI left off that there's no evidence it has ever happened and their post was only based on a 2019 press release by another agency stating that the hack might be possible.[1]

This article is source to a local news article.[2] The assertion that scammers could use QR codes to deliver malware is the only fact in the article without a citation. The security expert they interview is warning about phishing pages, like a sticker on a parking meter that leads to a fraudulent payment site.

It's also odd they cite only to "the FBI". These articles tend to cite either to a specific FBI spokesperson or to a specific FBI office. It's possible the journalist took the interview with the security expert and merely found something on some FBI website in order to get the better headline.

[1]: https://slate.com/technology/2023/04/free-public-phone-charg...

[2]: https://abc-7.com/news/cover-story/2023/05/01/fbi-warns-of-q...
Definitely will evolve, because we don't even know how to do self-driving cars, for example. Maybe we still won't in 20 years. Driving with heavy snow on the ground, in the dark, with pedestrians, is a hard problem
So can I set up a self-hosted solution?

I don't want to trust a 3rd party to be able to restore access to accounts after losing my phone. I've lost several Google and Yandex accounts that way. Despite knowing the passwords, they refused to let me log in again after loosing my phone.
I guess we just disagree on if the euro makes sense as a reserve currency.

It’s too volatile for my taste. It observably performs poorly during times of panic. Almost all global trade is conducted in dollars. Inflation is much worse in the EU than the US.

The ECB just follows the Fed, except worse. They maintained negative interest rates for a decade!

Can you make a case for why the euro should be a reserve currency?
Uh oh not an AgEnDa! Because no one on Facebook/Nextdoor has an agenda, they're definitely not regurgitating the newspapers agenda at all either.
Human agency to impart 782,000 newtons at will regardless of intoxication, skill, alertness, etc causes accidents that kill and maim an awful lot of people. I for one look forward to the day that idiot weaving through traffic at 80mph in an enormous SUV agency is banned for my, my families, and everyone else’s sake.
The passkey itself is an encryption key.

When you register a passkey to access a site, the component that holds the passkey generates a site-specific asymmetric encryption keypair. It then gives the site the (unencrypted) public key, and the private key encrypted with the passkey.

To authenticate, the site sends the client the encrypted private key and a challenge. The client uses the passkey to decrypt the private key, which it then uses to sign the challenge, then it sends the signature back to the site. The site verifies that the signature is valid and then lets you in.

A lot of what is interesting about passkeys is the supporting components that are available on popular platforms. Generally speaking, on client devices they store the passkey in special hardware so that the passkey itself is not available to the regular cpu. They also store it in the cloud, probably also in special hardware, and can send it to new client devices.

This all has some nice security properties, namely:
* sites don't have any information that would be useful in gaining access to a different site (reduced blast radius when any given site is hacked)
* the passkey is not available in the clear to regular programs running on client devices (hard for malware to steal)
* The client software ensures that the passkey is very hard to guess.
* The client software authenticates the site before signing the challenge. (makes it hard to phish)
Well, they're different objects. The lost weather balloon that would have been unidentified before is now identified. You don't hear about those though, since they're boring.

The weather balloon that would not be detected at all before can now be detected as a UFO. As the range of sensors expands the LIV probably gets bigger too just because the radius is larger. The more sensitive and numerous the sensors, the more false positives you get.
Local news is staffed by the same prettyface, knownothing anchors as mainstream network. What’s lost? What’s gained in what bullshit passes the censors in online comments these days? Most are inorganic anyway.
I hope the same thing about Google, Facebook, Amazon, and everybody else that is currently in the middle of making the same mistake IBM made in the 80s and 90s when they started outsourcing.
Cool! Was that for MVS or VM (or both)? I imagine there were a lot of challenges adapting it to work well in a 3270 environment.
Both exist. I’ve seen a good number of folks who’ve gone from cryptocurrency to NFTs to AI in fairly quick succession, and I’m inclined to see that as grift.
It's funny how info travels. A local news site did a story about fraudsters covering up the "scan to pay" qr codes on parking meters with qr codes that take you to a fraudulent site. Totally plausible.

They throw in an unsourced assertion at the end that maybe hacking is possible. That then becomes the focus of this daily mail article.

https://news.ycombinator.com/item?id=35809719
Well put. I guess in retrospect: I too use the Platform™ willingly, it is quite fun to RE :)
I always prefer to start with theory or a paper, but it seems to be an outdated approach. You can try checking out FAISS, which has good performance, but overly complex to navigate. You can lookup HNSWlib, the original, but it looks more like a university project, rather than a production library... So if you want to see code - start with USearch :)
Maybe test mask vs. stuffed animal. The latter is probably at least as effective as the mask.
Does EyeSight do everything except change lanes/make 90 degree turns? Like, to the extent that it requires human oversight for safety reasons but is practically sufficient on its own? Because what you are describing is 100% of what I liked about the Tesla's capabilities.
Volvo really is impressive with how much they put into safety and testing.

As for self-driving, I've had great driving experiences with their Pilot Assist.
gpt4-books - https://github.com/bamman-group/gpt4-books
One thing they're not great for though is shareability. With gifs, you can generally just drag & drop them between most apps and they'll behave as you expect. Not true with videos.
> Tesla's dangerous features are opt in.

Not for the other drivers and pedestrians.
From the website:

"As a new open source platform, Pinebook development is an ongoing process and represents a great opportunity to get involved with computing on a different level, to customize and personalize the portable computer experience, to understand what is going on beneath the surface. If you are looking for a device in a convenient laptop form-factor that you wish to tinker with, then it is safe to say the Pinebook is the right device for you. We do no wish to discourage anyone from getting the Pinebook, but it is not a daily driver, so if you are looking to replace your current work or school laptop it may be wise to look elsewhere."

They have been extremely upfront about this from day 1. Your expectations are not realistic or in alignment with what Pinebook themselves has said about their devices.
Ask HN: Any research covering tech salary declines during this downturn?
Data sources, but anecdotal would be interesting to learn too. Thanks!
Thanks for the suggestion! I've added a `promptfoo init` command so the initial scaffolding is much easier.
That doesn't seem to be redefining anything.
Maybe just the majority, but I'd flip it as well and say a lot of people seeking investment are also pushing AI on the dumbest things. I've just stepped back from a company that was doing this claiming they are using AI but only in rewriting marketing blurbs or something along the lines of analyzing log files, but zero usage in the actual workflows/products of the company. Reeks of desperation, or scammy to be less generous.
This attitude probably isn't helping the situation lol.
I learned Fortran IV as an introductory language. And read here that it is so elementary, and these other languages that are more complex and faster and better for software engineering, and software engineers are better now... I say why haven't these new and improved SEs devised a translation program to compile Fortran into C++? Back in the 1980s we used software to reverse-build flow diagrams of Fortran programs. They gave us fullpath test coverage, unique variables, reused variables, loop termination conditions etc. Before that on mainframes we'd use JCL (job control language) to output assembler code from submitted Fortran, COBOL, or PL/1.

How can we not feed Fortran source in and receive Language XYZ as output? Perhaps the new wave of ChatGTP will write this and save society.
They already exist. Cost about 5€ online here in Germany.

(EDIT: removed info about them not being sold anymore, apparently that was resolved?)
No I do not, but I'm sure you'll be happy to explain it to me.
If anyone's interested in getting into FPGA stuff, the iCE40UP5K (the 5K indicates the number of LUTs; there are other sizes available) has an open-source toolchain that works very well. There are pretty cheap development boards using this FPGA, I use the UPduino, which I bought in 2019 or so. (Recently the same team released a new UPduino dev board that also includes an RP2040, which is probably pretty useful, available at https://lectronz.com/products/pico-ice-rp2040-plus-lattice-i...)

What can you do with an FPGA of this size? Not too much, but it's about enough to, for example, fit an implementation of a YM2151 FM audio chip (audio chip from the 80s that was used in synthesizers and arcade machines). I think it would probably also be big enough for old CPUs such as the Z80 or 6502. Unfortunately it's not 5V-tolerant so you can't wire it directly to parts of that era.
I'm in no way suggesting one invest in Chinese real estate.

Governments with xenophobic and nationalizing tendencies tend to be poor bets for private investment. Picking up pennies in front of a steamroller, etc.
From the Google Developer FAQ...

https://developers.google.com/identity/passkeys/faq

>Can I move synchronized passkeys from one platform provider to another?

>Each device / platform may offer different experiences and controls. But a user can always register a second credential with a site and remove the first, effectively “moving” from one to the other.
Unfortunately I stopped using Kagi just due to it not being worth the money for me personally.

But look at the company using bearblog.dev, that's awesome. bearblog.dev remains one of my favorite services I've found through HackerNews.
> Math notation is a peculiar, loosely defined, context-dependent, ambiguous syntax

That's the point. This is what going all-in on formality looks like:

/-- If n is divisible by m then the set of divisors of m is a subset of the set of divisors of n
lemma divisors_subset_of_dvd {m : ℕ} (hzero : n ≠ 0) (h : m ∣ n) : divisors m ⊆ divisors n :=
finset.subset_iff.2 $ λ x hx, nat.mem_divisors.mpr (⟨(nat.mem_divisors.mp hx).1.trans h, hzero⟩)

where each of those names is a reference to another proof - the full call tree would be far, far worse.

Compare that to a handwritten proof:

Let x be a divisor of m. Then there exists some y such that m = x * y.
n is divisible by m, so there exists some k such that n = m * k.
Thus n = (x * y) * k = x * (y * k) and x is a divisor of n.
From memory MVS/XA - but it was so long ago I wouldn't bet on it. I do remember it was a great offering, though soon overshadowed by the new hotness that was Lotus Notes.
My real issue with such legislation like that (assuming I do have a point), is that it lessons the seriousness and impact of the legislation.

If it can't be enforced uniformly, then it's fine for people to not take it seriously, or for it to be enforced selectively, both of which I think are problems.
X.org Foundation Moves to Mastodon
Looks like it's on the backlog https://kagifeedback.org/d/862-weather-always-defaults-to-ce...
I use full self driving for long highway trips. I do however take the advice of the manufacturer and stay fully alert. It has caught situations where some bonehead is drifting into my lane or changing lanes without noticing me, and I didn’t notice them fast enough, and braked avoiding an accident. Like wise I’ve noticed it make mistakes and asserted control. My estimation is the joint probability of the model catching a dangerous situation and me catching it is significantly better than me alone. It also is able to navigate through confusing interchanges that I normally screw up by taking the second exit of four instead of the third or whatever.

I think a litmus test of “perfect” is a fair test, but leaves a lot of value uncounted in the mean time.

I think perhaps ignoring essentially everything Elon musk says and does and judge based on what’s in front of you is what works for me in not getting baited into the “is the Tesla FSD sentient and can do my taxes” hype cycle, with its requisite jadedness.
The moment a dreamer starts charging you for promises that never materialize they become a grifter. (See: Tesla and FSD)
But relatively speaking the conclusions remain the same, with kitty being one of the fastest.
> In fairness, if the problem is only with the self-driving, you can circumvent that by not using i

I wasn't aware that I could disable FSD for Tesla owners when they're using the roads in my city. Could you point to that feature, please?