skysight-inc/HackerNews huggingface dataset:
ARM seems like the way to go. I recommend comparing the energy usage of Macintosh II and Macbook Air. It's quite impressive (minutes vs hours).
Resurge Review – Supplement Facts, Benefits, Ingredients and Side Effects
Curl with Aravind Srinivas
Thanks for sharing. I have been keeping track of some alternative sources for COVID impact. Will add this.
https://news.ycombinator.com/item?id=22898883
https://medium.com/@craigdanton/the-covid-19-data-landscape-...
As long as your choice of RAID0 is an informed one (i.e., you are fully aware of the risks and failure modes as well as the benefits -- and it sounds like you are), there's absolutely nothing wrong with using it.
EE/CS here. Kmaps only work for 4-5 variables unless you're some sort of 4D-chess wizard. And they're meant for manual, human pattern-matching rather than automated evaluation.

There are numerous, specialized bi/tri/quad boolean logic prime implicant optimization algorithms for combinational logic and expressions like QM and MQM.
The "try Pokemon GraphQL API" link is broken?
This is like a window into my current problems. We've never used SQL Server, but a vendor for a client requires it. We are constantly running into this problem. Right now we have a query that takes 300ms when we back out the parameters, or ~12 minutes when we parameterize it.

It is extremely frustrating. Never ran into problems like this with Postgres or MySQL.
I call this geographic collection The Americas.
If Congress were serious about "protecting children", there are many other things they would do before focusing on the boogeyman of online pedophilia. I already mentioned child health care in another comment; you could also think of social/public housing for destitute parents of children; food security, which _is_ a problem in the US (and the programs are being cut); minimum wage increase; free child-care for working parents etc.

Has Senator Feinstein been promoting any of this?
>Actually, I do.

That is amazing. How did you get all WP employees to agree to let you leave brain scan machines hooked up to them for the past 7 years?

I don't think anyone is suggesting that Bezos is handing down fiats. He's an extremely competent executive. That is not the most effective means of getting what you want out of every type of person in every situation. He knows that, and he also knows many alternative ways of influencing behavior.
http://gen.lib.rus.ec/book/index.php?md5=3C1CA115683EED37668...
What makes me reluctant to use fish is the fact that it's syntax is totally incompatible with bash and zsh.
The deep sea versions, yes.
Knuth invented a system that combines writing and coding: literate programming. Maybe you'd like that.
Not sure that any amount of "bad blood" excuses that sort of lapse in professionalism.

Its a shit situation but you dont gain anything by burning bridges in front of you as well as behind you.
> 1) the spike in death rate caused by Covid-19 this year is of the same magnitude as the normal flu season spike in 2016

the current number depends on lockdown measures. We didn't have lockdowns in 2016, and it is likely if we didn't have them now we'd be much worse. You can look at the graph for Sweden which decided to only apply mild measures for a comparison which shows this is much worse than the 16/17 flu.

The rest of the reasoning is still correct, and I have heard it pointed out before, though I believe you meant warmer _winter_ :)
It's to do with bitterness and definitely not tasteless. The best way to understand its definition is to imagine two people picking berries. One goes to a new bush, plucks a berry, puts it in their mouth then makes an expression indicating unpleasant taste, puckering. Their friend asks "Nae gid?" they respond "Aye, yon's offey wairsh".
> Building SQL queries from strings is possible safely, in the same way that C's memory model is safe.

But still you wouldn't say that every software written in C is
automatically insecure. You have to look into the actual case.
Just grepping for SQL-string-concatination or uses of sprintf
doesn't say much.
I oddly really want to do this, but I live in California so that would be quite pointless and most likely detrimental.
Wuhan officials have revised the city's coronavirus death toll up by 50%
Is the bitbucket server in Australia or something?
There's a pic here: https://www.electronicbeats.net/the-feed/listen-these-tiny-v...
Go Brain Teasers: 25 brain teasers to tickle your brain
Who Pays for This?
There is a distinction between logic, which is just the study of formal systems where you can prove theorems as in any other area of mathematics, and the philosophy of maths and particularly of mathematical logic. The same applies for set theory.

The first one can assert that (in classical first order logic) e.g. there are uncountable models of the natural numbers; this is irrefutable. The second one asks things like "is classical first-order logic even true and/or adequate in an epistemic sense" (this is different from the more pragmatic question of "is classical FOL useful for the problem at hand")? Similarly, something like Gödel's incompleteness theorems are unequivocally true but the question of what they "mean" deep down is nothing that really affects mathematicians' work in general.
I think if you read the article I linked to you can see what I mean. They were forbidding medical staff from doing tests and treatments!

...
In an interview with CBC News on Monday, Dr. Rimma Kamalova, who heads the hospital's rheumatology department and is quarantined in the facility, said when the outbreak started, regional health authorities refused to test patients for coronavirus.

