skysight-inc/HackerNews huggingface dataset:
> The website is protected with Google Recaptcha

Which website?

The Plausible register page uses hCaptcha (https://plausible.io/register).
If the cost is sales, sure. Make the system and walk to that restaurant and get them to use it.
It's not deep mathematical insight, just standard notation, most of this syntax is ~100 years old and already familiar to many; what you wrote is just the typesetting source for: □[x' ≠ x ⇒ y' = x]⟨ₓ,ᵧ⟩ (unicode approximation), much of which is immediately familiar to anyone who reads maths, some of it is standard modal/temporal logic notation [1], and the square brackets and subscript are, indeed a TLA-specific operator; I think writing maths in a less familiar notation would be less appealing and require more training [2]. I did say that the tooling is missing an HTML formatter, which is why some bloggers prefer posting the source rather than the typeset maths. Still, the syntax -- standard mathematical notation -- isn't for everyone, just as Python or Java syntax isn't for everyone, either, and yeah, the tooling has some issues.

Also, yes, it is my opinion that if you focus on an editing environment -- which I like, BTW -- for short mathematical texts that you rarely actually edit compared to most other kinds of texts, then you're missing something quite fundamental about TLA+ (if you don't like the editor, pen and paper is another nice editing environment for TLA+; it's also a standard maths editing environment, but it feels more than 20 years old).

But that's just my opinion, and you don't have to agree with it one bit, just as I don't have to agree with yours. I'm not the boss of TLA+, nor its official ambassador, just someone who likes it, and you should form your own opinions. You really shouldn't take what anyone else you don't personally know says on the internet too seriously. I do like TLA+ a lot, which is why I'm exited to talk about it, but if you like it for completely different reasons or even don't like it at all, that's perfectly fine, too. My enjoyment of TLA+ or practical gain from it isn't harmed by you not liking it. It is fun to talk about something you like with others who like it, too, but if we all liked the same things the world would be pretty boring. Many people dislike the things I like, and sometimes I even like arguing with them. But it's not my mission to get you to like the same things I do.

[1]: That notation is due to https://en.wikipedia.org/wiki/C._I._Lewis#Logic

[2]: E.g. TLA+ functions don't behave like programming language subroutines; using the same syntax might be more familiar, but also more confusing because the text would look the same but mean something different.
There’s also the behaviour it incentivises - if you’ve moved abroad and intend to stay there long term, secure citizenship there and renounce your American citizenship to avoid double taxation.

The USA isn’t exactly hurting for new citizens and it’s probably desirable to have expats incentivised to deliberately relinquish their passports.

Mind you I’m looking at this from the perspective of here in New Zealand, where there’s regular media stories about Australia deporting NZ citizens who moved over there as kids and ended up criminals. There’s no incentives to relinquish an NZ passport so Australia can revoke their citizenship, deport, and they become NZs problem.
Response to some of these claims: https://jessesingal.substack.com/p/glaad-took-false-previous...
Only if they fix the language to cover use after free errors.
What was proposed was wealth distribution. Wealth distribution necessarily requires taking from one person and giving their wealth to others. If history is any indicator, this can only be accomplished through the threats or administration of violence.

How much violence is necessary to create your violence-free utopia?
I learned it a bit different, but in either case - you don't have to starve if you can buy food. And the market was working in europe.

So it was more about hunger for power. Because sure, owning something is better than having to buy something.
We won't consider machines intelligent until they have and demonstrate the capacity to consider us not-intelligent.

I can't see how this claim is even slightly illuminating aside from it's pure "quip-ness". A robot playing, say, the game of go, might spit-out "you are not intelligent" whenever it wins. Is that "the capacity to consider us not-intelligent"?

You could even set-up a micro-world where virtual entities interact, evolve and rate their opponent. It wouldn't be hard for these entities to compete with humans in this arena, to do better than humans and so to give human poor poor evaluations but the entities to be pretty simplistic and far from what humans consider intelligent and far from fit outside the micro-world (you could do it with adaptive game-theory solvers, say).
> The idea that just because your code solved the problem then it's good enough is bullshit, especially if you're not the one that has to maintain your monstrosity of a codebase going forward.

It's a lot better than beautiful code that _doesn't_ solve the problem. If I had to choose between them, I'd rather rewrite something that's wildly successful than try and make an unpopular piece of software popular.

OP can learn how to write more maintainable software, but it sounds like they already have a good instinct for making useful software that people actually want. IMO that's rarer and more valuable.
You've broken the HN guidelines badly. We ban accounts that do that. Please review https://news.ycombinator.com/newsguidelines.html and stick to the rules when posting here.
So is it the extra X or the absence of the Y that you're suggesting is the reason for a preference for dolls?
> But the world population is already going steeply up - with people starving.

True, but the growth rate is on a steady decline and looks like it will be negative soon.
https://www.worldometers.info/world-population/#growthrate
You can use glycerin to help with that.

https://www.youtube.com/watch?v=dgY04l0CuEs
Not just useless, but a major PITA when the next inventory rolls around and you have to find the individual sub-components of that "tech" when no one has any idea of what it looks like because it's never been used and ultimately serves no purpose.

Then if it somehow falls through the cracks, it's on the commanders shoulders to pay for that piece of high-speed unused tech that the lobbyist swore would revolutionize the battle-space.
I'm thinking they may be being sarcastic again, but they sure are committed.
https://en.wikipedia.org/wiki/List_of_countries_by_military_...

4x as many people, roughly 1/3rd of the budget.
Except that he shilled it extensively...
> Just because you live in a pleasant neighbourhood, doesn't mean there are no malevolent people in the world...

is so extremely far from

> Life is one big war.

It's an interesting idea to see them in the same post.

"Bad people exist; better prepare for all of humanity to be bad"
Rereading your comment, do you mean just using a hashmap / dictionary, or do you mean writing your own hashing functions? The first is invaluable, but I have never had the need for the second (pretty sure you could define your own hashing functions in Perl, but I never found the need).
The only way to discover this is to buy traffic from that cohort to actually test the behavior. That being said the first version of floc uses just the domain name of your history.

I’m not sure how the insurance company gets that data though in your example.
Covid-19 Vaccine R&D Investments
Thanks! I'll have a listen on my drive home.
The hero HN doesn't deserve.
Old drivers have issues with XWayland. There's nothing fishy about that statement whatsoever. Hell, NVidia only JUST got XWayland working, though that's probably more an issue of corporate stubbornness.
I can't speak for your country but at least in the US the government is "We the People" or at least those of us interested enough to get involved whether by voting or running for office. If my democratic society has decided through an open and fair democratic process to require certain levels of taxation then it's my responsibility to society to meet those regulations. If I disagree with what has been collectively decided then my recourse is to convince enough of my fellow citizens to change the regulations. I don't see how that has anything to do with war. It seems like a very hyperbolic claim to make to me.
Michael Miraglia completes his own Strongman Marathon
It allows you to move the cursor up/down w/o regards to the end of line.
If you move the cursor up to a line and you are passed the end of line and you type 'c', then a bunch of spaces are added then the 'c'.
Basically it allows you to move up/down and have the cursor stay the the same column instead of moving left/right to hug the end of line...I really like it :-)
And this is why people like me will take their place.
> Uhh those seem like two really small loopholes. Buying the whole company makes sense. What is the alternative, the purchasing company has to accept that they'll purge all user accounts?

