skysight-inc/HackerNews huggingface dataset:
> Musk is just a really effective lying conman

I have always been a little dubious about Musk. Whether bold claims about magical tunnels under cities or over-selling the abilities of cars.

But ultimately, for me the final straw was at the whole Thai cave rescue thing.

After that, I've considered him largely a marketeer when it comes to abilities to make useful contributions to world events.
I am really sorry to say this but as of last midnight Novaya Gazeta have ceased their newsroom operation.

https://novayagazeta.ru/articles/2022/03/01/o-rabote-v-uslov...
We laid down our arms and embraced our invaders and you won't believe what happened next!

When I was relatively young, my mom was against violence and wanted me to talk things out with some kids that were bullying me. Things didn't improve until I beat a few of them up. Putin has implied he's cornered and therefore overly aggressive in a story from his childhood where he's chasing a huge rat. We need to slam the door on his nose.
Stoltenberg denies there are plans. He doesn't rule out a NFZ. Also, according to a Reuters poll, 74% of Americans supports a NFZ. Time to leave the northern hemisphere.
That would be the homebrew error, what about the source build error?
The Dart formatter sounds really advanced, and reflects potential complexity of the language.

I think I'd still prefer to see a formatter attempt to preserve any formatting which is already 'good enough' to pass as an output threshold. Code isn't just a recipe for a computer to do something, it's a language for explaining to other programmers what that thing is and what's important to the structure of accomplishing it. The choice of where to place a break can matter for cognition and can be almost as important as the printed characters for organizing thoughts.
I gave my opinion on Dorries' approach further down on the thread.

Interestingly, the heavy scrutiny only came after the govt's threat of "defunding" the BBC in 2021. It was never there for the 2019 election, for instance or the Brexit referendum.

Also, the Tory party never accused the BBC of political bias, but rather "wokeness", so this is just an attempt to shift to the public debate to "culture wars", rather than other issues, in my view.
It is based on separation logic. And apparently this makes it scale at the size of Facebook. IIRC, the tool runs in every commit. Also, I think each tool finds different bugs, they have a different set of false positives/negatives. So it’s good to be familiar with multiple tools.
You underestimate the shortsightedness and short memories of businessmen when shown a pile of cash, especially at companies like Boeing and other defense manufacturers.
Kaspersky has too many ties with the authorities anyway.

Russia is infamous for pressing businessmen to give up their assets. Evgeny Chichvarkin and Mikhail Khodorkovsky are quite interesting examples (check them out on wikipedia).

In Russia we say "the 1st rule of making business in Russia is to not host your business in Russia". Yandex and jetbrains are a good example of this rule!
I really doubt that tax evasion was the primary goal of hosting Yandex's HQ in Netherlands
Not an expert but I've heard formal methods are used in Chip Design. Also https://compcert.org/ a c compiler which uses formal verifcation. I tried some exercises in the series. Its pretty interesting thing to do (but very difficult to master), but yes I don't think its great for rapid software development. On the other hand for very very critical infrastructure or the case where you need your code to be right from the start (chip design, security protocols, etc.) it makes sense.
Not really. I missed that post.

I was looking for logic games and found Flood in Simon Tatham's puzzles collection: https://www.chiark.greenend.org.uk/~sgtatham/puzzles/
Many CLAs are not a copyright assignment, but just a more explicit licensing and granting of rights.
But you are not me and here we are.
Discussions on the role of luck in success pop up here on HN from time to time, and one pattern that stands out to me is that, for a good chunk of people, it seems really important to their sense of identity that luck is at best a minor factor in their success.

Your post is one of the more direct renderings of that point of view: you don't really argue that the parent post is wrong, merely that it's not a healthy way to frame it. Which makes me curious: why do you believe that it is bad for someone to believe that their success is largely caused by luck?

As an aside, personally I subscribe to this view on the interaction of luck and success: https://youtu.be/3LopI4YeC4I
SEEKING WORK | Remote | Jakarta, Indonesia (Asia/Jakarta, GMT+7)

