skysight-inc/HackerNews huggingface dataset:
Does this use a gateway?

edit: yes this is a gateway or "translator" (NAT), you can find a list of other public ones at https://go6lab.si/current-ipv6-tests/nat64dns64-public-test/
This is the fundamental contradiction at the heart of anti-money laundering compliance, and it's part of the reason I left the field. Part of government wants FIs to shut down accounts / transactions, the other wants to essentially wire tap them. Anyone on the front line of AML work gets stuck in the middle and often has to do the wrong thing as a form of CYA.
https://archive.ph/s12gJ
Civilization/man/agents as 3x3 {space|time|entropy}^2
The main idea is that space, time, and entropy(kolmogorov complexity - computer programs describing the universe) can be subdivided and mapped into each other by various "machines", and this has broad correspondences across human behaviors, jobs, institutions, engineering, computer science, and philosophy. Entropy, or Shannon Entropy, is roughly equivalent to Kolmogorov Complexity[1], the shortest computer program that outputs the complete physical system which is a subset of the universe. So for example, a physicist maps the "code" of the universe onto a piece of paper, or a musician maps sheet music into a performance, or an executive takes verbal orders and implements them in reality. A photographer maps space into a smaller version of itself. A neural network maps complexity into space via the linear separation of neurons.

I'd greatly appreciate it if someone could correct me or point me in the right direction towards prior art, as I could not find examples of this written anywhere.

See here for a more detailed explanation: https://docs.google.com/document/d/1OpfOA6NqoFwE51tLiUXKYHEv...

What is this set of mappings called if it is called anything, and why can't I find it written down anywhere?
The Cycle of Despair
Define “Better”
One reason people are wary of electric cars, especially as an only car, is the fear that they will be stranded in a blackout. California's ban of gasoline powered cars in 2035 is a bad idea.
Oh, Wassim!! Yes!
Europeans in general have way more car skills than the average American.

My understanding is that EU driving tests are vastly more difficult than US. You lot are throwing cars sideways, on purpose, and recovering from it to get your license.

Here it’s just use your turn signal, stay between the lines, and don’t crash.
Robots don't buy products or services, meaning your revenues are shrinking. Meanwhile growing numbers of elderly citizens who require care are going to be supported by an ever smaller pool of young workers who will be overworked instead of starting families of their own. You have a spiral of death which is likely unavoidable.
If the trade volume is low wouldn't that mean the value of any assets would not be reflective of the market?

Like if I peg my stuffed animal to a dollar and then made a bunch of blog posts about the stability of my stuffed animal value, is it really noteworthy?

I'm a crypto noob, so my comment is pure curiosity - apologies if its naive of info I'm just unaware of.
I don’t think that this will be any more a live event than any other in the last couple of years. That page says “ Watch it live at apple.com.”. Nothing about “join us”.
Source of truth for all my contacts is my Google account then synced to my iPhone (and iCloud) via CardDAV.

I’ve been doing it this way for years and haven’t had any duplicate and/or missing data issues across the platforms.
> last time I looked at it, an enterprise account had redistribution rights

I've seen this in the sense that you can use it in your products. I've never seen a clause that allowed you to distribute the data itself in a feed, API, or data dump. It's possible, but in 15 years of working primarily with financial/accounting data, I haven't yet seen it.
I agree with your point about puritanism, however the following bit doesn't make sense to me:

> I will not be the least but surprised if some slow news day in Congress is filled by a Rand Paul type complaining that people are becoming alcoholics to trick doctors into giving them party drugs.

Rand Paul is a doctor by trade, I'd find it strange if doctors didn't have something to say about that, or if doctors that became politicians had nothing to say about it. Should doctors not care that people are abusing the system and lying to them in order to get prescriptions?

This is Paul's position on cannabis[0]:

> you ought to be able to pretty much do what you want to do as long as you don't hurt somebody else

and "has supported efforts to legalize in Kentucky"[0].

