skysight-inc/HackerNews huggingface dataset:
Or devalue the dollar to the extent that $1 becomes $2. In which case, the person who holds $99 doesn't hold $99 as "raw cash"(nominal asset), but holds $99 worth of real assets. With this inflation or devaluation, his $99 will become $198 + delta. This delta comes as rent extraction from the ordinary people.
>we need to pair generative models with verification systems
>code and math are easier to verify

I would love to see a two-stage pipeline using a LLM to convert natural language specifications into formal specifications for something like Dafny, and then follow up with another model like AlphaZero that would generate code & assertions to help the verifier. This seems like something that a major group like DeepMind or OpenAI could pull off in a few years.
This is excellent and I love it :)
>Well I dont know what else to say to someone who thinks they are informed, when they aren't and who refuses to look elsewhere.

Did you read my comments before you showed up and started shooting holes in the floor? Specifically:

>A healthy skepticism suggests those payments [made to Hunter Biden] were not made on the basis of his business acumen, in the same way we can suspect purchases of his paintings were not made on the basis of his artistic skill.
This was discussed here today with Atari https://news.ycombinator.com/item?id=33905910 and probably the inspiration for posting the WP article.
He seems to think that Lucas has ever made anything but mistakes.
> That in itself is a good reason to only use uncloneable credentials like a Yubikey for sensitive uses.

Yup I really don't get this. For once we had something that made sense: an actual 2FA which required an actual physical device.

And now with the alliance between Microsoft (which we know can always be trusted), Google an Apple the 2FA not only is becoming "1FA" (because the goal is to use the passkey instead of the password, not in addition to it).

But transforming the 2FA to 1FA is not enough: we cannot let these secure hardware module make live hard for law enforcement (uh, sorry, for bad guys) so instead of having "no device, no login" we get instead "copyable passkey".

"1FA copyable passkey"

What a concept.

Somehow I feel this isn't exactly going forward security wise.

Then people will say: "but it's easy. but it's convenient. And moreover it's pushed by our beloved Microsoft!".

Yup, exactly.
> The simplest setup is actually to host a React app from an S3 bucket and use Lambda / Cloud Functions to respond to network requests.

You'd have to pry my monolith-on-a-vps out of my cold dead hands before you can call that the simplest setup.
Lewis retired last month I believe.
Wtf really, that’s nuts. Got a source I can read more about this?
Yep,thugs will use crypto, but EU can force their will on people wallets easier.
> "oh so you're one of those super nerdy people that is naively optimistic about technology, is socially stunted, loves infantile pop culture and has zero sense of aesthetics" as an example.

for once I'm glad to be the opposite to the usual trope.. but I feel you it is tiring to be interrogated over the location of my non-existent funko-pop cache just because I write code. Even saying "I swear I don't write Js" doesn't protect you these days.
A perpetual bond with no inflation adjustment only really makes sense in a zero inflation environment.

The mathematical Net Present Value is $20000 for a perpetual cash flow income of $1000 every year with 5% inflation. (convergent infinite geometric series).

In most cases any income further than some decades away should be valued at near zero - stocks due to market risk - even government bonds are not risk free.

The future is volatile.
Male life expectancy was steadily decreasing in Russia (RSFSR) from 1965 to 1985.

Maybe USA is on the same track.
hahahaha:

$ sudo rm -rf /

/var: Permission denied

The commentator yells, "The user is trying to make a big play and clean out the whole system, but they're met with resistance from the defense! The var directory isn't giving up without a fight!"

$ ./launch_nuclear_weapon

-bash: ./launch_nuclear_weapon: Permission denied

The commentator gasps, "The user has just made the most shocking move of the game! They're trying to launch a nuclear weapon, but it looks like they don't have the proper clearance to do so! This is going to be a huge penalty!"

$ ./kill_football_announcer

-bash: ./kill_football_announcer: Permission denied

The commentator laughs nervously, "The user is clearly getting frustrated with me and my commentary, but it looks like they can't do anything about it! They don't have the proper permissions to carry out that command."
Well, again drilling into a specific off-the-cuff example, but even if Saudi of all countries can't muscle in there, install a shitload yourself on the peninsula and become a net fresh water exporter with massive desalination plants. Probably you don't even need nuclear at this point and go straight for solar.