Experience working with Flutter (GetX), Laravel, Livewire, TailwindCSS. VueJS/ReactJS is OK.
Full-stack dev/ also have worked with deploying apps. / Design OK
-> https://peoplebond.id -> HRMS
-> https://kantongsayur.com -> E-commerce project from scratch
-> Review more works here https://sawirstudio.com

email: sawir.ricardo@gmail.com
github: https://github.com/sawirricardo
>others greater energy and thus higher orbits.

Wrong. You cannot execute an orbital change with a single application of delta-v. Any pieces can at most end up in a new elliptical orbit where the high point is further up and the low point is where they started, and this subject to the same atmospheric drag there. It takes a second application of energy at the top to circularize into a new orbit.
I would go to predict that by 2030 some authorities will make emergency breaking mandatory features... Not that self-driving will be available.
Popehat's Law of Goats

He who fucks goats, either as part of a performance or to troll those he deems has overly delicate sensibilities is simply, a goatfucker.

"He claimed he was just pretending to be racist to trigger the social justice warriors, but even if he is telling the truth, Popehat's Law of Goats still applies."

https://www.urbandictionary.com/define.php?term=Popehat%27s%...
Haha. I loved the first seasons of Sillicon Valley.
Ask HN: How many 2FA tokens do you have?
I currently have 43 TOTP tokens in an app.

That feels like a lot, and is starting to get unmanageable.

I also have a handful of services tied to a Yubikey. But I've no way of knowing how many.

So, how many do you have?
Marvin's Marvellous Guide to All Things Webhook (2017)
I agree the editorial line is not uniform. But realistically, how many people watch Politics live or Newsnight? Mostly politics buffs. The vast majority of the population watches peak time news (which is mostly repeating the governments line).
Old-timers did without memory safety too, which is why I'm switching our company's stack over to good ol' C
> He said "parts" of Ukraine.

And which "parts" of Ukraine would that be that don't have the view of the sky required to get Iridium, Inmarsat etc. working ?

Last time I checked, Starlink required a view of the sky too. ;-)
Creating social networks is easy. Getting Billions in investment to use to lure people into your walled garden so you can gamble on extracting even more billions from them later when they and their nwtwork are locked in is hard. Competing with competitors who have done the above and have near infinite money is hard.

There's a very obvious solution to this, and it involves government regulation.
That's a pretty interesting idea. Gonna think more about it.
No, that's what you want me to have said. I said I "don't mind" and you then went off on a tangent about instant "perfect aim" and I should go play a crappy online shooter with bots etc. And oh no, it's not fun!

You just decided you are going to crap all over my comment and crap all over what I said I'd like to see in a game because it does not agree with some kind of idea you have about "fun" in games.

More fool me for commenting in a thread about games.
> In theory it could require about the same number of rocket launches from the ground as it took to launch the satellites in the first place.

You have very dubious reasoning about this. It sounds like you are calculating attacking each satelite with an individually maneuverable free-flying space vehicle. This is clearly not the most optimal way to do it so it is not the right calculation to estimate the minimal number of launches required.

Instead of thinking about smart and expensive satelite killers each with the complexity of a faberge-egg you can pack a missile full of nails and spread them into an expanding cloud with a timed explosive. A shrapnel bomb in orbit if you please. Will one launch suffice to kill all the starlink sats? Maybe, maybe you need two or 3 at different inclinations. You definietly don’t need as many launches as many spacex needed to put their satelites up.
I highly recommend anyone who has the capacity to do so: it’s not particularly difficult and goes a long way in building the very foundations of a free web.
Note the 'at some point': Russia can't go on like this, regardless of whatever popular support Putin has at this point in time. It's about as meaningful as the support for Kim in NK.
>though clearly the Ukrainians are willing to literally fight to the death ...

I doubt that and Zelensky is not really the problem. Go and inform yourself as to what is going on.

https://consortiumnews.com/2022/03/04/how-zelensky-made-peac...
Surely at some point they'll see that what they're being told doesn't make sense.

I remember thinking that way, too, back in 2016.
What do you mean by field of enquiry?

Formal verification has it's success stories, like seL4 (https://sel4.systems/).

