skysight-inc/HackerNews huggingface dataset:
When you separate internal and external logic, for example in topos theory, the external logic is still classical.

For example, any topos has internal logic on subobjects of at least a Heyting algebra. In some cases you specialise to a Boolean algebra.

However, when you write things down such as your arguments around functors and constructions, you argue according to classical mathematics externally. When you enter into the category (which is chosen not to be Boolean) and argue on the subobject structure, then you are entering intuitionistic logic. This is what I mean when I say that classical logic can be argued to have intuitionistic logic embedded in it.

The cardinality of the reals being equal to the cardinality of the naturals is then something you have to construct inside the topos. So you need to construct along the spirit of a natural numbers object (perhaps a real numbers object) and then use the internal logic to argue about continuity.
How to Share Information with Investors
I've set Firefox its default search engine to DDG. Then if the search results are unsatisfying, I search again but now prepend the search with !g for Google, or !gi for Google Images.
Yes, but what the parent comment is saying is that simple replication can replace the need for parity arrays entirely.
This is great! As someone who leverages twitter to find early users for side projects, I'll definitely be using this.

One quick nit-picky ui detail - could you potentially make the name link to twitter and not just the username. Awesome work!
Is Intel's TBB allocator no good? I rarely see it in comparison tests
It is more complex than that. People who actually vote consistently tend to be older. Many such have strong feelings for Dianne because she was there when it happened and many old voters associate her with their feelings when they heard that they had lost Moscone and Milk together in a senseless freak out that disrupted their local government. This is part of why she and her followers keep trying to do to guns what we did to drugs.

Wanting to rebel for justice is great, but daring to trivialize the past will tend to trip you up. If the present situation teaches us anything is that morons can be formidable foes.
Strangely enough, they did exactly as suggested when batteries started wearing out on iPhones (unable to reliably provide the voltage at full drain for peak performance) and you're the exact kind of person who jumped on them for planned obsolescence.
Quantum computer chips demonstrated at the highest temperatures ever
Obey. Obey. Obey. Obey. Obey.
I don't know if it has anything to do with this announcement (e.g. some malicious actor taking advantage of a dormant vulnerability), but just a few days ago someone managed to almost invade my Paperspace account. Fortunately the system detected it as suspicious, but it seems they managed to get the password right.

The weird thing is I haven't used this thing since years ago when I registered and used it, like, twice? And I used a unique, secure password which I'm pretty sure I've never shared with anyone or typed anywhere else or in any unsafe devices. No Google login either (but I've logged out of all devices and removed authorization for all external services just to be sure).

So I emailed them asking what happened and how I could cancel my account (because there's no way to do it via the website). They didn't give any detail except say someone did manage to "semi" sign in, more than once, in a few separate days recently. At least they responded quickly and deleted my account.
I feel like this article is just another:
"CSS is hard, and instead of learning, use this clever method that works for me."

Maybe I'm just old school because I learned CSS2 by reading the docs, and not as CSS in JS.
They're succeeding because of their security issues.

Look at the problems they've had over the past month:

- "Zoombombing" is a thing because the default meeting configuration didn't require a password, making it easier for attendees—legitimate or not—to join.

- Issues with the installer were in part caused by shady workarounds they took to reduce friction during the installation.

And yet, they're doing just fine with their "UX first, security later" approach. So I guess I'm underscoring your point: we absolutely need more consumer protection.

Side-note: I wonder if Zoom is getting into trouble in Europe over any of this?
What is the difference between a digital euro and a debit card?
This is interesting; I would really appreciate source on this.

Also, what are the parameters for this assessment (cpu count, cpu frequency, memory frequency, heap size, object demography etc)?
They're both non-experimental in 15: https://openjdk.java.net/projects/jdk/15/
I truly enjoy all of Kevin Hartnett’s articles. He’s a great science writer. He shines a light on some really impenetrable ideas.
this whole argument, creationism aside, hinges on earth being the only planet with life, and no one demonstrates that either.

not knowing another is not the same as knowing there's no other.
I wonder if one of the ways they are trying to lessen demand is by showing over-estimated delays in shipping. I've gotten every recent order delivered much faster than estimated at the time of purchase. (Sample size about n=5)
While this is interesting...

* Sailors are not in any way representative of the general population.

* Sailors in the US Navy are notoriously overworked and there is a strong culture of working when sick. So we're they actually asymptomatic or did they report for work shivering and sweating and semi delerious?
Unfortunately that's not how the delivery mechanism on a Kindle works. Actually light doesn't work that way for any object in the Universe–let alone e-readers.

8k+ in karma and you shouldn't be promoting nonsense on this forum.
You can probably get a pretty accurate measurement by integrating water pressure over time and taking an average, and you could probably reduce error further by using an array of pressure sensors.
Next Generation of Covid-19 Tests Could Get Faster and Cheaper with CRISPR
Point being that if they can scrape the web and collect and correlate PII, under a claim that’s basically “finders keepers!” and sell that information, that anyone else gaining unrestricted access to that same information can make the same claim of it being publicly available and thus fair game to do with what they will.
If you want a quick, casual conversation, I don't see why pseudonyms wouldn't be sufficient. You can also use random names if you're asking something really sensitive, which you would want to do in any case because it's a public space. For more in depth you can use your name if you want or a fixed pseudonym so you can recognize and be recognized.

There aren't many uncovered edge cases I can see.
It seems a rather poor comparison when obviously the deep see squid developed the technique first. Therefore, the E-Readers would be glowing like deep sea squid. The lack of prior knowledge should not mean that we attribute the originals to copying the facsimile.
I think the article should more clearly distinguish between approaches that indeed gather lots of unnecessary data (that is often of questionable importance) vs. more decentralised (e.g. bluetooth based) approaches that can help with contact tracing while still allowing to be implemented with privacy concerns in mind.

Also, (as a non-American) I think the patriot act is a horrible thing, but I also think that in particular, the threat of terrorism has always been massively overstated (and even if not, many of the subsequent changes e.g. in airport security, are terribly ineffective). By contrast, I think that Coronavirus is a very serious threat and a recent study does seem to indicate that app-based contact tracing solutions could really help. I'll repeat that it's possible to do this in a privacy-conscious manner and it really should be done like that (not just because otherwise people will refuse to use it).
Bruce Schneier: Contact Tracing Covid-19 Infections via Smartphone Apps
> Especially funny to see these old (and unsupported) OpenSSL-libraries.

"Never upgrade a running system" is what I guess what was driving this... probably driven by "we don't have budget for maintenance/regression testing, only for new features".
How did you convince a company like Slack to start using your product?
And how many time will take to reinstall.

You can take as an example the Recovery Point Objective and Recovery Time Objective terms used on disaster recovery. Depending on: a) how often you do backups, b) how many data are you backing up, and c) how fast are your network and transfer medium, you can calculate how much data you may lose in case of failure and how much time you'll use on recovery.
I think you are right about the comment about linear logic. I must be confusing A U A with A U ^A.