Why not? The alternative is to allow a business model, in which you start a company with the sole purpose of vacuuming up data and delivering it to highest bidder by getting acquired.
If you continue to break the site guidelines like this we are going to have to ban you again.

If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and taking the intended spirit of the site more to heart, we'd be grateful.
Nobody tell this guy about the F35! At $1.7 trillion lifetime project cost, each of the 150 million taxpayers kick in $11,333.00 for one fighter plane platform
The prize didnt go to React creators? Well, maybe next year.
I don't think he's talking about Raytheon engineers. ~50% of the military budget is literally just compensation and personnel costs for the enlistees.
The Decisions We Made
For a lot of us, what McCain said (and even more, concretely acted on) at home for the bulk of his political career wasn't any better than his position on foreign adventures.
Sure, but what debt does the average person own which is eroded? The money in their bank account.
Apple's mixed reality headset to be officially announced in coming months
Please don't break the site guidelines like this, regardless of what another commenter does. It only makes things worse.

https://news.ycombinator.com/newsguidelines.html
Interesting--do you attribute it to compression/stability, warmth, or something else?
Where I live in the US, I've never seen any business require hand sanitizer use.
You're on point, these will save the military more money than they are spending. There are two very key areas off the battlefield, planning and maintenance, where this will save big time on people hours / salary
Unbury.me – A Loan Calculator to Become Debt Free
It's how you get noticed these days. It's hard for me to read past it as well, but I assume we'll continue to make slow progress understanding the past, even with these self-imposed handicaps.
No, and after a month or so I told everyone to drop it and put it back in the storage container where it sat for the rest of the deployment. There were some exceptions to this (some IED-defeat devices, for example).
For what it is worth, I didn't get that far with Sarno's books either, and I read three of them. It turns out I needed much more specific direction and the work that Alan Gordon (TMS Wiki courses), Dr. Schubiner (Unlearn your pain) and Curable have been gold for me in the specificity that I needed. It took years for me (neck, upper back & lower back) and finally with significant therapy, journaling, and Curable I have had very good success and am 95% pain free but still not 100%, and most of us here are perfectionists, so I want 100% pain free.