In 10 years, or 20, or 30, there's going to insane water demand on all sides: the entire middle East and most of Africa is going to be at each others throats for water and will pay whatever you ask. Pretty much how it works now for oil, actually.

With that in mind, maybe it's indeed the best possible outcome that that KSA splash the cash harmlessly and uselessly rather then build a new chokehold on something.
Related:

Haskell, Ada, C++: An Experiment in Prototyping Productivity (1994) [pdf] - https://news.ycombinator.com/item?id=19570776 - April 2019 (55 comments)

Haskell vs. Ada vs. C++ an Experiment in Software Prototyping Productivity (1994) [pdf] - https://news.ycombinator.com/item?id=14267882 - May 2017 (59 comments)

Haskell vs. Ada vs. C++ vs. Awk vs (1994) [pdf] - https://news.ycombinator.com/item?id=13275288 - Dec 2016 (68 comments)

Haskell, Ada, C++, Awk: An Experiment in Prototyping Productivity (1994) [pdf] - https://news.ycombinator.com/item?id=7050892 - Jan 2014 (24 comments)

Haskell v Ada v C++ v Awk... An Experiment in Software Prototyping Productivity - https://news.ycombinator.com/item?id=7029783 - Jan 2014 (23 comments)
> No, it makes zero sense to build a city along a line.

Why.

That we are building cities in non-linear fashion because we dont have enough flat, contiguous land in most of the world does not make it the best paradigm.

Moreover, there were historic communities that were built in such linear fashion. Ancient Egypt itself, was a gigantic line around the Nile river where the Nile played the role of the infrastructure.
It allows you to acquire coins over time, then use them later to move wealth in a less-traceable way.
Your understanding of the phrase as linked is exactly how I meant it.
Perhaps they do respect the constitution of Massachusetts?
I am very impressed that when most languages have a development time in the double digits (including the initial Haskell implementation), the Lisp version was developed in 3 hours.

If the codebases are publicly available it would be interesting to see how understandable they are.
WebM, VP8/9, WebP, and for that matter MP4, MP3, and the original JPEG weren't used anywhere until there was support for them.
Because the opposite (banks) means the government can freeze your funds, like they did in Canada to protesters.
A circle is literally a bent line. It could work as well. However, you would get a bent line in the end. Aside from the problems that running an infra on a circular shape with bent curves would bring, it could work. A line would be just easier.
Stripe Press – Beneath the Surface
Just move them to Delaware, no need to worry about anything because you can hide your ownership in a structure so complex they'll never figure out who to tax!
That's not how OAuth works, which is what "Sign In with Google" utilizes. In order to Sign In with Google through a third-party software, Google and the third-party software must both agree to the arrangement.

In the event they do, the third-party software adds a Google Sign In flow to their software, whereas their users can press a call-to-action for signing in with Google, which would trigger an opening of a separate Google-owned domain in a new min-browser window that the third-party software cannot access (and therefore not harvest information from). This min-window then sends the user back to the third-party software domain upon completion with an authentication token - which could be in the form of a URL query string, an HTTP method, a cookie, or even collection of arbitrary browser information for fingerprinting. The third-party site then sends that authentication token back to Google via their API, and Google sends back ONLY what that authentication token is permitted to grant access to - which would not be Google credentials.
icymi...there's actually a search box in the footer. Yeah, it took me a bit to see it as well.
Just a little standardization of things like bathrooms, kitchens would enable robots, leave aside automated bathrooms, kitchens themselves.
I thought we were assuming everything was on the level on the basis of Autumn Sorrells' credentials?
Jake Thackray is always worth a reference!
Perhaps its historical uniqueness is tied to its active status as a valuable bond? They cannot be separated?
Can someone explain to me how this 10K EUR limit can be enforced? What will stop the launderer from selling an item/service valued at 1K to a thousand anonymous customers who paid with cash? Surely they're not going to demand KYC for every tiny cash transaction? If they aren't, I can't see a limit to the number of fake customers you can come up with.

