skysight-inc/HackerNews huggingface dataset:
I used to have anxiety about getting enough sleep at night. I found that eliminating clocks from my surroundings really helped me get over that. Something about measuring yourself against the clock can really mess with your mind. These days I don't have that problem anymore, but it's a thing I've repeatedly told my wife when she has trouble sleeping. Don't look at the clock.
(author here)
Well there is http://twt86.co/
You can try samples, write your own code, or create clickable links =)
We have 100kLOC of not -betterC but D without its runtime.
If you write a -betterC library normally you can use it with normal D, but the reverse isn't true.
Development Environments at Slack
> I seriously doubt either game shipped without at least 4x the kickstarter funds.

Yes, but AAA games and e.g. feature films are among the highest-cost works to make. They're very much an exception, not the rule.
Show HN: A Raw HTML/CSS/JS and Plotly Covid Dashboard to Maximize Contributions
Also, some of these videos are pretty disturbing or inappropriate for their intended audience. This phenomenon has been dubbed the "Elsagate" on Reddit.
Using customer feedback to drive growth
A formally rigorous proof of this (in Metamath) is here:

http://us.metamath.org/mpeuni/0.999....html

Unlike typical math proofs, which hint at the underlying steps, every step in this proof only uses precisely an axiom or previously-proven theorem, and you can click on the step to see it. The same is true for all the other theorems. In the end it only depends on predicate logic and ZFC set theory. All the proofs have been verified by 5 different verifiers, written by 5 different people in 5 different programming languages.

You can't make people believe, but you can provide very strong evidence.
Europe’s Last Dictatorship Became a Tech Hub (2017)
I've been duped into participating in misleading thread without brushing up on this. The problem is that memset can be entirely optimized away when it's a dead store, which is reasonable:

{
struct foo x;
// sensitive calculation with x
memset(&x, 0, sizeof x);
}