I checked the paper that I was thinking about and the condition that I saw there is distributivity being dropped rather than double negation being dropped.
The article isn't clear what kind of tests these were.

If, as is most likely, they're PCR tests for viral RNA, then they'll only detect active (or recently-active) infections. So anyone who's gotten-over an infection, symptomatic or not, will test negative. The number of infections reported here is a floor on the actual number who have been infected – which could be 2x, 4x, or more.

If instead these are antibody tests, then they're only indicating 600 total infections. But that kind of test is less likely here: such tests are not very useful for diagnosis of active infections, as they only turn positive late in a case. They could be useful for tallying past infected status – but there's a lot of rumbling that early antibody tests haven't been as reliable as hoped.
The anti-science crowd is going to be anti-science regardless of how science is reported.
The PowerBook 145b was my first Mac. Wonderful little machine. 4 MB RAM, 80 MB hard disk. I ran a web browser on it, MacWeb, and could surf the web as it was back then perfectly fine. Not today, I suspect.
He liked squids.

https://en.wikipedia.org/wiki/Giant_squid_in_popular_culture

>> 'Arthur C. Clarke used giant squid in many of his works. In The Deep Range, a squid of exaggerated size is captured and exhibited. In the short story "Big Game Hunt", a device capable of controlling the behavior of invertebrates is used in an attempt to capture and film a giant squid. In Childhood's End, one of the characters stows away on an alien spacecraft by hiding inside a model of a giant squid battling a whale.'
Bill Gates strikes me as someone who will be a villian to society as he ages. Bill Gates lacks the empathy necessary to design solutions with people in mind. The threat comes from the power he unleshes through his charity foundation.

Things like ID2020 will be expanded. The forced vaccination program through excluding participation in society hasn't started yet.
Chances are your kid will not be allowed in school without one at some point.
After using Elixir for almost a year professionally, I find structs/schemas to be fairly useless when it comes to type safety. These are essentially just maps, there is absolutely no guarantees, anywhere in your code, that your map was created properly, and went through the proper set of validations.

When I get a `Point` struct, I have no guarantee that the wrapped lat/long are actually valid. After 15 years of static typing this is just so stressful :)
It's under US law like any other entity operating within our borders, but it's not really under US government control anymore, which seems to have been to everyone's detriment.
In the linked article, the author also included some videos of himself implementing some of the presented parts e.g. exclusive Fibers [0], including writing the necessary C code using the Ruby C API.

Recording yourself writing code and then publishing it takes quite a lot of courage, even moreso if it's a complex topic such as the one presented. Additionally, it's such a valuable resource: You can follow the whole implementation step by step.