"According to our policies ... we could not do testing on coronavirus," she said.

"We had orders, at that time, not to give this diagnosis and take the relevant [mitigation] measures."
...
> nearly 70 million online photos and videos of child sexual abuse that were reported by technology companies last year.

Is there a reference for this figure? Also, how many individual children were involved in this content? What counts as abuse? How many appear each year?
Oh wow, I barely remember writing this 4+ years ago!

I still hold to it - specificity is a necessary mechanism, and if it's hard, it's because we're unnecessarily over-complicating it, just like anything else considered "hard" if we misuse it.
When I hear things like "Wordpress Powers 85% of websites", I wonder how many of them are running on a $5/month shared host
Sure, can you link me up ? :)
> at minimum German military leaders and related politicians did predicted longer war

Hmm, perhaps this was an unpopular opinion, because the entire German military strategy depended on an extraordinarily fast decisive victory in France [1]. Of course, there were contingencies based on whether Russia was allied with France, or netural. Once the Schlieffen Plan fell apart, then the Germans knew it would be a long two-front war, but they didn't seem to suspect that in the first several weeks, from what I've read

Though I'll have to check out the book you mentioned, Pandora's Box.

[1] https://en.wikipedia.org/wiki/Schlieffen_Plan
It's a very confusing article to me. It sounds like the NHS are complaining about the restrictions that Apple and Google have specifically put in place. But they're not going to budge, and the sanctioned API is going to be the only realistic way to do it, so the NHS have no choice but to buckle.
Apparently she is not well-known enough, or rather - her actual _policies_ and their implications are not well known enough.
Oh, this is great! Some time ago I tried to hand optimize S4 group multiplication. S4 group elements are representable on 5 bits, so it is a 10 bit -> 5 bit function. Directly optimizing it on Karnaugh maps is infeasible. I managed by breaking it down to Z2, Z3 and V4.

I would love to unleash a bruteforce optimization on it.
For the first time, a spacecraft has returned an aging satellite to service
https://en.wikipedia.org/wiki/Salton_Sea#Past_efforts_and_pr...
You can be a freeloader without thinking you're a freeloader, though.
to see if Math is discovered or invented, the easy thing to do is to see if a set of axioms can be discovered or is invented

A math theory arises from the axioms it is based on. You just rephrased the question and added the word "easy".

Put it another way, starting from a set of axioms we get a simple ( by some semiobjective definition of simple ) pure math theory that predicts reality to a rediculous level of precision.

Those initial axioms, were they discovered or invented?
She's secured fantastic profits for her donors. Doesn't that count for something?
That's a repetition of the same claim, not a source. He doesn't mention simple information like who or where the class was, which there is no reason to be secret about.

Also, it doesn't pass the obvious sniff test, that a teacher would spend a whole semester giving half of his class a terrible experience that uttery failed to teach them anything, leaving them with "a pile of dead clay" as the author claims.
Agree. But isn't that the kind of API we wrote before GraphQL?
We could perhaps modify the theory, thinking of the mechanics of research. Progress is made by an individual in the niches where others have not managed yet. Therefore the advantage in geometry for a blind mathematician may be in a different mental model of spaces.

It is not surprising at all that almost all blind mathematicians are geometers. The spatial intuition that sighted people have is based on the image of the world that is projected on their retinas; thus it is a two (and not three) dimensional image that is analysed in the brain of a sighted person. A blind person’s spatial intuition on the other hand, is primarily the result of tile and operational experience. It is also deeper – in the literal as well as the metaphorical sense. […]

recent biomathematical studies have shown that the deepest mathematical structures, such as topological structures, are innate, whereas finer structures, such as linear structures are acquired. Thus, at first, the blind person who regains his sight does not distinguish a square from a circle: He only sees their topological equivalence. In contrast, he immediately sees that a torus is not a sphere […]

This is a quote from a book by Alexei Sossinsky, quoted here: https://onionesquereality.wordpress.com/2011/07/31/blind-geo...
Investigate and Fix Every Single Page
This information is available if you go look for it. Start at the latest IPCC reports and branch out from there. It's a very large topic, your summary of the "sides" is wildly uninformed.
That could be the subject of a whole other talk :)

The memory model is needed to do more sophisticated communication between the parallel workgroups. The classic example is to make a queue, even a simple one such as a simple single-producer single-consumer ring buffer (for communication between a pair of workgroups). The way this works, the producer fills an element in the buffer, then bumps an index. The consumer observes the index, then reads the element from the buffer.

Without a memory model, there's no way to guarantee that this ordering is preserved, and (to map this to hardware), the write of the index bump could flow through the caches, while the write of the element could still be "dirty" in the cache on the producer, so the consumer reads stale data.