Basic liveness analysis (compiler technique from the 1970's if not older) tells us that the object has no "next use" at the point where it is being written by memcpy. That's a dead store that can be eliminated. The object is about to become toast. This is a problem for sensitive code (e.g. crypto).

I've been discussing only this case:

{
struct foo x;
memset(&x, 0, sizeof x);
// init x
syscall(&x, sizeof x);
}

Here, the memset cannot be optimized away. So we can only have some academic discussion about how part of the memset could be optimized away: that part which flosses the structure padding between the members and at the end.

That's a stupid and dangerous optimization that threatens a whole lot of code in the wild.

A good defense against this sort of time-wasting nonsense is "I'm not fixing anything without a repro test case; have a nice day".
Covid-19 vaccine trials are at risk after Africa racism backlash
I work with C#, Xamarin, and Visual Studio.

80% of the time build errors are transient and go away with another F5. Sometimes a build works but is reported as a failure because of a tooling error. ‘Clean’ing the build doesn’t actually do what cleaning should do, so you also have to manually delete intermediate folders to get builds working again. Heaven forbid you name folders appropriately and put your project anywhere other than C:\, because your tools will break with mysterious errors that turn out to be MAX_PATH related. Sometimes when debugging Xamarin iOS apps, Xamarin will deploy old, cached binaries without any indication that something went wrong - really, really great for debugging and issue verification (/s). It won’t be fixed because Microsoft is “prioritizing issues with a broad customer impact”.

I can personally confirm the psychological and physiological effects of at least this particular coding environment: stress, learned helplessness (why the fuck is the answer always just, hit F5 again?), shame and embarrassment (when I tell the team a bug wasn’t fixed, only to learn that visual studio was gaslighting me and deploying cached binaries to the device after a full clean of the project), and high blood pressure from the aforementioned issues.
Community of Madrid looks to be at 1228, based on official statistics.

There are other place also doing poorly, some as badly as NYC, maybe a little better, maybe a little worse, but right now, until someone screws up worse, NYC is currently in the running for "worst COVID-19 death rate in a major city".
SARS-CoV-2 is a single-segmented, double-stranded RNA virus. There are no genes being "collected", just two complementary RNA strands that are replicated directly from source RNA and wound into a packed structure by helicases. Gene deletions are extraordinarily uncommon for most viruses, because viruses don't generally carry around entire non-essential genes. SNPs and small indels are indeed common, and because the genome is well-annotated, many of them can be characterized into synonymous, non-synonymous structurally significant/insignificant, frameshift, or non-coding mutations. In the case where a mutation appears to disrupt a gene through a frameshift or structurally significant mutation, further evidence is needed (like multiple independent isolates) that the mutation is not a sequencing artifact.

In the case of the link that OP posted (http://cov-glue.cvr.gla.ac.uk/#/deletion), only non-frameshifting deletions in coding regions are listed. Most deletions listed are one- or two- codon deletions observed in multiple isolates, which is good evidence. Aside from the terminology issues, OP's claim that some of these deletions may result in an attenuated virus is plausible, subject to further analysis of the structural effect of these mutations (which can be modeled in silico). I don't think it would be useful to "go and visit the people who were infected with each of the different deletion strains and investigate what was their clinical outcome" as OP suggests, since that would be confounded by many factors.

Trying to isolate live attenuated virus from the human population in this way carries a lot of risks and potential ethical issues, and amounts to a very low-throughput, difficult screen. The far higher throughput, better researched method that labs are prepared to do is to infect an animal (possibly genetically engineered to be more human-like in its molecular machinery) and wait for the virus to evolve to target that animal, which will make it less virulent in human. However, for SARS-CoV-2 this is especially tricky because of how explosively fast its replication cycle is. Most vaccine trials for coronavirus are working on presenting the human immune system with pieces of the virus instead of live attenuated virus.

I would encourage everyone in this thread to read the scientific literature on this, which is abundant and freely available, for example this review: https://www.nature.com/articles/nrd.2015.37.pdf
Show HN: Easy in-app and email notifications for your web app
Having to use a case to fix a "defect" is not acceptable. Are you Steeve Jobs from the antenna gate?

I personally never used a case, ever on any iPhone, and never broken any.
> In a time where economists have a lot of soul searching to do

This might be true, but I don't know that there's been an obviously wrong set of recommendations yet during the coronavirus crisis. Do you have an example?

> the realists are a good place to start

This is almost certainly false - at least if you're including yourself in "realists". Personally, I'd look at the heretical economists first.
It could also be that electric utilities are incredibly heavily regulated government backed monopolies or even actual government agencies that are strictly regulated about what business they can and cannot do.
Detecting APT29: MITRE EDR evaluations round 2
Very nice, thanks! I recommend posting this in the Rails/Ruby reddits to get some more traction
You're not subtracting anything infinite. Whatever you think of 0.99999... (and the correct thing to think is that it equals 1), I hope we can both agree that it is at least finite! I mean, we can agree that it's less than 2 and more than 0, right?

That subtraction is just as valid as saying 0.333... + 0.333... = 0.666..., or that 1/3 + 1/3 = 2/3.
Are these diagrams generated from the Data Definition Langauge (DDL) of SQL or some other descriptions/source ?

Are they showing Unified Modeling Language (UML) or Entity Relation Diagrams (ERD) ? or something else that is new to DrawSQL ?
Over 200k H-1B Workers Could Lose Legal Status by June
How do I 3d print it with colors?
This is not acceptable: having to use a case to fix a "defect", are you Steeve Jobs from the antenna gate?...
(author here)
it doesn't.
it sets the timer to about 35 FPS and installs a callback routine that is called repeatedly as interrupt. Smoothing is rather done implicitly by "triple diagonal interlacing"
We keep in touch with our old nanny from a couple years back who became close with our family — just spoke to her and while they’re doing alright for now, it’s an uncertain and scary time for them. Same for friends and family in service and manufacturing. Some have lost jobs and are in limbo. Older relatives are relying on a network of friends to figure out groceries in areas without delivery.

We’ve continued paying our housekeepers and Montessori throughout all of this; it sounds like most of our community has been doing the same, based on emails from management, and chatter on Nextdoor. But this will vary widely depending on the particular community. Just like when a storm hits, the communities which are already less fortunate will typically get hit the hardest.

And then of course, the local businesses. When the tide recedes, I really don’t know how many of our favorite shops and cafes will still be there. Those folks are sitting on edge right now.

The social media feeds are going to be self-selecting for bored, single, young people. Anyone taking care of young kids at home are too busy looking like Arnold Schwarzenegger in “Kindergarten Cop” to be posting very much right now.
As for product pages, I sadly don't have paper trail

Good, I would hate for you to waste effort on something few but yourself care about. Because I doubt you'd find many that would agree that Google is really ripping off "The Dash" because they were "first!!11".

As much as it will pain some to admit, Google is ripping off Apple, not some Kickstarter project no one has heard about.
Mobile App User Research: How to Get into a User’s Mind
> But you might as well define that implicit limit as applying over the entire expression.

What is this supposed to even mean?
I don't understand how that is relevant to the quote I was replying to: "React is great because it's vanilla Javascript". Vanilla Javascript works in a browser with zero transpiling. That's important.

(also, "if you know JavaScript you know JSX" is objectively untrue! There are plenty of JS developers that don't work with JSX)
> IMHO this works quite well as quote syntax

don't you think?
Nim actually happens to be a very good better C. The fact that it compiles to C is a key feature of that.
For what it's worth, I think this is why kebab-case originally became popular in lisp-land. We used it significantly in our JS style guide at $PREVIOUS_FIRM.
I never used a case, ever on any iPhone, and never broken any. I still have the non flat back issue. Does that mean I must buy something more to my x00$ phone to make it behave "normally"?
>> There is a review phase of course and it's very important because it might do anything. Anybody who's had to use terraform can attest that it is scary to run.

This is no worse than Ansible - if for a set of EC2 instances the user "set to 0 to delete them" then Ansible will blindly do as requested and be just as destructive. On the other hand:

* Terraform does its best to enforce the recommended plan/apply workflow - the plan is always presented before any changes are made, and auto-approval is strongly discouraged.

* There are multiple options for review - do it there and then, or store the plan as an artefact and share with others for review.

* It doesn't matter when you run a stored plan - the plan is the set of changes that will be applied regardless of current state.

* The summary makes very clear if anything is going to be destroyed in bright red text.

Ansible offers some visibility of what it will do with dry runs, although it's not as complete - there's no way to guarantee it will do the same thing next time if changes have been made in the interim.
Interfacing D with C: Arrays and Functions
> > It takes an input range
> Which should have a type.

It does. That'd the `Range` here: https://dlang.org/phobos/std_algorithm_iteration.html#.map.m...

> > and returns a type that iterates through that range
> Which should have a type.

It does. But the name of that type depends on the type of the range and on the callable.

> Functor f => (a -> b) -> f a -> f b

This doesn't work because the return type isn't `f b`, it's `g b` where g depends on what f is. It also depends on the callable, because the first parameter isn't necessary a function. The closest is

Callable c, Range r0 => c a b -> r0 a -> r1 b

Where `r1` isn't even a concrete type but a type that depends on both `c` and `r0` and is made up on-the-fly (per instantiation).

> Documentation is good.

I agree. How would you suggest improving the signature of map given that D doesn't have typeclasses? Or with types that depend on other types in the template?
Hey HN!

While we were working on our other product Eduflow (YCS17), we needed a good solution for delivering notifications to our users, both on email and in-app. We could not find anything out there, so we ended up building our own solution. Now that thing we started building has become pretty sweet, and we have decided to launch it as a separate service.

When we talk about notifications, we mean transactional stuff (not marketing). Think notifications like you find in the top right corner of Facebook ("Jamie replied to your post", "You have a new friend request", etc).

What is cool about Notifly, is that:

* We have built a nice functional widget that you can plug in to your app in minutes.

* We will take care of sending the emails for you, so you don't need to set up a separate email service, and you don't need to worry about deliverability.

* Bundling! Instead of sending your users 10 notifications with "You got a like", we will make sure they get one saying "You got 10 likes" instead.

* Smart delivery. If you use Notifly for both in-app and email notifications, then we make sure that you don't need to notifly people on email if they already saw the notification in-app.

* Let your non-tech people help out with editing copy using our web-app. This allows everyone to change and improve copy for all notifications without requiring a developer to help out.

We are super excited about launching this, so if you think it could be relevant for you or someone else, please share or try it out!
Great.. now we can have more videos like the one this parodies: https://youtu.be/Jrl9LQesl7U
It only takes one person to turn it around: https://www.aljazeera.com/news/2020/03/31-south-korea-sudden...
What does the phrase "bloom filter" mean to you?
(author here)
it is not, as others explained.
But if you're interested in bruteforcing, you can try to find a short code for the 7 bytes ( yes, seven bytes) version of my program "m8trix" (https://www.pouet.net/prod.php?which=63126, in the comments), that should be a tad more easy ;)
Sure. And it's true, 0.99... is equal to 1.

All I'm saying is [SOPI below] it's all a little more technical than the junior high school proof. For example if 23+6\epsilon = 23, then how do I define 23 + 6\epsilon - 23? I can choose different approaches here, but "zero" is going to be pretty inconvenient when I go to do an integral.

[SOPI] Statement of Personal Ignorance. I don't quite know what I'm talking about. If you do know, please step in and help correct me.
Exchange your keys ahead of time, preferably offline, and just run wireguard yourself. You may need a service discovery solution depending on your networking situation.
> you’re basically just a priori defining 0.9... to be 1.

I think the point is not defining 0.9... to be 1, the point is that “...” means an infinite number of 9s. If you shift the decimal point by 1, then nothing changes, there are still an infinite number of 9s. If you shift the decimal point by 5 places, there are still an infinite number of 9s to the right. And here is the logical (induction) step: if you shift the decimal point by an infinite number of places, then there are still an infinite number of 9s to the right. This works for any repeating fraction, in groups of more than 1 repeating digit.

> I’ve never considered them right at all.

Do you mean you disagree with the result, or that you agree with the result but don’t believe the proof is really a proof?
The location kind of does - living further up north (Canada) in winter, 6, 7, and 8 can all look the same - dark.
> How about we prove that an infinite number of 9s is impossible?

First you need to define what you even mean by this statement. The rest of what you wrote makes no sense either.
What is the official end game? Are they hoping that it will be eliminated worldwide, will they continue in this mode indefinitely assuming it won't be, or do they plan to basically close the borders forever (i.e. anyone who enters has to be strictly quarantined so that the internal contact tracing regime could be relaxed)?
I looked at the sky this morning. It was cloudy. There wasn't really much there.

This is literal boomer newspaper comic type stuff at 75 upvotes.
That's my point. Wuhan demonstrates that reducing community spread to 0 has nothing to do with restoring confidence or reducing fear. In a year, I expect the regions aiming for 0 community spread will still be devastated, because they've taught their populace that the coronavirus is the worst thing ever and they must be constantly scared of it.
Then don’t. It has a menu bar.
Is-promise post mortem – JavaScript in Plain English – Medium
As stated in the video, this was leaked years ago. They're just confirming the authenticity of the videos.

Here's an older, non-region locked video: https://www.youtube.com/watch?v=pUT3rgT3P6E
And text editor users are wrong.
Bingo! Writing a template library is totally different to writing an application.
Show HN: A volunteer driven list of your city's indie bookstores
Fuck AMP and fuck Google.
If you’re using Mojave or later you don’t need `reattach-to-user-namespace` anymore :)
Not really - the concrete type isn't important, but what you can do with it is. One could argue that instead we'd use a concept in place of `auto`, and Bjarne has argued exactly that for C++.
My two cents, I don't care about your addiction don't assume it is mine too. I wake up at 4:30 am and hit the "gym". So yes my first screens are an alarm, then the ipad to keep my mind distracted. around 7 I enjoy watching the sun come up while I have a cup of coffee to make the most of SIP. When life was normal I would walk to work and enjoyed that a lot.
I also make it a point to go outside for 1-2 sort walks each day.

I don't see much difference between my use of tv,cpu compared to my parents tv/paper/magazine or grand parents tv/radio/paper and magazines.
Every generation has new socialization norms and every one has to fight for attention.
For security, won't one be required to remove the mask? And isn't the act of donning/doffing in itself the most dangerous and critical part in transmission?
This links to a quick morning show clip that doesn’t really say a whole lot; here’s the official press release from the Pentagon:

https://www.defense.gov/Newsroom/Releases/Release/Article/21...
(author here)
interesting guess, but wrong, as others explained.
for maximum purity you can try to NOT call any dos functions or interrupts. i gave that a try in the production "noint10h" ;)
https://www.pouet.net/prod.php?which=80769
Heading Levels and Accessibility
I'd be really curious to see if cuisine and temperature play into this at all?

I've read an article somewhere about how spices can have healthy benefits. I'm not sure how much of this is pseudo-science, but sounds neat.

Harvard has an article on temperature but says 'may not' so, still a curiosity on my end.

https://news.harvard.edu/gazette/story/2020/04/covid-19-may-...
>Can we please just get a state government to start installing charging stations in all public lots so these charging companies have to give up their dreams of being a monopoly?

Completely agree that the "sign up and use our app" approach is insufferable. But asking your state to build all the infrastructure doesn't solve the problem. Your state is not going to (a) manufacture charging stations or (b) build the software/payment interfaces needed to manage them. What you're proposing would have the gov sole-source from one of these "apps". Instead of letting the the market determine who can build the best user experience, you would be giving one company (probably ChargePoint) a government-granted monopoly.
Is this actually a useful metric? Cities should be compared to cities.

Also, that link doesn’t seem to say whether cameras are owned by the state. Presumably surveillance operated by the government is more totalitarian than various private businesses.
And at least I don't resort ad hominem arguments. That's what happens when lower IQ individuals have nothing else to say and don't know how to deal with the cognitive dissonance that arises when truth clashes with their feelings. Feelings based on cartoons and TV shows that programmed you to viscerally react that way.
Is this only for creating gifs? I was hoping it could create regular videos.
You’re not alone, I mention this fact in this same comment thread. Decaf does have caffeine and if you’re sensitive to it then you’ll still develop sides. This isn’t from my experience (I quit completely at once) but from many experiences that I’ve read. It also happens if you take a bit too much dark chocolate. I’m not saying this is your case as this definitely isn’t the single universal source of anxiety and headaches but you may want to try quitting completely and see how you feel. I noticed it within 1-2 weeks but then I was taking 5-6 cups sometimes.
Same. I have tried using it and enjoyed the IDE powers a bit more, but already knowing JS quite well, it wasn't a game changer.

Lately I have started using FastAPI in Python, which uses Pydantic to enforce type hints at runtime. This saves a lot of manual checking code (e.g. "if input_data["mykey"] == "unhappy path": raise ValidationError").

This was the same annoyance in Node.js because the types are so flimsy and manually checking is really boring. Tests are great but if you can have correctness while rapidly prototyping that would seem to be a win.

Is there a great TS lib to do runtime type reflection like Pydantic?
A possible declining trend for worldwide innovation [pdf]
For those who have been around a while, this is not the same as DailyWTF’s Better C dialect.

https://thedailywtf.com/articles/The_Secret_to_Better_C
It's still not true. No no sense is it true. It is true that 0.999... = lim[eps->0] (1 - eps), but it is ALSO true that lim[eps->0] (1 - eps) = 1. That's how limits work.

If you accept both of those two (which you should, because they're correct), then since equality is transitive, 0.999... = 1. Therefore it is not less than 1, it is equal to 1.
QUIC is considerably more resilient than TCP to RST attacks because it authenticates the transport itself once the handshake is complete.
Does this rely on foreign keys?
Germany Taps SAP, Deutsche Telekom for Contact Tracing App