This series seems rather educational and seems to give you coq proofs for algorithms. I guess it depends on your needs and domain if you need to bother.
Try and go to a Russia-aligned (or at least not Ukraine-aligned) subreddit, copy a defense of Russias actions, or a condemnation of the Ukraine government, and see how it fares on big subreddits, like r/news or r/europe. You'll almost certainly get banned, esp. if you link to media articles that support your argument. Even if your entire argument is factual and supported by western media articles.

Moreover, it's not a well-hidden secret that Reddit is a very popular target for information warfare on behalf of western intelligence. Information warfare and media operations with the intent of controlling the narrative is extremely widespread. It's not surprising that Russian media are blacked out and labeled misinformation. Closing ones ear to the opposing viewpoint had already become a prime virtue, and isolating out dissenting opinions is an important part of this kind of information warfare. Western news media is absolutely steeped in pro-Ukraine propaganda, obviously much more that even Russian media is with pro-Russia propaganda. It's a case of fish not knowing they're in water. It's insane to me to see the extreme extent of demonisation of Russia, and even ordinary russians on reddit. You won't see this universal kind of demonisation in Russian media. Controlling the narrative is a powerful thing.
How would a benevolent party receive their first BTC donation, though, if everybody was that skeptical?
Rossiya – Special Flight Squadron Flight RSD88 from St Petersburg to Washington
Hard to keep secret the fact you are practicing shutting off the internet...
> still working in 𝘀𝗼𝗺𝗲 parts of Ukraine

Emphasis: some, not all
English and French are indeed lingua francas but depending on the country or even the city you're in, they can be used as equally as lingua franca with the dominant local language.

People in Africa fluidly switch languages mid-conversation or even mid-sentence. In DRC for example, it's common to see a conversation in French and Swahili, or French and Lingala, or Lingala and Swahili. But most people will make an effort to stick to French when talking to a foreigner.

I've also heard Kenyans say that Congolese people speak Swahili weird because they use French loanwords.
I'm getting sick and tired of baseless comments like this being the top comment.

I want to read about the real topic, additional information, different insights, ... a real discussion about the original article, link, project.

Too many discussions are getting hijacked and turned into irrelevant clickbait and a waste of time.
Do you also wonder about the usefulness of git?
For my country the last time was the WW2 and the people fought against Germany.

I wonder if they think that it would have been better not to fight against Hitler as well?
Normally you'd have simply floated another bond (not a puttable one this time). Credit is a funny thing, it becomes unavailable the moment you need it most ...
The Rust borrow checker implements what amounts to a simplified application of separation logic (the topic of the latest volume in this series), and there's ongoing work to further extend its applicability so that, e.g. generic data structure implementations might be written in a verifiably safe manner. If you've ever written or otherwise relied on Rust software, you have indirectly used this work.
Ukraine accepted to NATO cyber defence centre
In 1930s and following world war 1… did the measure to punish Germany not result in world war 2? Don’t get me wrong, I’m very pro we should do more to help Ukraine … I feel good when I hear oligarchs are losing their super yachts… and I do not see away for the world to do business with Russia now we should be cutting oil purchases too… but really what does this do ? Does it not just further cement a people under the control of a crazy person with more nukes then required to end the world? I feel like maybe we should have sent in air power and troops and been like “bring it”. When things cool down again after Putin - I sure hope the world can come together and finally remove the nukes
Very old study but interesting nonetheless. HFCS gives me headaches where regular sugar does not. I can eat a bunch of candy no problem but a large soda will leave me with a throbbinf headache every time
Genuine question, what sort of risks are associated with running this on a typical residential connection?
These are wrong perks. Here's what would have helped:
1. Functioning democracy.
2. Rule of law.
3. Competent governing.
4. Reforms of basically everything.
5. Freedom of speech.
And many more. Instead, the "perks" looks more like leftovers for a dog. Pretty much sums up the attitude towards the regular people.
I agree.

Was very surprised that most academic documents aren't being published in DjVu [0] format anymore, very sad.

[0] https://en.wikipedia.org/wiki/DjVu
Part of the complexity is if I format my code and commit it, and then you checkout and make a change, we don't want your formatter to have different opinions on how to format my code. For this you need (partial) stability at least across minor versions, which is harder with a less-explainable algorithm.
Ever heard of the Resistance?