It might be worth it to do a consult with Dr. Schubinar who does video consults now (because of COVID) or the Pain Psychology Center (Alan Gordon's center) does sessions too. I am working through the Curable video workshops and found them key too (I am confident they will get me to the last 5%, they really clearly present what is going on).

Wish you the best!
Half of the US pays $0 in federal taxes.
> 1 - You know the distribution of the phenomenon under study (or make an explicit assumption and assume the risk of being wrong)

Nonparametric methods say 'hi'.
Disclaimer: I work for Microsoft. This idea that 'no military contracts can be justified for any reason' doesn't make sense to me.

I think there's room for debate on each contract's potential value to civilians, but at a high level I see so many technologies in our world today that just simply wouldn't exist without the US defense budget. Employee groups like the ones you refer to above have an overly simplistic lens of the world. Even if I think a tech is dubious doesn't mean posterity will always agree.

Did we understand the value of technologies like radar, GPS, ARPANET when they were simply dollar figures getting thrown at military contractors?
It's not zero-sum. Having a strong military allows you to pursue your (peaceful) interests without interference from others who disagree with your agenda.
Apple's upcoming iOS update unblocks 'Asian' as adult content
> "tell your truth" ...

I actually hadn't connected the dots ...

(Still, it must be said, to use such a "lofty" latinism for something as mundane as an astroturf campaign - when "veritas" evokes an almost "absolute" truth ...

... rubs me the wrong way.)
That is a gross over-simplification but it is based in a popular narrative so I don't blame you for it. The men who tried to avert WWII are mocked and shunned without any thought for the context they occupied.

The popular consensuse after WWI was that ambitious elites had funelled the world into war seeking the glory of a previous age. And in the end, average people paid a terrible cost. Due to their ignorance of the changes in mobilization and military technology they embarked on something frivolous that in previous centuries would've only touched a few but instead created misery across several continents.

There was an intrinsic logical reaction. Most cries for national glory and exceptionalism should be ignored. If there wasn't a direct benefit to the widespread populace, war should be avoided. This reaction is most evidentary in how so many European countries significantly democratized after the war with most monarchies disappearing or being sidelined completely to honorific status.

The lessons of WWI couldn't have been timed any worse (though this doesn't make them wrong). The intent and tyrannay of the axis powers are fairly unique in history (I only know a few as totalitarian, brutal and empirical as they; the Assyrian Empire comes immediatly to mind). Their kind is not common in world history. It was easy to see Hitler as just another would be king who might goad the world into conflict but might also receded if not attended too.