Or is this just meant for cases where the business is already under 24/7 survailance and they could point to not enough people coming by?
I'm probably part of the group you'd call "WebP haters", especially if you look at my comment history[1]. I would rather describe myself as extremely disappointed in WebP.

It's a clear win over PNG in the lossless use case. I have encountered a few outliers where a PNG results in a smaller file size than lossless WebP, but they are sufficiently rare to not worry about it. It also excludes the image sizes too large for WebP to handle (my system has a mix of WebP-lossless and PNG files for that reason). For lossy use cases, however, WebP is not a win over JPEG if you are concerned about anything other than file size. MozJPEG closes the encoding size gap rather significantly and WebP-lossy's origins in VP8 intraframes and limiting itself to 4:2:0 subsampling is just... awful. I never use WebP-lossy. It gains nothing from JPEG and comes out as inferior in basically all scenarios.

I don't view JPEG XL as a "solution" to WebP, but rather as a solution to JPEG. WebP was never competitive in the first place.

[1] In particular: https://news.ycombinator.com/item?id=33448714
Fastmail. And no, freedom isn't free.
I do Django freelancing and have had a fair amount of small clients with relatively few users. Adding workers and a message broker adds a lot of complexity over just a single Django server. I even had the thought to build something like this but looks like someone already did! Thanks for sharing this, looks like a great tool to know about.
Not a diver, but recreational divers often go down to that sort of depth on compressed air without any ill effects. You'd need to ascend slowly and hang about at ten metres and five metres for about ten minutes to let nitrogen out of your system, to get back to the surface.

It's about three times normal atmospheric pressure so it's not going to be ideal if there's an accident, but it's not like going to smash you flat with pressure, it's not going to Byford Dolphin you.
That’s exactly what it feels like. A word processor distorted into an application development platform. With nearly 30 years of technical debt as well.

This is becoming untenable. The web has only gotten more and more difficult for novice users and developers alike to publish onto. That spells doom for the web in the long run.