It's not about letting the agressor win, it's about fight back without losing your city.

Right know Putin could just bomb the Kyiv to ashes.
We have surprising many Putin bots or just naive followers.
yeah, for businesses piracy is prosecuted if caught
Exactly. It'll be a slow and steady decline in terms of safety, pilot training and so on.
I understand what you’re saying but there’s nothing I can point to in my life that gave me privilege. Even being white and male have largely been detriments to my life as a lot of things designed to help low income people tended to have racial qualifiers.

Which incidentally made me a bit racist until I overcame that, because ultimately it’s nobodies fault.

I have no “absentee dad who helped out” and my family all died before I was 5 leaving behind a pitiful inherentence that barely covered their burials.

I get what you’re saying. But the reason it pisses me off is that while I have been extremely lucky, I sometimes wish to speak to my friends who were not so lucky and did not escape like I have. Having people discredit my lived experience or pretending as if it was the same for then us not helping them or me.
A Set of Consistent Principles That Are Equally Applied to the USA and Russia?
I hope you're right — that's certainly one of the conceptual rationales for sanctions.

Unfortunately, it will probably take a lot of catastrophic economic damage before Putin loses support — as in whole companies going down, life savings destroyed, bankruptcies, loss of homes, hunger, desperation. Think of how difficult it is to overcome your own biases — have you ever changed your mind about something your country did?

Sanctions are horrible especially on this scale, and even those of us who believe they are appropriate have to stay clear-eyed about what happens.
Yes, the person being blackmailed, said that the person blackmailing him, who was still in a position to blackmail him about the (now realised) invasion of his country, which is likely to end with his and his family's death, and potentially could be in the same position for four more years said there was no blackmail and specifically said

"“I don’t want to interfere in U.S. elections,”"

I don't find that decisive on the facts given everything else.

Stormy Daniels denied sleeping with Trump, because someone threatened the life of her child. It was and is still a true thing that happened.
Thanks Peter! Yes, we can add this download format as well (we currently have obj, fbx, glb, gltf)
So many hours have been saved thanks to formatters. Not only writing it, but also countless hours in PR-reviews without senseless nitpicking.

One of the best trends recently.
Why are Kenyans not downloading apps made in Kenya?
Well. You're on Hacker News. So I'm going to quote the Jargon File and then you'll stop complaining. Right, cobber?

> Further, note the prevalence of certain kinds of nonstandard plural
forms. Some of these go back quite a ways; the TMRC Dictionary includes
an entry which implies that the plural of `mouse' is {meeces}, and notes
that the defined plural of `caboose' is `cabeese'. This latter has
apparently been standard (or at least a standard joke) among railfans
(railroad enthusiasts) for many years.

> On a similarly Anglo-Saxon note, almost anything ending in `x' may form
plurals in `-xen' (see {VAXen} and {boxen} in the main text). Even
words ending in phonetic /k/ alone are sometimes treated this way; e.g.,
`soxen' for a bunch of socks. Other funny plurals are `frobbotzim' for
the plural of `frobbozz' (see {frobnitz}) and `Unices' and `Twenices'
(rather than `Unixes' and `Twenexes'; see {UNIX}, {TWENEX} in main
text). But note that `Unixen' and `Twenexen' are never used; it has
been suggested that this is because `-ix' and `-ex' are Latin singular
endings that attract a Latinate plural. Finally, it has been suggested
to general approval that the plural of `mongoose' ought to be
`polygoose'.

