skysight-inc/HackerNews huggingface dataset:
Exactly my thought. if your state modeling is so in-depth and advanced, either decompose it into smaller state tables and analyze those individually or go full-formal with TLA+.
Fascinating. And of all life on Earth, how did human consciousness arise?

We're basically virtual machines/entities/minds stuck inside biological bodies, and the majority of us are at odds with nature and every other living organism on Earth.

I guess I'm more interested in how that happened than how life started, both seem equally incomprehensible to me, though.
> then there must be something to it.

That "something" is almost certainly "the NY Post story has profound credibility problems, to the point that it may very well be a hoax, and Jack Dorsey is still reeling from his personal moral complicity in the flawed 2016 election."
Show HN: Virtual water cooler/cafe for your Slack team to casually hang out
Since neither of us know... let's not assume either way!

Maybe it was sold at a loss before! Who knows.
Manifest V3 as specified by google isn't a slight limitation. You must ship your much smaller block list with your extension and only update it with extension updates and due to effectively being limited to only providing a slightly different list of sites to block instead of methodology of blocking your ability to block an evolving threat will be limited to how fast google an ad company opts to evolve their technology to block their own revenue stream.

It only wont immediately appear as the total destruction of adblocking because it will require months for people to all adopt new browser versions and developers are likely to take months to adapt their tech to the point where your adblocker effectively stops working for 90% of ads after which it will basically never work again.
I don't get it on one side you got the people that think Musk is god. Mention to them that there are a lot engineers and techs doing the heavy lifting and they get really really mad.

Then you got the other side that thinks Tesla is a grift. And mention that it appears they've been making a small profit on every unit shipped and those guys lose it on you.

Profit on units shipped is the mark of going business. Means the investors cash is being spent on building out the business not subsidizing a money losing business.
The thing that seems obvious but opaque is the mechanism of coordination. My guess is that the DNC communications director simply has all of FAANG moderation staff on speed-dial and calls them up whenever something like this happens, but maybe a truly great censor doesn't even need to be told when to act.
The main thing that seems a bit odd to me is that they're including a cable but not the charger. Now, to be sure, there's an argument that they're providing something that goes between a proprietary connector and an industry-standard one (that Apple will increasingly use over time). But that industry-standard is still relatively new and therefore it's the "wrong" cable for a lot of people.
Thank you very much for your comment.

You are right, Uptime Robot is very similar and it's free.

Currently Monitoria supports only 5-minute monitoring frequency. But it would be pretty easy to allow 1-minute intervals.

You said you are getting only adequate service from Uptime Robot. What features are you missing? Is there anything groundbreaking which would make you switch?

Thanks,
Robert
I've resorted to adding my own firewall rules to the 'raw' table, which pretty much preempts all the rules Docker or the distribution inserts.

It's not as powerful as the later tables in the chain (see https://upload.wikimedia.org/wikipedia/commons/3/37/Netfilte... ) but a lot more robust.
Great job. I didn't read everything, but skimmed some of your materials online and most of this seems to be right on point in my view (having done hundreds of interviews and looked at thousands of resumes).

A few points you touch on that I really like:

* Leave out extraneous stuff... photos, references, etc. I don't need to know where you went to high school (assuming you are a college grad). I'll ask for references after I hire you.

* Check typos and formatting. I know some hiring managers who will let typos, formatting issues and grammar mistakes slip. Personally, I look for them and will likely disqualify you if I see them (I'll be more lenient if English isn't your first language). If you can't keep bugs out of your resume, which is a one to two page document, how can I expect you'll keep them out of your code? Also pro tip: always PDF resumes so formatting is consistent and doesn't show the squiggly lines that word document spell checkers show.

I general, I'm always surprised by resumes that try to stick out with gimmicks like charts or color, or whatnot. I've looked over high hundreds (or low thousands) of resumes and the ones that stick out are usually black and white, well formatted, straight to the point, brief and don't have glaring errors.
Possibly somewhat, but I think more often its that reducing complexity isn’t valued in many organisations. It’s usually faster to apply a patch over solution than to go and reduce complexity in the existing system. Also the larger the system, the less willingness there is to risk changing something that already exists - technically and politically.