What the memory model does is provide the programmer an explicit way to express ordering constraints. So the write of the index bump is with "release" semantics and the read of that by the consumer is with "acquire" semantics, which guarantees that producer writes before the release are visible to consumer reads after the acquire.

This unlocks a whole range of sophisticated concurrent data structures, such as concurrent hash maps, fancier memory allocation (even without a memory model, a simple allocate-only bump allocator is feasible), and so on.

Thanks for the question and kind words, I hope this illuminates.
I think what they are trying to describe in laymans terms is the delta-epsilon definition of uniform continuity. That for any desired error bound you can reach it with a fine enough mesh.
Mostly Glasgow & Edinburgh, intrigued by the "Italian chippie", that's the same priciple as the "Italian cafe" I guess (ex POWs who hung around to provide the locals with decent food) used to be so common in London, now mostly gone; thanks for the tips :-)
You need a needle that triggers the problem, AND a haystack where the delta2 table matters, AND the algorithm to stop at a problematic index where it uses a bad delta2 value.

There's a reason the published version even in 'the papers' was wrong for 3 years.
Naming the teacher, the school, the year, the city, something that would give a hint for someone to follow up for verification.
Yeah, I suppose no one is really worrying about dressing up right now.
Besides that, messing around with fonts is not really the kind of experience you want to reproduce each time you install a new OS.
You know why this is BS, cause you can easily train people to properly use a mask. And maybe if the government would have trained people through PSA early on, on how to properly use a mask, change gloves, etc. this pandemic wouldn't be nearly as bad as it is. Instead they told everyone, hey everything is fine, just wash your hands and don't touch your face.
Create a mirrored volume out of two disks, both with ReFS (or ZFS) and dynamic disk software RAID.

Remember to enable ReFS integrity streams! ZFS protects full integrity by default. NTFS supports only protecting metadata, file data integrity is not protected.

Fill the volumes with known data. Randomly corrupt some blocks out of disks (but not from both disks at same offsets!).

Observe which solution recovers and returns correct file data and which does not.

Hint: you might want to stop using dynamic disk RAID after this experiment...

Storage Spaces operates on a higher level, building on lower level volumes. I'd feel way more comfortable using it on ReFS, at least once it can be considered sufficiently mature in the future. See: https://docs.microsoft.com/en-us/windows-server/storage/refs....

No qualms about trusting ZFS, it's very solid on good hardware. Of course running ZFS on Windows in production might be a Very Bad Idea, so do it on FreBSD, Solaris derivatives or Linux instead!
This is actually a big plot point in The Dark Tower books.
This is absolutely dumb. You can't solve every problem with an app.
The Safe Job Fallacy
You appear to be reading a ton of sentiment that isn't there into my comment. All I'm saying is that opportunities for big action give cover to those looking to do bad things that would not otherwise be acceptable and give cover for people who would not otherwise condone those bad things to ignore it. We need to be vigilant so that we don't say we're fighting climate change but instead wind up off in the weeds screwing over people.

And for the record, I am strongly in support of any progressive (as opposed to regressive) measure that has a net positive impact on climate change.
Welcome to politics, where the WHO would rather estrange a disputed island nation than one if the biggest world powers.

If we get the governments of the world to acknowledge Taiwan then yes, the WHO should follow suit. However, barely any countries acknowledge Taiwan as a nation and the WHO is part of the UN.

The person being interviewed handled the situation very badly, but it's stupid to expect Taiwan to be part of the WHO until at least the United States, the EU and Russia officially acknowledge it as well.
It's fascinating how many event-driven IO libraries and associated web servers have come in and out of fashion in the Ruby community over the last decade. I hope this or another effort finally sticks and becomes part of the stdlib, so we can have a real lasting ecosystem built around it.
I think OP is saying its "sheer dumb luck" on the part of YC, not so much the successful companies.
In addition to those systems, they use an Amazon-built private cloud.

https://www.theatlantic.com/technology/archive/2014/07/the-d...
The "We shouldn't have killed our economy for this" online comments miss some obvious truths - which is that the economy would be crippled by a high peak regardless.

At best people wouldn't go to work, at worst they'd struggle in and pass out - or maybe die - in front of their coworkers.

So the economy would have ground to a halt anyway as people stayed at home to protect themselves. But it would have done it in an uncontrolled way that didn't inspire confidence in a return to normality.

Which is the economic reason for flattening the peak. Serious damage was always inevitable, but there's a huge difference between a barely controlled but orderly temporary shutdown with mitigation measures, and a shutdown caused by mass panic and paranoia.

In fact even laggard countries have been forced to take some measures, because when their lives are at risk people and their managers act on their own initiative no matter what the official line is.
This is exactly why I don't understand where people are getting the idea Russia is doing a good job of managing this!

That looks like a lot of things, but it sure as heck doesn't look like a lockdown, certainly doesn't look like one that is going to be anywhere near as effective as the lockdowns in other jurisdictions. Crowding like that is absurd.