> The pattern here, as with other hackish grammatical quirks, is
generalization of an inflectional rule that in English is either an
import or a fossil (such as the Hebrew plural ending `-im', or the
Anglo-Saxon plural suffix `-en') to cases where it isn't normally
considered to apply.
Only a single Yubikey. After the purchase, I expected lots of service to implement
WebAuthn, but none that I use bothered to, except for select few. I touch it once a year at best.
I am somewhat familiar with Russian history and it really has been pretty terrible for the Russian commoner in the last 500 years.
And the Russian elite prefers drinking champagne in France and shopping in Milan to improving their own nation.
Turnspit Dogs: The Rise and Fall of the Vernepator Cur
Not much at all (unless you’re in the DPRK, I guess).

Running an exit node is likely to give you issues, though.
… … … you mean it will cause Kessler Syndrome?
What I do is use "_Bypass Paywalls Clean_" for Firefox, on my desktop. [1]

Then on my iPhone (safari), I use a handy little iOS shortcut that routes the page to archive.is and then shows the reader mode version. [2]

I used to use a cool shortcut for apple news that would also parse the URL, find the original article, and show it reader mode. Sadly, apple disabled sharing of News+ articles.

[1] https://gitlab.com/magnolia1234/bypass-paywalls-firefox-clea...

[2] https://www.icloud.com/shortcuts/81c670b532e340e38a35cc62e3e...
> Do you accept Anglish's design goal to only include words derived (through various mechanisms) from Germanic languages?

No, I don't. That is exactly my point. Or rather, I don't agree with what they're actually doing, which is to only include words derived from old Germanic languages. E.g. modern Germanic languages have had words like Congress/kongress/Kongress for centuries. I'd be happy with a language trying to stick to words closer to the consensus of modern Germanic languages.

If you want a mid-point between modern Germanic languages, stripping the language of imports does not work, as then you're creating friction for speakers of other Germanic languages which have also imported those words, not reducing it. I don't see any value in that.

It's fine that this is not Anglish' goal - they can do what they want -, but it makes it unsuitable as an attempt at a shared Germanic language. Their translation of names in particular is outright obnoxious and goes in the opposite direction of a trend to reduce the use of translated names in a lot of languages and reduces understanding rather than increasing it. That's their choice, but it's a very different one.

If I were to try to create a mid-point out of English, I'd narrow the focus massively to deprecate words that have decent Germanic replacements in common use in the other languages, and aim to shift meanings to accommodate it, such as e.g. giving "stool" the same broad meaning as a replacement for "chair" as its cognates have in other Germanic languages. And I'd leave words that have close cognates in other Germanic languages entirely alone, irrespective of the source, such as congress, because they're more likely to be understood by other Germanic speakers than many of the Anglish replacements.
Evaluating MS Playwright for gray hat automation
> [1] "Brother" is a fairly irregular word, but there's no form ending in -n.

It's brethren, for the record.
And so the old people of Russia have what they wanted - USSR 2.0.
According to Wikipedia, Radio Sputnik at least is state owned:

https://en.m.wikipedia.org/wiki/Sputnik_(news_agency)#Radio_...

So it would seem the owner is being paid by the Russian government, although it's not entirely clear.

Seems fishy the "about" information is behind a paywall.
OP wrote, "any men", not "any man", which is grammatically incorrect, so I assume it's a typo of "many men" which is not definite, and is a reasonable assumption in my opinion.
is it even possible to be vitamin deficient with western diet?
Show HN: I wrote a lovely JSON parser in ANSI-C
This is not just a Dorries thing, she is merely working from the script. I believe that focusing on culture war issues as a front for Tory vote-winning was becoming a key focus under Munira Mirza, and I only expect it to intensify in spite of her departure.
Best Answered at:
<https://forum.torproject.net>
I don't get the problem this solves.

As it says, I can use a code from today and add it to a video from yesterday.

I don't know who controls the private key, so how can I trust that they won't sign tomorrow's timestamp today?

If someone scans the code, and visits the website, their IP and UA will be logged. Which is a good way to track who has viewed your video.
It seems that there's a threshold that would have to be hit to trigger that process. Do we have any idea whether starlink satellites, whether intact or as debris, would be anywhere close enough to that threshold to trigger the runaway process?

It could be true that the phenomenon exists conceptually, but that were nowhere near remotely close to triggering it, and that people are vastly underestimating the size of space.
Thanks ekianjo! Yes, that is true. For complex objects, the effect of the algorithm is to lose detail. We mitigate this with our multi-view option (up to 6 images of different views). At the moment high level of complexity is in most cases not processed. We do best with simple objects.