That's just awesome.

[0] https://www.youtube.com/watch?v=cNaqbeagqUw
> There's no way 3 rubber bands turns a surgical mask into an N95 mask. There are studies that look at the abilities of different materials, removing the seal component entirely, and the two masks have very different profiles.

They don't have different profiles. Surgical masks too use nonvowen polypropylene meltblown filtering material covered in polypropylene spunbond. It is pretty much as good as it gets in terms of materials. The only way to do better at material level is to increase the surface area to be able to make the material thicker, like folding more of such material in enclosures, also adding a valve for breathing out to be able to remove the inner spunbond layer in favor of a thicker meltblown layer. But none of it matters in practice much, because much bigger problems are airtight seal, easiness to breath, to talk, to wear, convenience, proper use, things like that.

However, I don't expect proposed solution to work for most people, the surface area is too small and will make it too hard to breath.

But please stop this "dangerous information" bullshit. Your comment is much more ignorant, misleading and dangerous, than the website.
That is an extreme oversimplification. Reputation is important for politics. Dianne is well known around the state and De Leon is not. If a politician with some momentum would take her on then she would likely fall but that would mean causing flak with the Democratic party machine.
Stack ranking, but they save money by not sorting the stack.
Right! Let’s destroy all census datasets....
I would say that the company I work for doesn't use Slack exactly for this reason. Screen sharing and group calls are not available in the free version, so slack trial didn't went beyond the first three users. Guess what, we're paying for teams and zoom now.
The Best Project Management Methods for Your Team
I had the exact same experience.
Twitter used to say the same stuff and they cut their dev community off at the knees once they got big enough (mostly because of said community building out their feature set).
I got the point, but I found it a convenient coat hook for my favorite ulster :).

I can certainly agree with you. Some of the dynamically-generated markup can be a nightmare.

"ZenPsycho." Great screen name.
Why not just raise prices on non-essential products? That will decrease sales and increase profits. Everyone wins that way: the folks who need essential products win, because the bandwidth available for their needs is increased; the sellers win; Amazon wins; and people who want non-essential products and are willing to pay for them win because they can still get them.

The people who want non-essential products but cannot or do not want to pay the current price do not win, but they are no worse off than being unable to buy at all.
A 5G coronavirus conspiracy spread across Europe
The real gateway to get into programming is by letting your child play a game and then teach it how to cheat with cheat engine. Start with a simple memory scan and work your way up to using the code debugger to see how asm is executed. (There is no need to actually learn it in detail, just understand what types of instructions exist: test, jump, call, add, etc)

Once your child has an intuition of how a computer works its pretty trivial to teach programming. There are still lots of language specific gotchas though.
“CA drought would end”

In my area we are at 50% of average this year.
That's true, but irrelevant.

Complex numbers aren't "necessary for the continuum" as you put it, and some realists might argue that they don't hold the same "discoverability" as the reals.

I wouldn't. I think the reals and the complex numbers have the same "realness" and that neither represents any innate property of the physical world, despite how obviously useful they are in physical models.
you don't need to go to _your_ doctor for a telehealth appointment. Many insurers are recommending particular telehealth solutions that they have contracted with which means that the normal doctor you _would_ have gone to see is seeing less people.
People are more willing to acuse elites about some nefarious play, than to "believe" in vaccines. Our cranium has been shrinking for the last 10k years for a reason. We eliminated individual level natrual selection to a large degree. Instead, one idiot can bring down a whole population. In some way it all boils down to responsibility and proto-christianity in the form of humanism and progressivism. We are willing to risk the future of our species, just to not have to make hard decisions. It's make believe that the suffering does not exist if I can't see it and that I'm smarter than everybody else, therefore my actions cannot produce negative effects. I'm a part of the problem and so are you.
The smallest test case appears to be a needle of "aaa" and a haystack of "xxaaa", where VS 2019 16.5's boyer_moore_searcher will report "not found", while the corrected code finds the needle at offset 2 in the haystack.
Awful. Happened to my friends too. The funniest part is, they still get away with it. But the consumers have choice and I am glad they are choosing Stripe over PP.

Also, if anyone at PayPal reads it: screw you, I will never give you a damn cent.
>It's a travesty that next to no one knows the fact that the holocaust was the first large application of computers and the atom bomb was the second.

Almost everyone knows the Nazis used census data to initialize the Holocaust, it's practically the number one argument given against mass surveillance and data collection of any kind, and of censuses in particular.

Also, Allied cryptanalysis of German ciphers (particularly the Enigma code) was, arguably, the second large application of computers, and by the time we got to the atom bomb, I think they had already been in widespread use for radar and missile trajectory calculations.
Ask HN: Safe seed funding with reverse vesting?
I have seen a seed term-sheet which is basically a SAFE for 10%-20%, with reverse vesting for founders over 4 years (with single trigger).