Add to that the fact that they share a large border with China and were pretending to have no cases for at least a solid month or so. As the article I linked to stated, they have even given up on the propaganda effort at this point. Even the authorities in Russia whose specialty is self-deception know which way this is headed now!
Like they do now? That hasn't worked out so hot for integration...
Good article. Speech recognition for real time use cases must get a really working open source solution. I have been evaluating deepspeech, which is okay. but there is lots of work needed to make it working close to Google Speech engine. Apart from a good Deep neural network, a good speech recognition system needs two important things:

1. Tons of diverse data sets (real world)

2. Solution for Noise - Either de-noise and train OR train with noise.

There are lots of extra challenges that voice recognition problem have to solve which is not common with other deep learning problems:

1. Pitch

2. Speed of conversation

3. Accents (can be solved with more data, I think)

4. Real time inference (low latency)

5. On the edge (i.e. Offline on mobile devices)
I don’t understand it either. If you want more compensation, ask for more compensation. If you accept equity that you don’t have control over, don’t complain when it behaves like a lottery ticket.
Very cool stuff, two clarifying questions:

- Does Grain require access to the Zoom API to work? (Is there some other screen capture / scraping at work?) Any known issues/restrictions with using this with enterprise Zoom accounts?

- Can I record a Zoom meeting I was invited to, or just ones where I own the invite?
Empathy for large numbers of people who suffer and are disadvantaged because of the circumstances into which they’re born?

The Gates Foundation does work globally, including in the USA.

https://www.gatesfoundation.org/
It's rewriting in progress.
That sounds like an argument based on faith.

Edit:

that we can not "be reshaping our economic systems to be more resilient against such a crisis" seems like arguing from faith. There is no natural law
that dictates that everything has to go to haywire just because things are on a pause, or that the current systems, particularly in the US, constitutes the optimal way to handle this.
Bootstrap adopted a native font stack that looks great and doesn't require any web fonts.

https://getbootstrap.com/docs/4.0/content/reboot/#native-fon...
Looks legitimate - real shame. This prevents me from being able to recommend this to my friends. I hope it was worth it for 8x8.
> There are some companies full of engineers whose actual job is to write tools like this; I'm not sure what they would do for fun :P

I think there are a lot of organizations that would be better served devoting more resources to the meta work given the labor and infrastructure costs. I would go out on a limb and say the capital expended on the majority of projects I've worked on in my career had a smaller ROI (because it was negative in most cases) than would have been the case had the organization just invested in improving internal tools and processes of their existing systems.
Functional programming is as much a set of design guidelines as it is a programming paradigm. As such, programming in a "functional style" can be done in almost all kinds of languages (nowadays most languages support the map, reduce and filter functions for example). So if you learn functional programming it will definitely be applicable in your day to day programming. If nothing else by giving you one more tool in your toolbelt / some new ways of thinking when tackling a new problem.

If you are interested in Erlang that is a good language to start with. Besides functional programming it also has several good lessons to teach about Distributed systems and fault tolerant programs. Some even call Erlang the only real OO language (maybe besides Smalltalk) so maybe it will make you think a bit differently about what you already know from OO (I know it did for me).

If you were thinking of starting here I can recommend the excellent "Learn some Erlang for great good" which you can read online for free. Google it.

Erlang and Elixir is not the same thing as Elm. Erlang and Elixir are separate languages but are run in the same VM (which is named BEAM) and are therefore usually named together. Elm is a language that compiles to Javascript and is used to create frontend apps for the Web.

Otherwise I have somewhat of a soft spot for clojure myself. It was one of my first foray into functional programming myself and teaching me about func prog at the same time as showing me the elegance of a Lisp will always make it have a special place in my mind.
But that is only my personal opinion. If you had been interested in Erlang already you should probably go with that :)
A couple of million years of Zoonotic events should count as pretty good evidence that that is how these things happen.
It really depends on your situation / perspective.

Some places the situation could be untenable for you, either because you just can't handle it, or because there are real outcomes that are pretty negative for you (such as the guy who posted recently that his boss refused to meet with him).

Other times maybe it is time to realize that not everything is easily measured metrics or technical skill and so forth.

I've worked with a lot of younger guys fresh out of school and their approach is very academic where they really enjoyed the feedback / praise / clear pecking order of things like grades. Very good grades always rewarded them and they were told exactly how to get them. Then they entered the world where things were far less clear. Some really struggled when they felt like they were passed over for someone they thought were of lesser skills than them.

Sometimes they were right that the other person wasn't very good at their job, other times they simply didn't appreciate the other aspects that went into that job that aren't easily measured and the fact that the other guy's code or work that wasn't as academically "better" really wasn't part of the equation... as much as they wanted someone who could talk to customers, or get along with coworkers, or something like that.

In short, it depends on your situation.