I wish we had a clear path out of this trap.
What if you're trying to work around a law preventing you from paying €10,001, like the law being discussed?
small price to pay.
As solar becomes cheaper and cheaper, low efficiencies may still be worth it. We're never going to power a 747 on solar, but if the energy in the fuel comes from the sun, even if 90% of that is "wasted," it's still greener.
Sort of sounds like Apache Wicket (https://wicket.apache.org/). I used it for a few projects in the mid-late 2000s. I really liked it being server side and the concept of having object-oriented HTML (code paired with HTML snippets). I haven't had a need to use it since 2014, so haven't kept up with the project.
Doesn't that make it not a fact then, if people can just opt in and out to being queer?
The way it componentized the different ‘cards’ or fragements with URL-style lego blocks seems to be the primary novel feature that’s layered on top of HTMLX.

This is already the direction that Remix and Deno’s Fresh framework seem to be taking, at least spiritually. Isolated server-rendered-first approach and only bare minimum JS loaded for fragments/islands that need to be interactive beyond what can be loaded on pageload.

The html attributes vs JSX style templates is really a matter of taste IMO. Although I haven’t used htmlx I get the feeling it would be limiting for more complex cases and involve a lot of hackery or pigeonholing complexity better served by straight up Typscript.
An experimental program I propose: give the proletariat the means of production.
See also Dartmouth College v. Woodward argued for Dartmouth by none other but Daniel Webster.

Among other things Supreme court chief justice "Marshall concluded that Dartmouth’s [royal] charter constituted a contract and that New Hampshire had violated this contract in attempting to replace the original trustees."
https://www.mtsu.edu/first-amendment/article/729/dartmouth-c...
It takes all of 30 seconds to sign up an account and check. I was not offered 2FA during sign up, and cannot find anywhere on the site to enable it after logging in. If you don't believe me or think that I somehow missed it, feel free to create your own account and test.
Hence the 'finally'!
The news article itself.

https://abcnews.go.com/2020/story?id=3688563

> Nix was sentenced in March, 2006 to five years in prison.

> He pleaded guilty to sexual abuse, sexual misconduct, and unlawful imprisonment.

> Donna Summers was fired after the incident.

> She was charged with unlawful imprisonment, and was sentenced to probation after entering an Alford plea — a type of guilty plea in which a person does not admit guilt, but acknowledges the evidence is sufficient for a conviction.

> She broke off her engagement to Nix after viewing the surveillance tapes.

> Summers also sued McDonald's and was awarded $1 million in punitive damages and $100,000 in compensatory damages.

> After two hours of deliberations, Stewart was found not guilty on all charges.

Justice is a funny thing, isn't it?
Capital controls are one of the elements of financial repression.

https://en.m.wikipedia.org/wiki/Financial_repression
That's what the processors charge, not what it costs them.
Whether you're sexually attracted to men or women isn't something that can change, but that doesn't necessarily mean you have to enshrine it as a significant part of your identity. This is actually where the semantic nuances come fully into play. People who identify as queer are consciously choosing to identify as queer. There are gay men and lesbian women who don't identify as queer. Sometimes that's because they don't agree with the radical orientation of the people who do identify as queer, sometimes that's because they don't like the word itself, and sometimes it's because they don't feel a sense of group identity with everyone under the "queer" umbrella.
Browsing the Fediverse
Yes, the bugtracker. It’s subjective and I could point to multiple examples, but those would be (rightly) dismissed as cherry picking. To me the entire thread really felt like a mob attack, and is filled with comments like:

> "We do not bloody care!"

> "We are the kings of the universe, we dictate which image formats you can use".

[0]: https://bugs.chromium.org/p/chromium/issues/detail?id=117805...
As a side note; iirc the old version of Gmail was the first big scale example of SPAs.
> It might confuse people that passkeys is design as "a password replacement" (https://fidoalliance.org/passkeys) but it also can be a FIDO2 as additional authorization method. Once you setup the FIDO2 PIN for YubiKey, you have to enter the PIN every time at registering your key. Which makes me annoying and reset my YubiKey to delete the PIN.

Passkeys are used to describe an alternative to passwords, and as such the term is used to indicate particular characteristics for the user (such as being a primary factor and supporting password-manager-style user experience).

FIDO authenticators and the WebAuthn API can be used to support other scenarios, such as second-factor usage. They also may support additional extensions, or support supplying attestations.

But if you wanted to say what a passkey is as a technically defined object, it is a multi-device (backup-capable) WebAuthN credential which is discoverable and supports user verification.

Likewise, there are single-device passkeys, which are non-backup-capable WebAuthN credentials which are discoverable and support user verification. Yubikeys support creating such credentials, and thus support creating single-device passkeys.

> It looks like Apple have no interest at either passwordless login and supporting cross-platform passkey for Apple ID.

Apple is notorious for not talking about future plans; however, all of the companies you mentioned are likely going to implement this technology in an incremental fashion. For example, that Apple is rolling out support for authentication via FIDO security key fobs as an advanced security option does not preclude broader WebAuthn login support for web and native access to all Apple accounts in the future as an alternative. Advanced security modes are just easier, as they are advertised as having significant usability impact.

There are just real issues here left to solve, for example authenticating to an account on an Apple TV unit, where neither USB nor NFC are generally available.
* counsel
Condoms are cheap. Making them free will not reduce STD rates. This requires education and social behavior modification.
https://news.ycombinator.com/item?id=27526308
My company has a similar philosophy. “Just use DynamoDB for everything.” Seemingly they don’t care about costs, but otherwise it is mostly working.
Tell HN: HP printers force you into agreement
The HP Smart App forces you to agree to use only their ink before you can use their app. That shouldn't be a big deal since modern HP printers work fine out of the box without a driver.

However, after you've printed a bunch of pages, they stop working and display the error message "Printer setup incomplete. Your HP+ printer must be set up using the HP Smart app. Visit 123.hp.com to download the app and complete the guided setup. Any pages you have printed were intended for setup and have been exhausted."

Conveniently, this usually doesn't happen until it's too late to return the printer.
I love this idea of low-code generative art ... but I have no idea about what's going on here. This is probably (I assume) because I've never played/learned about the OpenGL Shading Language, the concepts of which the nodes are closely tied to?
I know recruiters that can get you a remote job making more than what you make now, guaranteed. And then I will get a $5k finders fee bonus.
Thanks! Macroexpanded:

Publicity Stunt Fallout - https://news.ycombinator.com/item?id=33898789 - Dec 2022 (191 comments)

The Wormhole Publicity Stunt - https://news.ycombinator.com/item?id=33851295 - Dec 2022 (2 comments)

Physicists Simulate a Simplified Wormhole on Google’s Quantum Computer - https://news.ycombinator.com/item?id=33841537 - Dec 2022 (2 comments)

Physicists Create ‘The Smallest, Crummiest Wormhole You Can Imagine’ - https://news.ycombinator.com/item?id=33809648 - Nov 2022 (2 comments)

Physicists Create ‘The Smallest, Crummiest Wormhole You Can Imagine’ - https://news.ycombinator.com/item?id=33809498 - Nov 2022 (1 comment)

Scientists build 'baby' wormhole as sci-fi moves closer to fact - https://news.ycombinator.com/item?id=33809268 - Nov 2022 (4 comments)

This Week's Hype - https://news.ycombinator.com/item?id=33807169 - Nov 2022 (24 comments)

Physicists have purportedly created a wormhole using a quantum computer - https://news.ycombinator.com/item?id=33802613 - Nov 2022 (31 comments)
Earthbound in ChatGPT
Sorry, but in this case you’re wrong. While those jobs are honorable, if you sign up for SEALs you don’t expect to wash out and become a bulk fuel specialist. Same goes for any of the massively competitive jobs (cyber ops/spec ops come to mind). It really sucks to be disqualified then have to serve your contract in something that you would have never signed up for in the first place. These contracts are four year minimums and likely six.

Source: I’m a Marine who went through some very difficult training.
What's funny about this is I see two kinds of blog posts about ChatGPT: (1) It made stuff that superficially looked good but fell apart when I looked at it closely and (2) Wow! I'm so amazed with it.

In case (2) you usually have other people pointing out that it's really a case of case (1).

The whole thing makes me come to depressing conclusions about human nature.
Edsger Dijkstra: "The question of whether Machines Can Think (…) is about as relevant as the question of whether Submarines Can Swim."
I saw plenty of reporting on this, and nearly all of it was editorialized: it was being treated as evidence that customer savings weren't available, when the actual reason is that bank branches simply don't keep massive vaults of money on hand.

If you have a bank account, you can always withdraw your savings (at least up to the amount insured, in the event of a bank collapse). But there has never been a guarantee that you can walk up to a teller and leave with your life savings in a bag; you should always call ahead and coordinate with the bank to ensure that they have the physical paper available. In many cases, they'll redirect you to a specialized or more central branch.
I wish gyms were less expensive, and had places, even a table perhaps, that kids and tweens could use. It would make exercise more accessible for me and my lifestyle.

In university, I had an indoor track I could use, it was fantastic and had plenty of room for families and people exercising.
Your comment assumes that like energy, money cannot be created or destroyed. Which is false. Anyone can create new money by talking a loan from the bank.

However this point also helps your argument: When you borrow you pay interest to someone richer. In a sense a combination of whoever you sent the money to, and the bank.
An image file format with a maximum resolution of 8193x4320 (without hacking pieces together) can never win a format war, let alone one in 2022 for pete's sake.
"A few years later, Mary Ann Horton, who had maintained the vi and termcap sources at Berkeley, went to AT&T Corporation and made a different version using terminfo, which became part of UNIX System III and UNIX System V."

https://en.m.wikipedia.org/wiki/Curses_(programming_library)
There is a problem right with the motion of "uneconomic". If fixing basic infrastructure or growing food is unprofitable, but building sportscars or yachts is not... that seems to indicate a problem with the economic system of allocation of resources.
Well the original topic was Heisenberg's doctoral defence. And yes, it is mostly use for that even though the term itself is quite general.
I guess I shouldn't post comments when I'm terribly hungover. The fact remains, use those seperators, most developers don't even seem aware of them to any degree.
Yep started a new project after a month of getting up to date with all frameworks old and new.. Next.js really is the best option right now it seems.
Shit, I had no idea Google had a monopoly on 2fa! That's terrible.
Date pastries and dates?