skysight-inc/HackerNews huggingface dataset:
Here are the disproofs:

-----

(1) a^n b^n

The pumping lemma tells us that for some string in this language, we can divide the string into three substrings x y z such that x y^n z remains in the language for all n.

There are two cases:

(1)(a) The number of 'a' characters in y does not equal the number of 'b' characters. In this case, pumping y will violate the constraint that a string in the language must have an equal number of 'a's and 'b's.

(1)(b) y consists of k 'a's followed by k 'b's for some k > 0. In this case, pumping it will violate the constraint that for every string in this language, each 'a' character must precede every 'b' character.

Thus, the language a^n b^n is not regular.

-----

(2) a^n, where n is prime

The pumping lemma tells us that for some string in this language, we can divide the string into three substrings x y z such that x y^n z remains in the language for all n. [same as above]

But the string x y^|xz| z has length |xz| + |y|*|xz|, which is not prime.

Thus, the language a^n (where n is prime) is not regular.

-----

Which of those was easier?
You go to jail for any reporting related to the war in Russia. No exceptions.
One way to check is go to to a news aggregator, like news.Google.com, choose Russian region for Russian related news. Use a translate service to get a view what information is shared. I have done it out of a habit - and the level of control is extreme that no useful information is shared.
Or maybe it's part of their strategy? Remember, Google is an advertising agency.

They are sending a message out that their support is maybe not 100% adequate, but if you do have an issue, just raise your voice on social media and it will be fixed. In the end everything will turn out allright, not?

The message they are sending out is downright misleading. Maybe we should even say no to that.
That is unlikely because Yandex has a "Public Interest Fund" (which consists mostly of government-appointed people) that has significant power, including a right to temporarily replace the general director [1].

[1] https://www.reuters.com/article/russia-yandex-governance-idU...
I’m pretty sure the Russian government would be aware of the capability too, with or without any tweets.
How to toggle reader mode/readability?
It doesn't seem to be able to save pages when I toggled chromium's reader mode on.

I followed the other advice on this thread. In the options:

- Annotation editor > default mode > format the page

- Annotation editor > annotate the page before saving

It automatically format the page into reader mode then I can click "Save the page" icon to save it.
But sometimes I want to download the page as is. Like this thread for example. "Restore all removed elements" button doesn't seem to work to revert the changes.

For now I just set default as mode as normal and enable "annotate the page before saving", and then click "Format the page for better readability" when needed.
In what other way could they possibly represent the war?
And is it those platforms' responsibility to enforce thought-crime intervention anyway?

It's easy after the fact to lay blame, but interfering in discussion, even heated and wild, is an easy slope into censorship and tyranny.
Genocide is just a term and where you draw a line is subjective. Ukraine suffered Golodomor and if they lose this war there will be Golodomor 2. It is not about culture but real lives lost. In tens of thousands, maybe even millions.
The BBC do the same thing for North Korea. They have been doing this sort of thing for quite some time. The article makes it sound like it’s the first time they needed to do it since WW2 times.

https://www.38north.org/2017/09/mwilliams092617/
Yeah, this is a plague. At face value, it's not a big deal. Who cares if housewives lie/fib?

In the larger sense, it's absolutely toxic, because it projects a wholly unrealistic vision. People see others "succeeding", and blame themselves for "failing" when in reality, the "failures" don't realize that the "successes" were bankrolled by parents/spouses.

It is of course possible to succeed without the benefit of being bankrolled, but our weirdo faux-entrepreneur class makes it really challenging for others to understand what it takes or their odds of success.
If you're talking about the general public in Russia, they've been misled about what is going on and have very poor chance of finding out the truth that their country has invaded their neighbour and that it is utterly brutal. If you find this hard to believe, remember that there are Americans who right now do not believe there is a war going on and that it's all fake: https://www.youtube.com/watch?v=lo7tWhre9hs