Edit: Bruce Carlson did a fantastic set of podcasts examining Neville Chamberlain's peace efforts. I think you have to pay for access to back episodes of his show now but they are well worth it.

http://myhistorycanbeatupyourpolitics.blogspot.com/
How we fixed a strange 'week year' bug
Most of the code is in Rust. More than 75% of the entire stack. One component in the stack, the bt-host driver, is currently still in C++ as the oldest component. This part of the code only deals with low level connection management and speaking HCI with the hardware as well as hosting the GATT implementation, but everything is handed off to other components that are all written in Rust. Parts that remaining component itself of it have already been migrated to rust over time as well including GAP. All of the profiles and upper layers are entirely in Rust as well.
How would you compare it to GoAcess [0]? I've only ever used GoAccess, but AWStats seems to be the older, more mature tool... so I would be curious about a comparison.

[0] https://goaccess.io/
Complex numbers are practical, they're everywhere in classical mechanics and circuit design, off the top of my head
I understand your point, but this is just a plain old subscription.
Researchers achieve first manipulation of antimatter by laser
Switching to a Split keyboard and Vertical mouse did it for me.
Incremental compilation, edit-and-continue are available in Visual C and C++.

REPLs do exist for C and C++.

Zig security story is hardly much better than using something like Free Pascal, with even less libraries.
BRRRR, straight from the money printer. May the US taxpayer continue to subsidize Microsoft. May Microsoft continue to fail to deliver projects.

I still can't believe people don't see what's going on. People must be getting dumber.
Be warned, if you start with the very first episode it's a little scattered and difficult to follow as the hosts find their footing, but it really picks up from there.
I used to support the ACLU personally and financially but the leadership took a decidedly left turn at some point, and lost its neutrality. The shift to the left has been so great that it's hard to tell if their motives are one-sidedly political.
Stuff is cheaper in China too.
A lot of developers are also so caught into framework thinking that they seem to forget that writing html5, with CSS and some lightweight JavaScript library if you need any is an absolutely elegant way to build a modern static website.
It seems to me that too many web devs can’t conceive anymore that a static website can be WRITTEN easily and fast and does NOT always have to be generated by a generator or a framework.
HoloLens 2 devices offer an expanded field of view of approx 60 degrees. It's still semi-transparent, and opaque content has improved but still can't outshine looking directly at lighting.
One thing that’s not clear to me is why is there so much competition and crowding in “data massage” space. There is Snowflake, there are all kinds of ETL tools. The customer lists these startup posts have overlaps. Is it just Marketing departments inside these companies playing around with these tools or the CIOs cycling through the hottest startup on TechCrunch list ?
No. Deflation slaughters the wealthy in the markets. No need for the uprising.

It’s great for anybody that can provide a useful service for cash. Especially farmers. Farmers suffered all through the 1920s because they mortgaged their land during WW1 to massively increase supply, and then the demand disappeared. The problem, they said was not starving people, but that food was too cheap! So the big indebted farms banded together to stop food shipments from family farms, and the government responded by giving the big farms a handout.

So no, deflation doesn’t mean starving people. I talked to a bunch of old people about this. Work was rare, but you only needed a few unskilled labor hours a week to pay for food and housing, and that was always available. They said life was pretty good if you didn’t have a mortgage.

But really we’re talking about lack of inflation here. Not deflation. Deflation only and necessarily must occur with inflation preceding it.
Oh, sure. Si vis pacem, para bellum.

But the thing is: for example switzerland can claim they are honestly doing this. The US not really. There it seems more "to prepare for war to go for war".
> I hope he consulted his financial advisors