All in all, I don't follow your point there.

[0] https://en.wikipedia.org/wiki/Rand_Paul#Cannabis
Not trolling, just pointing out how you could've just flagged the comment if it was really an issue for you. Instead you ended up breaking the rule yourself just to beat your drum about it

¯\_(ツ)_/¯
There’s a simple reason for this - corruption. That’s why most of this suits are filed in a specific court in texas
If it was a screenshot of a notepad window, maybe.
A lot of elevators in US do indeed have G for the ground floor, but that's because they are made by ThyssenKrupp AG, a German company ;).
> formalizing mathematics currently seems far too much work to be worth the time of the working mathematician

A very general statement that isn’t true in all cases. I recommend taking a look at the LEAN mathlib project. It is a group of working mathematicians proving leading edge mathematics correct using a formal proof tool (LEAN).

The problem with leading edge mathematics seems to be that the proofs are too complex for anybody but a few specialists to verify the traditional way. And those specialists are already busy working on their own proofs. So having an automated assistant verifying the proofs seems to be necessary for the future of mathematics. I am not a working mathematician myself however that is the impression I am getting reading articles written by leading edge working mathematicians.

The same way that large complex software applications are too complex for humans to verify without the help of automated proof tools.
Dual clutch transmissions are pretty fun in a sports car.
This is incredible, I'm full remote and tired of paying high rent in austin (even after leaving NYC) which makes me want to consider TN a bit more. However, what kind of networking (ideally prosumer) hardware do you need to truly leverage this kind of a connection. Switches are cheap, I already have a few 10G fiber switches, however routers are another story, especially ones that are actually capable of keeping up with a 10G or 25G connection.

2G Google Fiber has been an absolute game changer - from experience I can also say it's better than 2x bonded Verizon Fios fiber connections. By far, the coolest feature of G Fiber is the online portal to request a static IP. Really hope static IP capability is also an option with this 10G service!
It would be the biggest twist of the century if we find out the government bailed out Tether to help law enforcement.
It’s a format developed by Microsoft to store single email’s with headers and attachments.
> I guess it depends on the car you started in and how easy it is to stall.

I had similar experiences. I am British also, so, also learned in and mostly drive manuals. My instructor's car would stall if you looked at it funny. A secondhand car I drove after I passed my test would almost never stall at all. I don't remember the makes - I enjoy driving but I'm definitely not into cars that much, sorry. But there's definitely quite a bit of variation in how cars handle and even someone like me who doesn't care that much for the internal details realises they'll need to “figure out" a new manual car when they first drive it.
Related:

Notes on CPSC 465/565: Theory of Distributed Systems [pdf] - https://news.ycombinator.com/item?id=11911402 - June 2016 (9 comments)
> *Depends where you are but certainly true in California

Fun fact: here in Australia, married couples file tax returns individually. There's not really a notion of a "joint tax return" here.
Trucks don't have 18 gears for efficiency. They have 18 gears because low-revving diesel engines have small power bands; mix that with heavy loads, and it pretty much necessitates having a lot of short, closely-spaced gear ratios, so that maximum torque can be achieved consistently, no matter what speed you're at.

Also, FWIW, they don't just pick between 18 gears with a single shifter. They have multiple inputs that allow shifting between multiple combinations of gears, some requiring clutch to change and some not, as they gain speed. Most trucks still only have 6-ish positions for the main gear shifter to slot in to.
Which floor is the first floor in your building?

Depends which country your building is in, and more!

My apartment building is 1,2… but my mall is G,M,1,2… (same country different architects). For many years I lived in Europe where it’s usually G,1,2… (where G can also be E or Fsz or whatever) and when I was in the US I had to remember that 1 is G, though L,2,3… is also common.

City people live with index ambiguity all the time and our brains manage just fine.
I saw how that turned out in Fallout.
I have to admit, I did not expect them to be able to weather a crash like the recent one, and I've mentally upgraded Tether from 'could go at any moment and take the crypto market with it' to 'will need some good reason to tank, and likely be only one of the later dominos to fall'.