This sort of sweeping generalization of a people as either evil or good is wrong and unhelpful at best, and at worst takes us down a really dark path
Practically they are the only ones. While Chinese and Russian make some of their own they are still dependent on West for engine and other critical components.
I found the example in the end, but I bet you'll think it's also part of those documents that you can't expect anyone to read. The subscription agreement[1] when buying a subscription to Tesla's FSM contains the following in the "Responsibility" section (sixth paragraph):

> Active Supervision; Responsibility. Full Self-Driving capability features require active driver supervision and do not make the vehicle autonomous.[...]

[1] https://www.tesla.com/legal/additional-resources#full-self-d...
I learnt COBOL in 1981 and started my IT career programming in it. Fast fwd and I still have not seen or use a better business DSL. Use it as it was intended, for business applications, like accounts and payroll, and ERP, and you find it a delight - easy, simple.
It is not а fairytale. It just tells the state of Russian furniture industry if they cannot match even IKEA despite cheap labor and raw materials.
Just like Embraer would have a ton of trouble delivering a 500 plane replacement, think about what would it take to return 500 leased planes (and for the leasing companies to lease them to someone else to avoid going bankrupt, and for Boeing to deal with a deluge of cheap second-hand planes, etc etc).

Even if all 500 planes are instantly returned at the end of March (how?), there will be reduced traffic to Europe due to the current European bans, and the rest of the traffic will be handled by the remaining fleet. I'm not even talking about Comac or other options.
> When you commit to a version 1, you assume that every user of the package is using every feature you provide through your official API. If you break any slightest piece of the API, you've broken compatibility.

That is not how semver works. If you read the documentation [0], it says right there that the public API must be clearly defined but that can also happen through documentation and you only have to up the major version if you break that specified public API.

You can certainly consider it bad programming practice to expose something via the means of the language that is not defined as public API but it is not against semver to do so.

[0]: https://semver.org/
There's a pretty simple economic explanation I think. Large companies actually benefit from regulation. It mires small and agile competitors in legal paperwork and red tape, giving your slow behemoth bureaucracy time to react, perhaps crushing them or acquiring them. Imagine if Myspace had the benefit of GDPR and CCPA regulations, Mark Zuckerberg may have given up on Facebook while coding his first cookie consent form.
Also I recently discovered https://github.com/mingodad/lwc lightweight c++ preprocessor and here are some conversation and links about it https://github.com/mingodad/cfront-3/issues/6 and also an ASK HN link https://news.ycombinator.com/item?id=30511113
To be fair, they just happened to be the only ones with nukes at the time. Someone had to try it sometime to figure out exactly how horrible it would be.

It’s much preferable that it happened with a 20kt bomb, as opposed to a 20Mt one.
> On 13 September, just hours after the second explosion in Moscow, Russian Duma speaker Gennadiy Seleznyov of the Communist Party made an announcement, "I have just received a report. According to information from Rostov-on-Don, an apartment building in the city of Volgodonsk was blown up last night." When the Volgodonsk bombing happened on 16 September, Vladimir Zhirinovsky demanded the following day an explanation in the Duma, but Seleznyov turned his microphone off. Vladimir Zhirinovsky said in the Russian Duma: "Remember, Gennadiy Nikolaevich, how you told us that an apartment block has been blown up in Volgodonsk, three days prior to the blast? How should we interpret this? The State Duma knows that the apartment block was destroyed on Monday, and it has indeed been blown up on Thursday [same week]..."

What the actual fuck?!
Ask HN: Problem with Front-End Web
Back-end developers have to worry only about "code". A good back-end dev writes code that meets spec, passes test and has perhaps has no unexpected side-effects - but maybe last one is a great dev.