Is this reasonable or a red flag?

I understand reverse-vesting is useful for multiple founders or a significant Series A.
I am a single founder myself, but the term sheet is standardized.

The investor is sophisticated and experienced.
I haven't touched Ruby in a while, but are there any common multithreaded use cases? It seemed like the direction was to go multi-process for web workloads (E.g. with Unicorn).
Sure.
https://openuserjs.org/scripts/rossvor/Hacker_News_avatars
Coronavirus: Policy design for stable population recovery
But how do you account for water level going up and down on it's own just over a single day?
They measured the loss of ice mass on Greenland with satellites, calculated the volume of water that it melted into, and calculated the rise in the ocean using the ocean's relative volume.

https://www.nature.com/articles/s41586-019-1855-2
This is a real life case of "why should I have to chanher my name? He's the one that sucks!" I wish gorhill would get over it and change the name so naive users stop getting victimized by uBlock.
auth_pam/auth_basic in the nginx config and the http/https does authentication.

And far less space to mess things up than with coding a fancy login page.
Exactly. One doesn't have to be superhuman to set up modern DB replication and manage its failure modes.
Even if you need to salvage broken HDD, it's a pretty straightforward task with high rate of success.
It seems like we're just waiting on bios updates for Ice Lake to have a proper thermal profile. I'm not sure. What happens is the laptops thermal profile is way under the Intel recommended profile. I believe it starts to throttle around 80* instead of the 100* or so Intel says Ice Lake should be able to run at.

It's been awhile since I played with this but I don't believe I was able to bump my voltage to 25w on Ice Lake. Maybe I'm wrong.

Maybe I'll do a fresh install and give it a try again. I've heard a few comments where peoples 7390 2in1s were running great but on /r/dell I've seen a lot more with complaints like mine.

I did get some improvement by dropping the thermal/power plan from High Performance down to Quiet. That seems to keep the thermals down so it triggers throttling less.

My problem is it throttles constantly and has other issues where if you move it (lift it up) while it's under load it will immediately throttle and I trigger it sitting on my lap a lot.

I bought it hoping I could run a bunch of VMs (thus the 32gb) and do light development work on it but I can barely even draw in Figma without having a rough experience so I completely gave up on developing on it.

This is a really good article https://getpocket.com/redirect?url=https%3A%2F%2Fwww.playerz...
I mean what could the CPU do otherwise for Spectre v1? You clearly need a privilege boundary, which CPUs already have in multiple ways: how would a new boundary differ to those that already exist?
A lot of places I've worked tend to avoid new grads as there hasn't really been capacity to train them in such a way that wouldn't mean a loss of productivity for the team for a month or two.

edit: these places have been small/medium sized private companies
According to Coconut battery, my MacBook Pro battery is now at 89% capacity after only 2.3 years and 140 cycles. I hope this change keeps me away from the dreaded 80%...
I think this isn’t quite the right take. Security’s priority has become quite a lot higher given we now have to run our lives, governments, militaries and entire companies online. A few months ago this wasn’t true, teleconferencing was a sideshow to the main event, with many interactions still happening in real life.

Now if I can’t have a private conversation online it’s much more important to me. A month or two ago it was important, but probably not as much as usability and reliability
This is Ice Lake?
Verizon will buy video conferencing company BlueJeans
When I read about the cake shop story, I believe the reason I didn't automatically side with the gay couple was because it appeared they visited multiple shops, specifically looking for a shop that would not accommodate their request to make an overtly "gay-themed" cake. Even when they found the shop that was sued, the baker offered to make them alternative cakes, just not one that had their preferred phraseology. It seemed more like they were trying to make a point/easy cash grab, which ultimately backfired.
Zoom is the Windows of conferencing apps: It is the most popular one, so researchers actually look at it and say it's shit, but the alternatives aren't much better [1].

[1] Just one example: https://github.com/jitsi/docker-jitsi-meet/blob/master/CHANG...
I thought web-ext was only for Firefox, and I didn't see anything in the Readme about Chrome?
Still waiting on my desk chair to ship after 10 days with an estimate of May 4-5. It was "out of stock" when I ordered, then immediately "in stock" after. That probably has something to do with the delay.
It’s easy to say that a hypothetical system will do everything you want, similar to how Bitcoin salespeople spent most of a decade saying it’d be better than cash and credit cards before trying to claim they’d had different goals all along.

You first need a system which works and scales to plausible levels before we can say anything about whether it’s a viable solution for anything. In particular, it’d be important to have real cost and control information to show that it wasn’t trading ICANN for a different group which has similar control — and the inherent inefficiency of a blockchain means that there’d be more of a likelihood that power would consolidate in a few major players.

(As an aside, Symantec screwing up does not seem relevant to a discussion about ICANN. Perhaps you could explain why you believe it to be?)