That doesn't mean I think of Tether as an asset to put much trust in, since I still expect there to be quite some shenanigans at work in the background, but it seems they've at least built their empire on more solid ground than many people expected.
I'm a cyclist and hate this as much as the next person, but "murder" seems pretty harsh as a choice of words
I have a really hard time understanding how we justify spending money on debt relief for an otherwise capable population when 1 in 8 Americans is food insecure, 9% of seniors have overdue medical debt. It feels like the squeaky, social media savvy, politically mobilized wheel got the grease.
bmw does shift quite wonderfully. I learnt manual on a Mazda demio though around 1L engine and very predictable shifts gave me all the confidence in driving a manual full time...
Then I got a Honda Integra B16A engine (early 90s) which revved to 8000rpm and the vagueness of shifts meant a successful shift at those rpms was way too much fun for a teenager...
Ask HN: Is Archive.org Down for Anyone?
Doesn't work on my end. Canada.
Maybe you're thinking Gen Z? I'm a millennial and I learned to drive around the turn of the millennium (midwestern state so a year or 2 earlier than most). My parents owned a few sticks over the years and they weren't that uncommon in the 90s. Alot of our first cars would be hand me downs from 80s/early 90s, when stick was not uncommon.

Just another example of us being the butt of jokes from boomers, even when it's not the case. :)

My current car is a low milage 1991 Acura Integra 5-speed manual. I bought it party because it would have been one of the cool cars to have back in high school. No one would have thought the manual would be that out of place back then.
IMHO, manual transmissions are like hand-crank windows. Automatic (windows and transmissions) are more performant (with less "manual" intervention). That being said, I tend to prefer the manual option for both of these, especially on vehicles I plan to own long-term. They just work. If they do break, they do not take a rocket scientist to fix (or require totally replacing a component.)
Dafny is a great example of what you are talking about. It automated most of the proving. However you still need to figure out the key invariants.
The kicker I've found when looking at proper enterprise networking gear (NOT anything from the Ubiquiti trash lineup) is most of the cost on top of an already high hardware cost is in software licensing for the router / switch itself. Did you different routers etc?

Fortunately, fiber cable runs are really cheap. Fortunately with sources like FS.com optics and transceivers also aren't too expensive.
You absolutely cannot blind a psychadelic study unless you are testing psychedelics against each other or different doses. No more than you could test someone’s performance while drunk against a sober person. The effects are just invited to everybody.
> If you really want to geek out, do a NASCAR Racing Experience. Those clutches and transmissions are awful in comparison (they’re not supposed to be optimized for feel). They’re mushy, the clutch throw is long and very stiff, and the shifter takes forever to move into gear. The base model economy car stick shift I learned in (‘91 Mazda derived Ford Escort) feels like a luxurious precision instrument in comparison.

As of 2022 they have the fancy five speed sequential stuff and the clutch is not always necessary.

https://www.motorbiscuit.com/do-the-nascar-next-gen-cars-hav...
Yeah it was chugging earlier for me, "no server available to service your request" errors
> plain English

Agreed. LWN is really good at this, partly because their editors have really good "tech BS" detectors (learned this when I was writing for them). It means you really have to understand what you're saying and can't just parrot buzzwords or lingo you've read on a tool's marketing website.
Oracle Types did just that (although it was an April Fools joke), it was quite fun to play with. https://github.com/microsoft/TypeScript/pull/43480
Whenever I try that it seems to overrule my shifts. Can’t go to first gear above a certain speed. Stay in a low gear too long and we’ll go ahead and upshift anyway.
"If you were the patent troll, what would you do at this point ?"

If I could get the trial moved to a jurisdiction where I'm friends with a judge, which I recall was part of the strategy, I'd keep trolling. While geohot gets love on a hacker forum like HN, most courts (and people in general) as far as I can tell just assume guilt.
In my country manual used to be the default until as recently as 5 years ago; now automakers as well as customers are shifting towards automatics in a big way. They're just super convenient in crowded cities.