Front-end dev have to worry about the code (writing tests, no side-effects, plumbing with all it's quirks) PLUS they have to worry about the VIEW: what people see, every possible device, orientation, layout and the limitless variances thereof with all the quirks and different feature support and just random bugs unique issues you constantly encounter once and never before or again.

So, as a back-end you client is the one who is consuming your code only.

As a front end dev your client is everyone who consumes your code AND everyone who uses the website:

>the dev sitting next to you

>the bored UX designer fidgeting with the UI constantly

>the bored QA randomly checking the page for no reason

>the stakeholders (pm, producers, managers, end users)

I think the same also applies to lesser extent to App developers but with a more consistent and reliable platform - or at least more constrained.

How can I leverage my skills and move into another field. I'm happy to learn a new language but willingness to learn complex maths, algorithms and leet code is at or near zero.

Has anyone done this?
It already works, I can play Elden Ring online with Easy Anti Cheat working. Worked since day 2 I think.
Agree. They post like this periodically.

It does however, perhaps conveniently, ignore the complexity of the COBOL runtime environments like VRX, CICS etc from mainframe days. One think I like about GNU COBOL is it transpires to C and then compiles that. So you can run in most of the modern nix environments.
I'm not deep in to the technology and politics of telegram but I don't use it exactly because I know that letting the default be insecure is a common used dark pattern elsewhere. And that doesn't inspire confidence.
Leaked stolen Nvidia cert can sign Windows malware
How does this compare to other static code analyzers like spotbugs for Java and Kotlin? Does it have some unique capabilities?
Am I supposed to feel guilt by association because of that?
Natural languages don't have a formal grammar.
What do you mean they're almost out? It sounds absurd they'd have such a small stockpile.
On purpose. It's obscurantism.
Yandex has stuff... Everywhere

They do payments and payment processing (think paypal and square and more combined)

They do cloud services (think a mix of GCP and AWS) for business.

They do personal storage (think dropbox/gdrive) and email, and more.

among more.
He's getting downvoted for the retrograde gender attitude. Even if he's making a valid point, casually using language like "men protecting their women" and "any man will..." makes me roll my eyes and reach for the downvote before I even realize what's happening.
How is Threema better than Matrix?
If not the whole article, please read the chronology of events: https://en.wikipedia.org/wiki/Russian_apartment_bombings#Chr...

It is completely insane.
Yep. It seems doesn't matter what, there is always people trying to use it in a way it wasn't meant to.
Probably safer and more reliable to smuggle USBs with outside information like they did with North Korea
in using the rules-based order (its right to threaten people with nukes) to break this rules-based order
Huh? Don’t we have some servicemen on vacation in Ukraine right now? They’re just there on holiday, sightseeing in their A10.
I think we're talking at cross purposes. I (and presumably Musk) am talking about the Russian's targeting the starlink receivers / satellite dishes. These are (theoretucally at least) detectable using the same type of radio triangulation techniques used since WWII. Using one of these puts you in danger of attack if you are somewhere near it. And by attack I mean having a missile launched at you, being shelled, or having men with guns turn up on your doorstep. Hacking is not required.
> Was that single car worth the energy waste equivalent of a small country?

What if this energy waste enabled the purchase of 1,000
cars for people in desperate need? Would it then be worth it?

What if it were a million cars, or a billion?
Just to break up the angry posts self-radicalizing themselves:

This is a good thing.

Basically every media outlet mentioned here has a long history of publishing really big lies about important stuff they know to be false for monetary gain.

The Hill had to quietly oust one of their own top propagandists recently because of how badly his obvious lies about Ukraine helping to steal the US election from Trump went down with people familiar with objective reality.

Here's their own internal review:

https://thehill.com/homenews/news/483600-the-hills-review-of...

We're seeing on a big scale where this leads right now, and it is no coincidence that all these people seem big fans of Putin and dislike democracy.

And we've got all these people on HN carefully avoiding mentioning that they believe, or worse? support, these lies, and taking the pure and noble stance that we should never censor lies. Which would be a bad stance even if that itself wasn't just another obvious lie for political gain.
The UK is leading the charge for legislation [0] to force platforms to impose certain types of censorship. Youtube and the others are just getting ahead of curve. They have known what's coming since they were invited into No. 10 to discuss these issues with Theresa May and Amber Rudd in 2017.

The legislation is based on the principle that everyone has the right to say what they want to say, but they have no right to be heard by others. This phraseology was used by several during the recent committee hearings, including by Facebook employees for example. So it will effectively enshrine in law: shadow banning, delisting from Google search etc.

Also enshrined in the legislation is the principle of banning content which is 'legal but harmful to adults'. 'Harmful', amongst many other terms, is not defined.

Also enshrined in law will be the principle that certain types of 'journalistic' content will be protected from this censorship if it meets criteria to be decided upon by the new regulator, Ofcom.

This will be an enabling act. It is full, from front to back, of opportunity for scope creep through secondary legislation.

As I said, the UK is leading the charge with this, but the EU has been keeping pace [1]. I haven't seen similar in the US as of yet.

[0] - https://www.gov.uk/government/publications/draft-online-safe...
[1] - https://ec.europa.eu/info/digital-services-act-ensuring-safe...
This nonsense is very similar to another weird account that has been posting recently, obsessed with TPM and multiplayer logic being stolen from old school MMOs.

Somebody is having fun with GPT-2 apparently.

https://news.ycombinator.com/user?id=pom66
to avoid reverse proxy, dynamic dns to access servers at home, maybe try tailscale to achieve same thing
When families un-adopt a child (2018)
It's talking about idealistic foundations. The idea that software being a theoretical language with a well defined domain and codomain can be written with zero bugs and zero testing to catch those bugs. Zero bug code is written utilizing the tools of math, such as axioms, theorems, and logic to derive zero bug code without the need to utilize engineering principles. (I'm exaggerating a bit with the word "zero", "nearly zero" is more accurate, but too wordy)

