skysight-inc/HackerNews huggingface dataset:
It's not on page ten. It's not hidden. Comcast/Xfinity puts it directly next to the speed in their advertising materials. Just check out their website (https://www.xfinity.com/learn/internet-service/speed). Yes, it's a slightly smaller font, but companies have been putting "FREE" in bigger letters for complimentary products forever - I'm afraid I don't see the difference.
"Even after many years of experience, I still get lots of comments on some of my PR's and you know what? That's my favorite thing to see! It took me a few years to realize that getting comments didn't mean that I was doing a bad job, it just meant that someone had caught something and there was something I could learn"

That seems true. Thank you for saying that
This is a confused video. NK has ICBMs today. Look at their launches. What they don't have is advanced reentry vehicles and the large numbers of ICBMs necessary to really scare the US.

A reentry vehicle isn't even necessary for an EMP weapon attack though. NK already launched satellites, which proves they can do everything short of reentry.

Putin's KGB nuke team is working hard to help them get ready. Those "leaked" Russian designs for Super EMP weapons and Soviet ICBMs are working well so far.
Many companies (including startups) have internal tools that are web applications. While the more adventurous firms put these on public IPs behind an employee login/SSO system, the more conservative will always have them behind VPN. VNC is a drastically worse UX than a local browser unless your endpoints are really bad.

Honestly, I think you can get a similar security posture with a reverse proxy enforcing client certificates and 2FA (this is what my employer does), but people feel more comfortable trusting VPN appliances from big-name vendors than their nginx configs. Harder to fail open, certainly.
Why Millennial Men Are Disappearing from the Labor Force
Nothing specifically. I was expanding the specific comment on an instance of Chrome-only compatibility into a general comment on other things Google has been doing to expand it's Chrome monopoly. Maybe the topic deserves a top level comment, sorry if it's placement offended your sensibilities.
> "... randomness is not merely the noise but the dominant factor. And those reasons we assign to historical events are often just ex post rationalizations. As rising generations are taught the rationalizations, they conclude that things always happen for a reason. "

Took me some time to realize that. I haven't seen it so nicely formulated before, though.
Show HN: Hacker Answers – an anonymous Q&A website for programmers
But if something is flagged in code review, it is expected to be fixed if it concerns code quality. I think as an organization we don't have a habit of adding code review chores to our backlog
The Mac Still Feels Like Home
supply of scala developers to demand is so unbalanced that you are sure to do fine.

A portfolio that shows that you can complete all facets of a large project (tests, documentation, builds, artifact publishing) will get you hired fine, don't sweat it.
Also the all important ‘C-b D’ for when your tmux session is frozen. That’s upper case d. When the wireless connection on your machine changes, tmux freezes. Attempting to detach other clients with this command, immediately restores responsiveness.
Most Americans have an outdated notion of European and Asian economies and how they have changed in the last few decades (to great success too). They still think of Europe as universally more regulatory and less economically free, but in reality many countries have had some great outcomes because they have abandoned t their old tendencies in some cases.

I would really like to read a roundup of how other countries have wired themselves up and have states model the successful policies. Some of the policies might work well for an area geographically and demographically similar to a smaller county, and I'm okay with that. There is a lot to be said for forgoing a national policy and instead allowing 50 smaller policies. Economies of Scale doesn't seem to apply to government actions as well as private actions. Instead you seem to get Grift of Scale instead.
All your reasons for impugning his integrity boil down to you disagree with him. That is narrow minded.

Pai (and many economists) believe a double sided market could increase potential profits which would incentive investment so ISPs could provide a "fast lane." That isn't "somehow." They thought about and have a reason for believing what they believe.

You can disagree but that doesn't make them hitler.
Nihilism isn't the only option. This is a decent starting guide if you're curious: https://meaningness.com/
The government screws up something simple.... net neutrality... so let's give the whole darn thing to government!

The Government screws up the VA Hospitals so let's give them our entire health system!

Has there ever been a situation that the government screws up and someone doesn't gets the bright idea to double down?
If you think that religious fervor is fading, look at all these people fighting for "just cases" of their choosing, from human rights to things like animal welfare. This fervor may be not attached to a belief in a particular deity, or something metaphysical at all. The feeling, and the mechanics, are still the same, to my mind.
Sometimes when I was asking HN I concerned if it is a good question, and am I posting the question in the right place. So I created this Q&A site. Here you can ask ANYTHING, as long as you are a programmer, and knowing you are asking programmers.
You can post without login, or login with Github( so that you can edit/delete your own posts). In either way, your posts are anonymous.
> The problem here is that intuition (gut feeling) is best trained...

You have had an entire lifetime of trial and feedback in understanding the character, talents, and ambitions of other people. If you don't have that, or if you can't trust it, you probably should not be a founder yet. Wait until you actually have those skills because they're critical for everything else in running a business.
Hm, that's not good. Is that implementation detail something Mozilla might replicate?
Technology has helped bring down the cost, obviously. But a big part of the reason long distance was so expensive was because government regulations forced AT&T to use its long-distance service to subsidize local service: https://object.cato.org/sites/cato.org/files/serials/files/r....
The problem is that Rx isn’t about “streams of events”. The main interface, IObservable, is entirely about _subscribing_ to “streams of events”.

It’s the awful brittleness of handling those subscriptions that makes it so hard to program with.

Compare that to something like signals in Elm (originally, it has changed now) while it makes some things Rx allow you to do impossible reports from users are that once it type checks “it just works”
Reminds me of article I saw years ago, making spoof of Popular Mechanics of 1960's:

Build an Intergalactic Radio Telescope In Your Backyard Using your Son's Tricycle, Save Billions!

TLDR: No, he didn't build an RC plane from a wall heater.

Longer version: He used a salvaged centri fan and some of the wire from an old wall heater. The rest is exactly what one would expect. Commercially purchased parts including foam panels, RC Tx/Rx and batteries, and a manufactured foam wing, along with various parts from a couple boxes of old RC parts in the basement and some tape and glue.

I wanted to see a flying space heater, by gosh!
Sadly Enpass is not open source.

https://discussion.enpass.io/index.php?/topic/210-open-sourc...
https://www.enpass.io/legal-end-user-license-agreement/
If what you say is true, then this is one more reason for me to learn TLA+.

As I asked in a different question, is TLA+ able to do the proofs declaratively and automatically because it has an internal 'logic inference' engine?
With all this push for Quantum, I wonder what the extension landscape is like. I’ve heard people complain about FF dropping support for old extension APIs (absolutely no idea if this is true - just murmurs). As a Dev, would now technically be a good time to consider building an extension for Firefox?
Is Esperanto really easier to learn than English? I'm basing on https://en.wikipedia.org/wiki/Esperanto#Grammar

English uses 26 un-accented letters, which is easily the lowest common denominator for typewriters and computer text systems. Esperanto has 28 letters with one type of diacritic.

Esperanto has word inflections for case (e.g. subject vs. object) and more verb tenses than English. Are inflections really easier to use than having auxiliary words or relying on word order?

I think English became a lingua franca for a reason, because it has far fewer grammatical and orthographic features than other European languages like French, German, etc. I think Esperanto has more complex features of European languages than English.
Maybe not because it’s a confederation of peers. As for ISP’s, Australia is not a good example because it’s poorly run, which it doesn’t have to be.

Instead, perhaps a GSE value-for-money internet, TV and mobile provider that’s a non-profit, customer-first, no-nonsense, doesn’t gouge people no matter their zipcode, and upfront about privacy and pricing. That way, where monopolies / oligopolies form and rural customers miss out, there is an alternative at a reasonable price. It’s like single-payer for connectivity that’s not the only game in town.

Less extreme, more practical and better run than the post office... more like a credit-union. Heck, make it partially employee- and/or customer-owned so people care.
Maybe, but those 12% (didn't check the numbers, I take your word for it) are much more sensitive about such discrimination. That's IE all over again...
There's a lot of money being put into startups for bitcoin based businesses. Perhaps this may incentivise some of the larger ones to hire a few staff to do reviews. It would be embarrassing to have their investment go up in a puff of smoke.
Oh, please don't let my fragile sensibilities get in the way of your entirely off-topic disquisition. I just wondered if I had missed some nuance.
You're either extremely misinformed or are being intentionally disingenuous.

https://www.buzzfeed.com/craigsilverman/how-macedonia-became...

Are you also against spam filters, virus scanners, security certificate warnings, mixed content warnings, and known malware domain click-throughs?
The alternative is that big corporations like Facebook and Google will control the internet, which seems way worse.
The complete history of Civilization
My grandfather, a Norwegian, was a nuclear engineer for GE his whole career and helped build Hanford.

He was also the funniest person in my family.
I don't think you're alone in disliking translation 'liberties' , but I don't think most people really like literal translation either.

A literal translation of many sentences from Japanese to English (and vice-versa) reorders words to the point of gibberish.

Almost every idiom is broken without reinterpretation -- well except for the really good crude ones.
I wonder what it would cost to run a fallback instance on Google or Amazon cloud, like if my ISP/cable modem craps out for whatever reason.
> Mathematicians don't just write down a proof and cross their fingers.

On the flip side, this is exactly what a lot of lawyers do when writing contracts. Not necessarily maliciously or negligently, but it can still make for fun questions of interpretation when things don't go as expected.
Android: unsafe at any speed, apparently.
Incremental data capture for Oracle databases at LinkedIn
DiskCatalogMaker 7.0.1 Crack and serial Key
On the off chance this heads off any super-unproductive debates:

When you're advising/training at-risk end users, it's not enough that it be possible to achieve some kind of security with a given load-out. It needs to be secure without trying hard.

So for the purposes of this document, we don't really need to litigate this phone or that browser. We just have to note that for non-specialist end-users in high-stakes environments:

* It has to work.

* It has to stand a good chance of retaining secure without trying.

* It has to be incredibly simple to get everyone set up the same way.
Perfect example is how the OP say goes so far to say bat lungs are better (because they are more efficient as they have more surface area per volume) but they also are seemingly more fragile: suffering barotrauma from extreme changes in pressure: https://www.newscientist.com/article/dn14593-wind-turbines-m....

> Baerwald and her colleagues believe that birds do not suffer the same fate as bats – the majority of birds are killed by direct contact with the blades – because their lungs are more rigid than those of bats and therefore more resistant to sudden changes in pressure.
I said you _sound_ lazy and apathetic... if there was more context then maybe you should include it in your argument in the first place (which is all I'm responding to, it's not personal). All I have to go off of is a post where you describe a coworker submitting his "masterpiece", you admitting it was clear a lot of hard work went into it, and you rejecting it because it's too big. That, alone, is rather annoying IMO. As someone who will both review and submit bigger PRs that try to move the needle in ways that aren't possible with a 200 line diff, I would be extremely frustrated with your stance of "too big can't merge" with no other context. We've all been there under pressure faced with the decision of whether we can responsibly merge something or not. I'm sure you made the right call for your situation. But you suggested _categorically_ rejecting large PRs. I'm not the only one that took issue with that and it's much different than the scenario you've now described (lots of problematic, hard to parse, code with a tight deadline).
How do you measure outcomes? The rich in Canada come to the States.
Same story here. Quit my job a few weeks ago, and now looking for some fun stuff to do. If I don't find something by myself soon, probably will have to resort to spamming/broadcasting in LinkedIn like the next commenter advised :)
On Windows too, MP4 videos spins up fan - only with new Firefox (neither with Chrome nor IE)
Thanks, that's interesting. I have moved around a lot, so I'm used to adjustments there, I'm just concerned with moving to a small rural town here in Texas and being 3-4 hours away from the few friends family we do have left.
How do you pronounce Coq? I searched it but all I found was https://m.youtube.com/watch?v=TAHH83n2dmY
How do you juggle that option with the fact that other countries with much more government intervention (or entirely government led, like the NHS) have much cheaper healthcare, and better outcomes.

If everyone mandated that you had to buy dorritos, it's in dorritos interests to put the price up. But if the government produced the dorritos, and the government isn't a for profit business, it's in their interests to keep the prices as low as possible, at cost.

There was this great thread I saw on /r/libertarian, where someone posted some images about the NHS. It was supposed to make 'socialised medicine' look terrible by showing an obese guy costing the NHS £200 a day for a bed while refusing to reduce their diet - "hey look with socialised medicine you are paying for this guy! How bad is that!!!"

However it backfired when all everyone was talking about was how it only cost £200 a day for a bed.
Their Bearanding
It’s fun to speculate and worthwhile to perform thought experiments. However, is there any basis for your theories regarding Russia/China and NK?

Also, why is it a only triad? Where’s space in all of this? Wouldn’t paranoid sociopathic policy makers with their inflated USA military budgets have already considered the scenarios you’ve described and put multiple contingency plans into place? Just asking.

To offer an alternative, I’d speculate that between USA, Russia and China, all three have privately advanced their own technology to maintain deterrence for the foreseeable future. Just pure speculation of course, I’m not a government employee nor do I have any clearance or special info. Just seems improbable that the USA hadn’t planned for a superpower or alliance trying to disarm all of their nuclear arsenal at once.

Thanks.
A casual read says the safest easiest setup is everyone doing all their work on a recent iPhone model. Good news is, assuming the budget requirement can be met, this is pretty close to what is already happening for most people.
What I really want is for them to support Flatpak. A 3rd party is doing this work for Nightly and Developer, but I'd like to see Mozilla get on this train, and then the whole distro specific packaging thing is no longer a thing. They're already doing the heavy lifting with their own tarball.

https://flatpak.org/apps
>Taxpayers built this infrastructure and there are still regional broadband monopolies all over the place.

Taxpayers building modern ISP infrastructure is a myth. Very little public money went to last mile ISPs. In fact, they are typically taxed fairly highly by local governments. Governments see ISPs are a money raising source not a place to spend money .

There are still regional "telecom" companies like AT&T and Verizon, but they don't have monopolies over ISP service. In most areas its actually the cable company that has more customers.
Specialists with carefully chosen phones can achieve security that is asymptotically as good as a recent iPhone.

We can spare ourselves the world's dumbest HN thread if we stipulate that by far the largest problem with Android is that it means a zillion different things. Campaign workers (or NGO employees) with "Android phones" are people that have every conceivable random phone that happens to be running some variant of Android.
Tempat Daftar Judi Poker Terbaik – Situs Poker – Pokerqq81
Half-Life and Team Fortress Networking
On a less personal note, both to this post and to the OP, the Book of Life's style is to make profound declarations by at times making specific statements about the author's outlook (Alain de Botton?) and passing them off as universal observations. Part of that style is to make world-weary pronouncements that read as emotionally raw or gritty. The statement may or may not be true; but it's also framed in a dramatic way.
Breaking Kindle unlimited and selling ebooks online like a big boy
Wow, this is amazing. Can you share a link to the full module with proofs? I'd love to compare it to the Coq version.
I want to give a little bit of context to this guide. So far I've done this training with six congressional campaigns, and a very similar one with about two dozen journalists.

Everyone has a limited mental budget for security hassle, and it's a challenge to fit the most important bits of advice into that budget. The hardest bits are those things that are relatively easy to use, but a beast to set up—password managers and security keys.

There's a lot more that could be in this guide, but I've found that it's the most material that I can fit into an hour, and even then the people running for office find it intimidating. However, they are also very glad to get actionable advice, and in a format that is not too technical.

By far the most surprising thing to people on this list is the admonition to turn off anti-virus software.
I've not been to the Tokyo meetups, but I certainly enjoyed the HN Kansai meetup. I met some interesting people hacking on (somewhat niche) fun things - game dev, web design, cryptocurrency, etc. Definitely recommend it!
You touch on something that's a very important point: path dependence. There are a ton of both de jure and de facto technology standards that we are locked into at some level because they gained dominance at one point because of some combination of tech, marketing, industry dynamics, and more. Once Ethernet, USB, x86, or whatever gets established it's hard to kick it out for something else that is locally better.

This has become increasingly the case in much of the tech sector because of the increased importance of interoperability , ecosystems, and network effects. Conversely, you do see fairly rapid switching aware from online properties that aren't sticky because something new and shiny has come along.
From what I understand the Webextension API is somewhat standardized, and intended for the long haul. So, now would seem like the time.
The problem is that unless you plan to crash into it you need to reach the same speed. Or use a rail-gun to shoot an anchor.
Anti-Trust?
This isn’t Reddit.
Maybe it’s still spinning up to a higher rate?
I had a similar journey although came away from that point headed in a slightly different direction. As you have studied the processes by which software is developed have you noticed a correlation between developing pieces that are architecturally important (many things are touched by the choices) and planning investment by the team?
That's not what gaslighting is.
The one you really want to figure out how to nail is the email attachment problem. This is as good as any realistic advice I've seen, but you just know that even for people who read this stuff really carefully, attachments are how they're going to get owned up.
Are you suggesting computer scientists should be able to derive non trivial results on job interviews? Really?
Also, it's almost always important to be persistently noisy. A single noise event (or even a handful) can be - and often is - ignored.

Silence is insidious because even after a very noisy scandal, silence eventually normalizes the status quo. The only way to counter this - and be seen as a real issue that needs to be addressed - is to be noisy in the right channels every time the problem happens, with the noise continuing until the problem is actually fixed.

Protesting, letter writing, and political action in general is not a one time event. It's a force that needs to be continuously applied.
Millions of people in the US alone don’t have the privilege to be that principled.
So.. KeePassXC?
> I haven't heard of any examples of complex verified programs where later someone found a huge flaw in the specification.

Look at

> https://www.krackattacks.com/

"The 4-way handshake was mathematically proven as secure. How is your attack possible?

The brief answer is that the formal proof does not assure a key is installed only once. Instead, it merely assures the negotiated key remains secret, and that handshake messages cannot be forged.

The longer answer is mentioned in the introduction of our research paper: our attacks do not violate the security properties proven in formal analysis of the 4-way handshake. In particular, these proofs state that the negotiated encryption key remains private, and that the identity of both the client and Access Point (AP) is confirmed. Our attacks do not leak the encryption key. Additionally, although normal data frames can be forged if TKIP or GCMP is used, an attacker cannot forge handshake messages and hence cannot impersonate the client or AP during handshakes. Therefore, the properties that were proven in formal analysis of the 4-way handshake remain true. However, the problem is that the proofs do not model key installation. Put differently, the formal models did not define when a negotiated key should be installed. In practice, this means the same key can be installed multiple times, thereby resetting nonces and replay counters used by the encryption protocol (e.g. by WPA-TKIP or AES-CCMP)."

I personally would consider this as a clear example of a huge flaw in a specification where a correctness proof was done on.
That's why I mentioned the LRU implementation. It does not iterate over the list, only adds elements to the front, deletes from the back and moves from the middle to the front. Refs to nodes are stored in a map, so iteration is not necessary to find an element.
Please do Not click the ad
> Verified code is about as close as you're ever going to get to bug free.

Code verified by legible proofs is safer than merely verified. The quality of the verification language matters, it's not only the programming language.