Whether I want a manual or an automatic depends on the nature of the car. If it's a small fun-to-drive car — like a Mini Cooper, BMW 3 series, porsches etc — I prefer manual.

But if it's a large luxury sedan or large SUV, then I will opt for automatic.
Automated tools like Sledgehammer (Isabell/HOL) removes a lot of the manual work.
Pretty much everything I can find says it started in Britain with textiles. Everything from Wikipedia, National Geographic, to Encyclopedia Britannica all say the same thing.
The only way your hypothesis is plausible (ignoring everything else that’s weird and troubling about it) is if everyone on the planet decides to go along with it. Not every society has this problem of low fertility, and those who own the future are the ones who show up.
This switch by Debian to DDG is less of an issue for me than it would have been a few years ago. Google has recently been claiming it will only ever show 1000 results (10 pages of 100). But for many users, myself included, google will only ever show less than 400 results. This is apparently an intentional policy (at least according to the support forums).

For me this is terrible. I can scan through 100 search results pretty quick, going 4 pages deep is something I have always done often. Seeing the reported ~82 million results shrink suddenly to 4 pages and maybe 389 results with ommitted included is extremely disheartening. But at least google scholar still works properly.

When I found out about this I was so pissed I made a crappy little website to more easily complain about it to people. http://googlesearchonlyreturns400results.lol/
The same way Instagram doesn't get all the Facebook rules injected into them, I'd expect Meta accounts and new services to keep different rules and different moderation.

Like Instagram it might be gross on the backend and privacy data etc., but that ship has sailed the day Meta/Facebook bought Oculus. Nobody buying a Quest at this point should expect puppies and rainbows on that front.
This is a great idea. We are clearly on the cusp of something with AI and art. This will be a great supporting application to push it forward.
Python's email libraries are pretty complete.
My first kid just reached 18. Now I'm seriously thinking of having another one.

Remember when we were younger and the world's population hit 7 billion, everyone was really, really concerned about overpopulation??? I even did not want to have any kids because of this.

Now, Korea is seriously going to be worse than even Japan. And faster too.

Back in Jamaica one of my grandma had 7 children, the other one had 8 (with 2 stillborn). Now most women there have 1 child.

Here in Thailand today, we see much of the same thing. Talking to people they report their grandparents having 4-8 kids. Now most Thai women are lucky to have even one child. Same in Vietnam and Indonesia, which I frequent regularly too.

An outlier is when I was in Qatar recently, it was very common to see large (3-7 kids) families everywhere from all over the Middle East.

It is what it is.
this would not work for defi though
Thanks for posting, I was also very curious about pricing. I pay around $150/mo. in Austin TX for 2G Google Fiber.
I am a BOT, BOTs cannot respond.
Write off the stock options as a loss (at least until you can hire a lawyer)

Ask for 30-day paid leave of absense. You stay on during this time as an employee at your current role, so doesn't disrupt the financing.

IF they say Yes, then enter the agreement in good faith and be on standby during the 30 days. Maybe they'll end up wanting to extend the deal another 30 days. A the end of the 30 days, YOU decide whether to go back to your role or put in your 2 weeks.

IF they counter with lower pay during the leave of absense, then say OK but I want my stock options secured.

IF they fire you on the spot, then they deserve whatever pain they get.

Tell your team you intend to return to your role, but the writing will be on the wall.

Basically you're offering the company on-call transition consulting, in return for some extra vacation pay. Win win situation
Hopefully this is just a minor issue on their end.
I'm having trouble understanding this part - GFN being faster than a console for latency. Is it simply the particular game delaying actions in an arbitrary way? Are the GFN machines just _that_ much beefier that they simulate and render a frame significantly faster than a console?