In practice we try to eliminate bugs in software engineering by doing testing as if software was some material with unknown properties. This method is easy to understand but ultimately has it's weaknesses as tests only prove a program works for a single test. This is the "foundation" most engineers are use to.

As I stated previously, the "foundation" these book refer to are an idealism involving proving an entire program to be bug free without running it or testing it. Hence this is the reason why it's so foreign to you. You're likely use to software from a testing perspective.

Vestiges of this "foundation" have leaked into the common practice of software engineering. It's called type checking. In type checking your computer uses a similar method to guarantee your program has zero type bugs. It doesn't run any type testing, it literally just proves that your program is type safe and correct.
Tangential but what's the outlook for the African Union as a force for democracy? I know China has been making strong headway into some parts of the continent but I'd like to remain hopeful that Africa has a bright future as a power of the people.
This week in KDE: Firmware security page
https://txtify.it
DNSSEC worked mostly fine for Slack, except that their DNS provider, Route 53, initially had a bug where wildcard records on DNSSEC would not get correctly signed. It was when Slack panicked and tried to turn off DNSSEC when they completely bungled it and borked their whole setup.
Influenza has existed in human populations for a long time, yes. However the 1918 pandemic was a novel H1N1 influenza A probably from birds. It was never eliminated in humans and continues to kill people to this day. We "learned to live with it" because up front capital costs are distasteful to idiots who can't see past the next quarter.
> I wouldn't say they are noticeably worse than other media staples

My brain simplifies the double-negative to "I would say they are among the best media staples", which significantly changes the tone of your comment while (as far as I can tell) retaining the meaning.
If you disagree with that simplification, though, I would suggest citing noticeably better sources of news that people can turn to.
> require "prime"
=> true
> 10.prime?
=> false
read for example about the state explosion of DFA's:

"It is important because NFAs can be used to reduce the complexity of the mathematical work required to establish many important properties in the theory of computation. For example, it is much easier to prove closure properties of regular languages using NFAs than DFAs." https://en.m.wikipedia.org/wiki/Nondeterministic_finite_auto...

but more importantly look at the various attempts to the solve backtracking "problem" (stack overflow by unbounded recursion), as done recently in perl and pcre, which led to more insecure AND more unmaintainable regex code by converting their simple recursion to iterations on the heap. first it got much slower, as the state is now handled on the heap, and second it got much more insecure as DOS attacks can now exhaust the whole heap, not just around 1024 stack depths. and third, it got 10x more complicated, and unreadable.