and if he did, he'd learn that 5 minutes of estate planning makes it ridiculously easy to avoid having any trouble, especially for a bill that large

so if you know, you know

if you don't, then you might find yourself bombarded by misinformation regarding the music industry, and state taxes on a programming forum
Antimatter Cooled by Laser Light
The idea that inflation is some sort of creeping evil that needs to be "solved for" is a made up fantasy of cryptocurrency zealots and libertarians. There's nothing inherently "wrong" or "bad" about inflation when it is controlled and stable, and in fact some low level of positive inflation is a good thing. Inflation is a bogeyman that was invented by the crypto-industrial complex to justify the environmental disaster and criminal danger that cryptocurrencies wreak on society.
I was thinking the same thing; I can understand that opinions might be polarized, or that for some, this is a controversial topic, but why flag any post in support of Stallman? Are posts critical of Stallman also flagged?
Anyone who dismisses crypto as useless hasn't used the software.

Here's some use cases I've used in the last month:

I secured an instant loan based off collateral with faxing or calling my bank. Doing this at schwabb took weeks.

Another one, "thegraph" a distributed super computer to make public blockchain data indexed and queryable.

Another, Bitclout, a social network build on the blockchain.

Now the data of my social network is trustless distributed, verified and forkable.

I can build a business on top of it and I don't have to worry about getting the firehouse shut down like I did with Twitter.

Bitcoin was horse that drove the consensus making technical progress of distributed computing. The coins are less interesting than the distributed computing revolution.
That is true. When I bought an album, I listened to it front and back. Gave several chances to songs that didn't connect with me the first time. Even though that was 20 years ago, I still remember the mediocre songs better than I remember some songs from the recent past that I actually liked.
It isn't general human nature to fight - it's the survival instinct kicked in by desperation. Some people are naturally unbalanced and society needs to deal with that, but most people just want to live and let live.

The military is important as a show of force to crazies, but if we diverted a good chunk of the cash that goes to it to raise the standard of living here and abroad then the need for conflict could be minimized.
Deflationary crises were common before the invention of the central bank and fiat currencies. Instead of believing go read some history.
It's a scam obviously. Microsoft is using its connections to scam US tax payers.
> Project Veritas

That is one sickening use of the term, if ever have I seen one ... yuck.-
University of Nevada Says White Students Can’t Live in Minority-Dorm Communities
We've banned this account for using HN primarily for political/nationalistic/ideological/racial/whatever-this-is battle. We ban such accounts regardless of what they're battling for or against because it destroys the curious conversation this site is supposed to be for. Please don't create accounts to do that with.

https://news.ycombinator.com/newsguidelines.html
Specs and Prices of Intel's Xeon Scalable 'Ice Lake-SP' Leak
>Why is it taken as an obvious fact that said female, LGBT, and Black students are wrong about free speech?

Because de facto (and de jure) they are.

>Why are they clearly indoctrinated?

https://www.theatlantic.com/magazine/archive/2015/09/the-cod...

>Why not ask them why they don't support it?

FIRE literally does exactly that.

>Perhaps they have a well-considered opinion on the matter?

This made me audibly chuckle. Undergraduate students with pronouns in their Twitter profiles having a well-considered opinion on free speech? Press X to DOUBT.
Care to expand? Is that why Software Define Radio is still so much a niche and expensive?
> (MSFT) didn’t budge

???

The 2:00-2:05 (CDT) 5 minute candle for MSFT was a 2% move, that’s not nothing for a 1.77T company lol

The candle low was 234.47 and the candle high was 239.10, this is in a 5 minute span
Self merging your code at a company like Google is wild.
Agree, the Armor community might really like this stuff. Especially if it can be paired with a sensor suite on the outside of the vehicle, so the TC (or maybe everyone) in the vehicle can "see" through the hull. The complexity of determining which surfaces within the truck should show as translucent in the HUD seems like a pretty tough problem to me though.