As an example, imagine that you have a very slow service. You could dig in and find the bottlenecks, and rewrite the service to remove those bottlenecks. Or you could just add a caching layer on top. The cache layer likely solves the problem quickly, but it adds more complexity to the system overall.
You can never trust that your connection is end to end encrypted unless you run encryption yourself. Someone who could come up with a way to asymetrically encrypt video before it goes to any app would certainly make a lot of money and probably put a target on his or hers back for upset governments as they will have no way to decrypt it (now they can ask provider for the tap, but if you encrypt yourself it won't work).
This happens a lot on landing pages. I've seen people post "Show HN" links here and even after reading all the copy on their landing page I still can't figure out what the product does, what problem it solves, or why I should use it.
How does your system compare to Appgate?
Yes. They are in the same room, and we live in a small house. We know when they wake up. They're louder than average, and very busy during the day.
I don't owe the community anything.
I dunno, I disagree. I got into this game specifically because of the ability to work flexible, remote, and part time hours. Does it limit who I can work for? Sure. Has it mattered? Not really. 16 years in I'm earning a very comfortable middle class income working 24h per week, and the most I ever did was FT for six months, and 80% time for a year and a half. Most of my career has been 60-75% time.
What are your thought on analogy to make it easier to understand?

“Uber for..”
“AirBnb combined with..”
microsoft: in 2017, the Windows git repo contained ~3.5 million files & used 300GB when checked out as a git repo [1], In 2020, the Office git repo contained ~3 million files [2].

facebook: In 2011, the main site had around 9.2 million lines of code "excluding numerous backend services" [3]. In 2014 the android codebase was 4 million lines of code and the main site without backend code was 62 million lines of code [3]. In 2014, when facebook were talking about scaling mercurial, the main source repo was described as "many times larger than even the Linux kernel, which checked in at 17 million lines of code and 44,000 files in 2013". Around 2018 (?) facebook started using "eden", a fork of mercurial [5].

If we make the working assumption that expected lines-of-code / file of 2013 linux kernel is representative of all repos, then that gives around 386 lines-of-code / file.

loc(microsoft) >= loc(windows in 2017) + loc(office in 2020) ≈ 386 loc / file * (3.5m + 3m) ≈ 2.5 billion lines of code

The linked blog posts from microsoft & facebook talking about scaling version control systems are fairly interesting!

[1] https://devblogs.microsoft.com/bharry/the-largest-git-repo-o...
[2] https://devblogs.microsoft.com/devops/introducing-scalar/
[3] https://www.quora.com/How-many-lines-of-code-is-Facebook
[4] https://engineering.fb.com/core-data/scaling-mercurial-at-fa...
[5] https://github.com/facebookexperimental/eden
Very necessary product. Have you thought about approaches for helping researchers run studies with de-identified but linked data?
1. Immersion. Jumping straight in to implement a feature, or achieve a goal. Even if understanding is currently incomplete. Lookup docs and online info as needed to overcome roadblocks.

2. Combine that with "by the book" learning. Actually sitting down and reading a book, a man page, etc.

3. Getting a feel for the community and how they do things. In C you may revolt if you look at some of the code. But if you immerse yourself with peers you can learn the reasons (or lack thereof) behind things. Why data is stored in a a bunch of fixed size arrays instead of objects or whatever. Arcane but important tidbits you may not get from most books.

All 3 in no particular order/weight.
USC's Dying Linebackers
One way that I know of: Twilio and (probably) other providers let you programmatically look up the number provider details for a given number.
Maybe if you’re writing science fiction or have a time machine, not if you’re an engineer. For starters the bulk modulus is about deformation, not strength. Second issue is that you’d be creating explosive cable. Go watch some youtube videos of tempered glass exploding and then imagine what a material under 1000 times the pressure would look like in failure.

The whole excitement about room temperature superconductors is getting rid of the difficulty of cooling, the difficulty of this pressure requirement is easily much worse.
I'm humming while reading your comment though. I'll check back tomorrow morning.
What a horrifying point. First of all lots of people who would have bought expensive cars bought Tesla, its absurdly wrong to claim every Tesla buyer would have bought a Civic instead. You are suffering from massive selection bias.

And consumer products are almost always more then just pure base value.

> But Manufacturing consists a bulk of carbon footprint, so if you cared you'd get a used car.

So everybody who cars can never buy a used car and the people who buy new cars buy gas cars that eventually turn into used gas cars?

Do you really not understand how that makes absolutely no sense what so ever?

> But, the reason Tesla is doing well is not because it beat the Germans at their own game (as the articles want to imply). It is because they played a different game all together.

German game was to build expensive cars the people really wanted. And so did Tesla.
PRISM is a good one...? National security letters as well. Black sites. The penal/prison system in general.
C'mon man. Two 16-bit index registers and a relocatable stack pointer? What's not to like? Though 6502's zero page addressing modes were also awesome and pretty much used like IX and IY I think. Too bad the stack is stuck on page 1.
because even waking up an hour earlier than normal was a huge pain. Everyone was moodier, less capable and more distracted.
I don't think it's meant to compete with DIYers or small-time bloggers— that market is covered by wordpress.com's paid plans, and value-add services on top of shared hosting, like what SiteGround offers.

My sense is that WP Engine targets busy professionals who have first-hand experience of how much hassle a WP installation can be to maintain, people for whom downtime or being hacked has potentially a severe cost in terms of lost business, reputational damage, etc. The other way to look at it is that $300/mo sounds like a lot for "just a WP installation", but it's peanuts compared to hiring another person for your IT department.
I am not sure exactly how widespread it is/was, but as I understand that biphasic sleep was pretty common before artificial light and the rise of civilization. With the recent dropping of external pressure to get up as early or go to bed as late, it's not terribly surprising that some people would gravitate towards that; Kids even more so -- their sleep patterns are not quite as well established.

It's pretty likely they're not actually sleeping all those 13 hours. If they were, I would be suspicious of some other underlying cause.
I really disagree that composition is error prone. It makes it easier to test and isolate errors by easily allowing different implementations along the pipeline. You get abstraction and it's less error-prone. Abstraction usually is a win for reliability, because abstraction means less information and less entropy.
The big advantage of FTP is that server support for resuming partial downloads was generally supported, unlike HTTP. Of course the browsers never implemented the resume feature so there wasn't much incentive to use FTP in the browser. Plus Internet connections got better so the need to work around your shitty connection diminished over time.
Relationship Hero (YC S17) Is Hiring Relationship Coaches – Full Time Remote
That's the thing, lab grown diamonds have fewer defects than natural ones. They're too perfect, according to the diamond/jewellery industry.
Here's the deal, we all want to cash out for as much as possible and no one likes the feeling of making X, when they could have made x+10. To make matters worse, X is a lot of money, and we certainly don't want O. It's very natural, but can be very frustrating.

You need to ask yourself how the money you could take off the table now will affect your goals. If you could take some money off the table now, what would you do with it? If you sold it all now, what will that mean for your financial position. Then, ask yourself if that position works for you...as opposed to asking yourself would you be better off with 10%, 20% or 100% more.

Money is a tool, it's a means to an end. Get rid of the more is always better mentality. When you change your perspective, you'll be better able to answer your own question.
I guess this is just Netflix trying to be the Google of streaming services?
They're rewriting the present.

That’s typically referred to, at its most specific: fact checking, less specifically: news reporting, and most generally: making a claim of fact... when one disagrees with the check, report, or claim.
Google reveals Mineral crop-inspecting robots
The phone will still charge perfectly well with any lightning cable.
You also need to load root. If you do not count that, then in the linked list case there are no dereferences (root is litterally the pinter to the allocated block).

The stack case will touch three cachelines (root, nodeptrs and the final block). The linked list only two (there is no nodeptrs).

TBH it would be very hard to design a nonncompletely artificial benchmark were une desig make a difference compared to the other. Only way is test on an actual application and check what fits best.
Everything that I said above was based on what was known a couple of years ago.

However https://phys.org/news/2019-04-mechanism-high-temperature-sup... claims that there is now a theoretical explanation for high temperature superconductors, and the best guess above doesn't seem to be the real explanation. The real explanation being that the feature/TIQ-7651_unique_schema_version

Remember what I said about particles having a different mass moving through materials? The binding together of electrons through interaction with phonons seems to depend on the mass of the electrons. When you squeeze the lattice, that mass decreases.
I agree it's a little strange, but the included cable is also the one most people won't have, and the forward-looking option. I would guess the vast majority of iPhone users have many USB A -> lightning cables, but few or no USB C -> lightning. The new cable fills a gap, in other words.
I'll be the first to admit that I am very far from a crypto expert, but - does this implication necessary follow? Couldn't they just be recording and persisting the (encrypted) stream, and then making it available to "someone who has the key"?
Oi, same. Cliché or not, Obi-wan said it best:

> ...as if millions of voices cried out in terror and were suddenly silenced

I've since created a playlist dedicated to those lost songs, long forgotten fossils, as I randomly re-find or re-remember them. Sadly, there's fewer than 20 songs in there even after all this time.
You don't need to recreate a full planet-sized magnetic field for that, you can more feasibly put a much smaller dipole at the L1 Lagrange point that will deflect the solar wind sufficiently so that it avoids Mars.
You appear to be saying that the cancellation decision was made in a vacuum, without considering viewership. I don't believe this to be true.

My point was that the viewership might have been low because nobody wants to watch the first season until they know the third season at least is being made to avoid being cliff-hung. That is the catch-22; third seasons are not being made because people don't watch shows until they have a third season.
It should have, but that show generates revenue outside of screen.
My experience is pretty dated but back when I did some work with DARPA retention was a mess at the two defense companies I interacted with. Management wanted to minimize getting security clearance for employees since it involved a substantial amount of money/effort to get and then it was almost guaranteed that the employee would immediately jump ship to another better paying job requiring clearance elsewhere.

The other disturbing trend I learned about was how even if a company lost a contract, they would almost inevitably still work on it as a subcontractor for whoever the new contractor was. Part of that makes sense but it gave me the impression that no one ever really loses a contract.
So much for the browser being a user agent.
“First, very shallow coastal waters contribute around 50 percent of the total methane emissions from the ocean, despite making up only 5 percent of the ocean area. That's because methane can seep out of natural gas reservoirs along continental margins and can be produced biologically in anoxic (oxygen-depleted) sediments at the seafloor.”

https://phys.org/news/2019-10-global-ocean-methane-emissions...

Dams are collecting the exact same sediments that would end up in estuaries and as that article points out some of that is then turned into Methane.

Natural methane is just part of the carbon cycle. It’s generally ignored in oversimplified explanations like you just linked.
My guess re. 'how close': approximately 48 quintillion light years away. The US has been corporatist for a long while and is blatantly so since Citizens United - the idea that a consumer protection law would pass in this environment is as 'possible' as the world taking climate change seriously at any point before we are all boiled alive.
It's one of those papers in the strange intersection of "mainstream tabloid". It's clearly not serious, as you can see from a quick glance at their typical cover pages, but it's also not one of the papers everyone knows is untrustworthy schlock.
People get better on an IQ test if they think they’re losing to a computer
>Ergo, incredibly rare stuff has happened basically infinitely many times.

This wasn't my argument though. In fact it was the complete opposite.

I was proposing that it was in fact likely and thus pretty much guaranteed to happen in a large universe, as opposed to being unlikely but still likely given a large enough universe.

So we're working with different assumptions here.

In fairness I put my assumption way at the beginning of my post, so it probably got forgotten about by the end of it. Quoting myself:

> What if amino acids and proteins are in fact likely to arise naturally and in favorable circumstances?

We haven't yet conclusively found all of the pathways these can arise, and we continue to discover more. People just tend to assume it's pretty unlikely. I'm not so sure.
You left out the part where a year goes by and the web app randomly stops working because a subtle change in web browsers broke the app.

I don't have any of the problems you describe with updates or installers.
What kind of magical creature grabs the phone from the package, charges it, repackages it and puts it in the shelf for me to buy?

I've bought exactly 0 phones with 0% battery EVER, and I got my first phone in -97.
Sure, and some large number of those people bundle in their new phone with their existing plan, to either save some money or spread out the payment over more paychecks.
> Usage of FTP in the browser is sufficiently low that it is no longer viable to invest in improving the existing FTP client

Investing into much more complex browser extensions such as eg QUIC has necessarily even lower usage. Basically, this rationale for removing FTP support is made up/self-delusional when the reality is that Chrome devs want to drop "legacy" features to focus on others.
It looks really cool and innovative, so congrats.

However, it's pretty hard to evaluate since there's nothing concrete on the site and it's hard to imagine how they work.

What buttons do they have? How do they charge? How do you actually hear the audio when it doesn't actually go in your ear? Since it doesn't go in your ear, can someone next to you hear your audio -- is it private? What part swaps out? What's the battery life? What's the price? How much is the base price, and how much for each swappable part? Etc. etc. etc.

From the website alone (ignoring your HN title), I'd assume you haven't made these yet and you're just trying to gauge demand. But assuming you actually have made them... please show them off not just on the fashion side, but on the functionality side! Give us all the info please. :)
Didn't Zoom hire Keybase to do their encryption?

> This slight benefit is fairly silly, because we have no reason to give greater credibility (regarding ethics) to one set over another. At least it's a smaller set, though.

Well, before we had to trust simply that people with networking access were non-malicious. Now, we can simply trust that at least one of [crypto, network] people are non-malicious. That seems like an improvement to me.
On the other hand, each of the phones I and the people around me have have different standard for fast charging. So even if I wanted to share the charger with someone or use one that I current own, I'd be losing on that benefit
> just if its not true its pretty easy to say "not true, fake news" instead, what the answer that's provided is "we checked the schedule and didn't see it there" which is kinda suspicious.

Wait, so you're saying that providing an alibi as to why the claim is impossible is more suspicious than dismissing it as fake news without a defense? I'm not sure how else to interpret what you're saying, so please correct me if I'm wrong, but that position is mindboggling to me.
Wisely? Seems so. Widely? Probably not (what does on call this kind of typo? Reverse Freudian slip?)

‘alt’ groups typically were filtered heavily.
Same story, except congenital defects impairing both airways. Humming might still be helpful now that I’ve had surgery to create airways at all, but it’s no cure for blocked airways themselves.
Does anybody know if this means that zoom will be using WebRTC for browser-based E2EE calls?
I'm not sure what you're looking for here? Do you want an endorsement that I don't like voter suppression? Because sure, I don't like voter suppression. But you keep bringing up points that are at best tangentially related to the actual topic at hand here. I don't dispute that there's shit that happens, but I also don't see the connection to long lines at early voting.
White House Considers ‘The Great Barrington Declaration’ Herd Immunity Strategy