ad language: you can of course define a language by forbidding left recursion, which yacc folks would prefer. but you can define it much easier with left recursive parsers, like 10x smaller. of course you can always expand simple NFA's to deterministic DFA's at the cost of exponential state explosion and increased complexity. but it is a monstrosity only impractical CS folks prefer. SW engineers prefer the similar, faster and more secure NFA backtracking versions, as long as you count the stack depth.
He is a man so it is 15.x years from 69 not 17.x years. But he is a short man which in some studies tends to make up a lot of the difference. Short people live longer.
I think the parents also see it as a good method to fill out the kids time as the parents are afraid that if the kids don't have anything to do, then the kids will end up doing drugs.

Kids doing drugs in rich families are very common as a way to handle the insane pressure. It's just that "Drugs Don't Work".
So all the companies collectively shrugged their shoulders and said “Ok, bye.”

I really don’t know what he was going for here.
Speaking of getting views whether true or not, here's the Guardian getting money for spreading misinformation: https://www.theguardian.com/world/2022/feb/25/ukraine-soldie...

They go on to say "The truth, they say, is the first casualty of war," and to ask for money, in that very article. No matter how many times this happens, the Guardian will never get blacklisted on HN as a purveyor of fake news.
That would also take out Russia's own satellites. And satellites belonging to their potential allies. So, probably not the best move.

And guess which company is best positioned to re-launch a crazy amount of satellites in a very short time. Russia would have to allocate a lot of resources it does not currently have to keep up with SpaceX.
or at least more actual science / tech content that isn't reeking of libertarianish crazy in the comments.
Not sure if anything about his comment suggests that tbh.
I know. But not reporting _anything_ is not unlawful, and seems more honest than playing along with government’s rules. At least then it’s clear that Russia has no independent media. The way I see it is a newspaper in Nazi Germany deciding to focus on the economy, because they can’t report on concentration camps. Better than nothing, maybe, but works great for distracting people from genocide. Again, I understand it’s people’s livelihoods, so I don’t want to judge them too harshly.
Post-Quantum NTRU Prime Patent FAQ
Russia deliberately destroying satellites would be a heck of an escalation that would likely find retaliation in a mysteriously high failure rate of Russian spy satellite optics.
Vala – modern language offering high level abstractions compatible to the C ABI
IME (in the UK) they either go into banking and finance-adjacent industries - often law - or (as noted earlier) they do something "creative" that requires a bit of cultural marketing and generates some output of no particular interest.

The corporate types are all quite cookie-cutter post-aspirational. They run marathons or do some other intensive sports, (mostly) the women play a musical instrument to a near-professional standard, they seem to have an intuitive grasp of how stocks, property, and investment markets work, they're terribly positive and friendly and charming.

The cultural types can be quite good in a limited niche, and they're often collected as trophy spouses by the other types.

The other types you'll meet are military officers - usually male - who are similar to the corporate types but more sporty without much of a cultural side (some of them enjoy consuming.)

And Notable Media Professionals who are a subset of the creative type. They somehow land astoundingly well-paid media jobs as high-profile journalists or writers, despite no evidence of deep insight or investigative ability. And a relatively light workload. (Maybe one article a week, and a few festival appearances a year.) At the very top of the tree they fall into media management at the highest levels - running newspapers and media channels.

All of these jobs are very, very difficult to get into for anyone from a genuinely working class background. They're also marked by very rigid conformity. These people all know how to play the game, and they're incredibly sensitive to insider/outsider status markers.

The idea that someone merely middle class with some working class family history could use the latter as a diversity lever to vault into them is simply nonsense.
Pray tell, what are those YouTube competitors with non-negligible market share? I'd love to move there and find all my favourite channels (or at least some chunk of them) posting their videos there.