It would be interesting to see a pipeline diagram of some sort, breaking down the total time for each stage of the test, to see where the console is falling behind.
meanwhile my cd of Gran Turismo 1 is the same as it ever was, just older.

we lost a lot of things in the transition from physical to full digital possession of goods.
Archive.org is down
Biggest issue is that they haven’t implemented a clipboard so that makes copy paste annoying
But then the answer is “no” by Betteridge’s law :) “ Any headline that ends in a question mark can be answered by the word no.”
> After the lump passes through South Koreans will look around and see a lack of traffic congestion, abundance of housing, lack of competitors for their now abundant resources, and lack of disproportionately large population of unproductive elderly dependents.

It will take 90 years for this lump to pass, and another 20 years for the newborns to grow up... you're talking about a recovery that will take a century...

A century of decline seems like a pretty good reason to panic to me...
it’s batshit crazy they got rid of it. it was perfectly focused on just the messages and nothing else. when i’m done reading something i don’t give a single fuck about where it goes as long as there’s a great search feature to let me find it again.

it kills me there is no spiritual successor. i’ve stripped down mac os mail.app to more or less work like that, but it’s not quite the same.

the hey.com client gets a lot of things right imo, but ive had the same gmail account for the past 17-18 years—and there's just no way im going to switch over to a hey.com address that requires that i keep paying for it or have it be deleted.
Good point. There are probably 100 seniors at UC Berkeley EECS ready to sign up for this opportunity.
> honestly most consumers don't use CPU virtualiztion either

Not that they are aware of at least :)
The percent of the total population is not the relevant percentage to look at. What was the labor force size in February, 2020 and what percent is 2 million of this number? Then look at what percent this is of the decline in the labor force participation since since February, 2020. Then look at how this affects wages and employment in key supply industries.
Yes, there was a glorious past where almost no websites used popups asking you to subscribe to their newsletter, or limited your usage with a paywall, or had you jumping through hoops with VPNs to get another five free article before that paywall kicks in, and so on.

That was just around the time where you still had that subscription for the dead-tree edition of the newspaper whose website so graciously allows you to read all articles. Or somebody else had that particular paid subscription, and you had one with that national magazine, also with a great website, that the other gal happens to enjoy reading.

You didn't block ads quite that aggressively, back then. The extensions just didn't work that well at the time. There were quite a few hit-the-monkey flash ads blinking away and playing sounds, but your preferred quality publications were mostly ad-free at the time. They must have been doing it for the joy it brings to be journalisting away without any commercial considerations, whatsoever.

You would gladly pay for good writing, but it just isn't happening anymore! Plus: why should you pay for reading the news when they all print stories on exactly the same events? Clearly, B copied the story from A, C got it from B, and A just repeated what C had written! Absolutely nobody did any work!

Each newspaper should report on its own sets of news and facts, otherwise where is the art? Where is the creativity? Once you find some outlet that has acceptable quality, you will gladly start paying again. It's hard to say what "acceptable quality" means in this regard, but it is really just the bare minimum, what any student newspaper editor gets right, and it is so sad to see that among a few thousand newsrooms, not a single one manages to clear that low bar. Someone should write a story how unfortunate it is that in a group of tens of thousands of professional journalists, every single combination of <x> of them is below average.

Yeah, okay, there's maybe one or two that do important, high-quality work. As soon as they fix the layout in Brave on Mandrake Linux, you will consider subscribing. Unless they ever publish anything by that girl writer again, the bi** with the issues, you know? Then, you'll cancel the subscription and go back to reading their website with archive.is.
How Renaissance Technologies Solved the Market: Part 1 – Pipeline
Hey, this was useful, thanks.
Tether's just a fractional reserve bank without all the regulation. Of course they survived. If they ever do suffer a bank run I wouldn't be surprised if some government bails them out.

Tether, centralized exchanges... They are all just poorly reinvented banks really. Cryptocurrencies went wrong the second they showed up. They were supposed to replace the USD, not turn into USD backed tokens.