skysight-inc/HackerNews huggingface dataset:
Yeah, to be honest, without seeing your comment I was going to skip on this article. I figured it was going to be an anti-China COVID article. Nevertheless, happily surprised with the article's contents on anthropology
It was such a big deal because Apple has a monopoly on „acceptable“ replacement batteries (the system shows a warning when you insert a 3rd party battery), and they charge 3x their actual worth.
Row Polymorphism Without the Jargon
browsing through it, there are some references in readme files to cloning repos without an account, so I think that the users are aware.
Quite a nice result. Along the lines of your point 2., it's not the first time in recent years a problem in operator algebras was resolved by the computer science community using unexpected methods: https://www.quantamagazine.org/computer-scientists-solve-kad.... Perhaps looking at these problems from a more concrete angle is the way to go, especially for a problem like disproving the Connes conjecture.
Show HN: Webshot – Screenshot Websites as a Service (Open Source)
Numbers of developers and code aren't vague. They are disproportionately significant. And you don't even use arguments, just a low-effort labeling.
A new job board promotes recruitment for candidates with different capabilities
It sounds like you did not read the READme. What you are describing is something that does scale up with more data but not with more requests.
When you have an application where 1000s of users subscribe to different queries, your view-maintainance would kill the write performance while EventReduce does not.
definitely sarcastic. right?
My MacBook Pro can (loudly) build LLVM just fine. The rest of the time it doesn’t make a peep and I make sure it stays that way.
The hero image shows a person, but the article doesn't say who that is.
Turn shell commands to HTTP APIs
The majority of people that end up in hospitals actually survive the virus. Their symptoms are treated, not the causes, unfortunately. But you have to take these people in as they have (among other things) respiratory complications, hence the great demand for ventilators incidentally.

Infection Fatality Rate is certainly coupled to the number of people that develop severe symptoms, but it's not this number that you need to look at as to why people end up in hospitals.
Can't we come up with a simple, good technical solution to identify hosts?

Something that is scalable, is easy to use from a technical perspective and also easy to use by humans?

The biggest thing to solve is that meaningful dictionary words are few and many people fight over them. But the current solution to that means thousands upon thousands of tlds, which nobody cares of, are hard to remember. Most people still fight over .com domains and prices got to insane levels.

To have the chance to use a decent .com name for your business, you have to first buy another tld, work for a few years, pile up some millions of USD and get it from the domain hoarders.

Having a .com domain with a name relevant to your business is still perceived as a big advantage.
The expression is invented but the underlying relationships are discovered.

It's silly to think that the sqaure root of negative one is something real to be discovered. It's just a stand-in to express complex relationships more succinctly. The same for negative numbers, for that matter.

It would be equally silly to think that the underlying relationships are invented. Nobody invented prime numbers, they were discovered.
that's a user defined literal, a language feature: https://en.cppreference.com/w/cpp/language/user_literal

the std::chrono library reserved some suffixes (under std::literals::chrono_literals) for time units https://en.cppreference.com/w/cpp/symbol_index/chrono_litera...
Your OS might be able to “reduce white point” everywhere or you can replicate it via color profile.
Historically, what I illuded to is almost a law of nature. I could have elaborated, but is it really necessary? People dont need stuff spelled out, and pointing that out didnt start a flame. That's the founder of CNN... his opinions effect people; it shouldn't be off limits to discuss. Parent ultimately was asking about the def of irresponsible is, and might not have considered that other people have other definitions.

https://news.ycombinator.com/item?id=17781131
The major legitimate complaint was that Apple was extremely poor at communicating this to their users.
500 lines or less, hold my beer.
California has jungle primaries. She successfully fended off a serious challenge from De Leon just a couple years ago.

Sadly, this is the government we deserve.
Pneumonia patients in hospital have their blood oxygen continuously monitored, with alarms if it goes too low because the symptoms of oxygen starvation are very hard to spot even by a trained nurse, but can be rapidly fatal. The most common cause of death is heart attack because the heart isn't getting enough oxygen. So these people dying at home probably think they're not at serious risk and don't want to take up a hospital bed from someone in a worse condition, so they try to tough it out but then they suddenly die.
Exactly this.

If you think that proprietary software should exist and that companies are free to license their software under a proprietary license, why wouldn't a "hardware company" be allowed to do the same with their firmwares?

When you buy a certain model (gopro or something else), you also buy the corresponding license. Changing the firmware to another one is probably illegal without having a proper "license" to the latter (just like you can't install Windows "Corporate Edition" on your Windows "Starter Edition" legally without paying).

Of course one can disagree that this model should exist at all, but let's not pretend it's any different from proprietary software companies, there's nothing specific to hardware companies here.
Symbiosis.css: like Normalize.css made from scratch for desktop and mobile
I like Elixir and all of its infrastructure and libraries, like BEAM and Phoenix, but I could never get used to not having static types. What's the best way to have static types in Elixir?

I have seen in Elixir an implementation of functional programming concepts that might prove useful: https://github.com/witchcrafters/witchcraft. It hasn't been updated since last year so I'm not sure if it still works.

These days I've just started using Rust and actix-web instead, seems a lot faster due to no VM, with static typing, and moreover, algebraic data types. I wonder if I could use another language without ADTs anymore.
“It'll all be over by Christmas” (No it won't)
Extra Crunch Is Now Available in Puerto Rico, Guam and American Samoa
IRC is not really decentralised, is it? Or are you arguing that it’s decentralised in the sense that each user can implement and control some features like logging?
> the Nissan Leaf, when the battery gets really low(and I mean it, far past the point where you lost all percentage and mileage indicators), will enter a reduced power mode (or popularly called "turtle mode")

TIL. I thought I was pushing it coming home with 2 miles left…
I think you overestimate the knowledge we had about covid-19, especially in the early days. Why are there even any doctors standing at all in Wuhan?
And I'm glad that you've illustrated my point perfectly. Having misinterpreted my statement to be homophobic, you've chanted the magic words to summon the specter of censorship.
Yeah that's a bit odd. It's Michael Seibel, YC's CEO.
Google says it blocks 18M malicious coronavirus-related emails from your inboxe
Well yes and no. A lot of mathematics found its roots in trying to model the real world, however I would then argue that the truths we prove about these models are truly discoveries. And with these discoveries we can often generalize the setting to more abstract formulations, independent of the physical reality.

I think that this can be seen in the fact that sometimes mathematicians and especially physicists can reason about objects that they are not sure about what the right definition should be. Many mathematicians reasoned about continuous functions long before we had a concrete definition of them. But when Cauchy introduced the definition and Weierstrass proved it is equivalent to preserving limits (which was the intuition at the time), we had not truly discovered something new and mathematical.

This whole idea was then generalized to topology when it was shown that pre images of continuous functions preserve the "openess" of sets, i.e. we realized that no concept of distance was not needed to describe continuity, which is very surprising.
Have three planes with curvatures c1, c2 and c3. Scraping 1 against 2 results in curvatures: c1' = (c1-c2)/2 and c2'=(c2-c1)/2 (proof is left as an exercise to the reader). The calculation is similar for scraping 1 against 3 and 2 against three. The three scraping operations define three linear transformations on the curvature vector c=(c1, c2, c3): A, B and C.

The article describes a cyclic permutations of these operations, so the final curvature is (A.B.C)^n*c. The absolute value of the largest eigenvalue of A.B.C determines the efficiency of this procedure, it's 1/sqrt(8). It means that by each cycle the slowest mode decays to its 1/sqrt(8) multiple. By each step it decays by (1/sqrt(8))^(1/3) = 1/sqrt(2) on average.

Question: Is there a more efficient procedure?
I feel exactly the same, I thought that it's because I'm not a native speaker, at least now I know that I'm not alone.
Minivue: A mini Vue.js clone intended for educational purposes
If I buy an used iPhone I want to make sure all the parts inside are original.

The warning is there for that reason. The phone still works with 3rd party batteries.
Kubernetes vs. Docker – What Is the Difference?
It's just as silly to think of the "real numbers" as being discovered. They don't exist in the real world, after all.
But that criticism was unfounded as the actual method was not even published at that point in time.

But back-of-the-envelope calculation gives this: Even if that test was only 95% specific, there would still be a 10% spread of actual positive cases.
I wonder why organizations like ICANN that are supposedly international are hurrying to sell .org tld to some private firm with very opaque ownership. And why that process of selling isn't transparent, why they didn't do any bidding before of selling?
How I Made a Data Tracker for My Sourdough Starter
Fortran 77, when the latest version is Fortran 2018?

It was the first relevant search result. Feel free to look for more recent resources on the topic, eg https://www.sciencedirect.com/science/article/pii/S157106610... (still a bit dated).

Naturally if one goes outside what the standard allows, everything goes.

Which makes the Fortran situation essentially the same as the C one once you've typed out `restrict`.
The mathematical definition of intuition is not the colloquial definition. For example, in intuitionistic mathematics, you can't proof by contradiction, which means that some things that are "intuitively true" in the colloquial sense, are inaccessible.
> For decades, the stamps were dismissed by the philatelic establishment as tacky novelties and were, correspondingly, as cheap as chips, [...] valued at around £17, the equivalent of £28 at 2015 prices. But following their recent discovery by collectors of rare vinyl, particularly in the US, you will be lucky to pick a set up for less than £300.

I love how one group of collectors goes "tacky novelty!" and another group goes "amazing rare find!" over the same thing. It all makes sense, but it's still weird.
Yes, standard trick of 'green' accounts that want to acquire some karma quickly: repost a good on-topic comment as a top comment. Flagged.
What Microsoft did with Internet Explorer maybe looked dirty back in the day but ironically enough United States v. Microsoft Corp. suit started in 1998, the same year when Google was founded and quickly after conquered the internet with its search engine and internet browser. Innovations will always displace dominant products and the cycle goes on and on.
Soundbite – podcast app to help you find hidden gems through
The personal expression can get very far too, further than perhaps an advanced alien race may know. Supposing an alien race never discovered category theory, their mathematics could still be more advanced than ours, but perhaps more verbose, longer to write down or otherwise bulky and inelegant. The question of whether elegant mathematics is more advanced I guess becomes tricky to answer. But pedagogically and for practical application, elegance is paramount.

I think the most celebrated mathematicians are such because of their personal expression. And that "style element" also inspires people to go further than before. Grothendieck, who featured here a few weeks ago, is a case in point.
15 years ago i used userscripts for ... kinda cheating at a popular browser game. i didn't do anything _really_ illegal, it just extended the UI.

e.g. if you sent an army to rob a village, it stored the type and level of workshops and calculated how many troops you'd have to send plundering the next time.

it worked really well. next i changed the backend from local storage to a shared database and shared the script with a few friends from my clan. that kinda broke the game. we were incredibly successful but i also immediately lost interest, quit the game and killed the server.
Search for “Slow TV” on Wikipedia. Norwegian Broadcasting Company has done several “series” and you can find them on YouTube (usually split into several multi-hour chunks).
By downplaying the numbers they make all other countries less aware of the real risk and make them react too late.
Apple Music on the Web Exits Beta
It looks interesting. But I couldn't make it work. I tried several part numbers in the search box, but got no response back. Pretty generic stuff, like 7404.
I don't argue with that, I mixed up the terms "registered" and "logged in"

Can't understand negative reaction about 2 new registered users
You are very right though it might be unpalatable to a lot of Westerners. By letting go of "Manufacturing", they did it to themselves. It is a fact and no amount of wishful thinking can negate it.

My hope is that after this crisis, each country sets up its own "Manufacturing Base" and the idea of "Globalization" is rethought and redefined. We need a federation of relatively self-sufficient countries working together for mutual benefit so that we can weather any future similar crises.
They are necessary for the continuum.

If you throw away real numbers, then you lose major things in physics. I think for example you lose the wave function in QM.

It is not a question of whether they exist in nature, but rather whether they are the more superior technique, or not, to explain nature.
MediaWiki (the software that runs Wikipedia) has extensive built-in support for user scripts. There's a decent number of them, too, used for everything from automation of batch tasks to adding any feature one could ask for to the interface. I've written a few myself. Actually, the first programs I ever wrote that other people really used were user scripts. I remember live-debugging one with several users in my ear via TeamSpeak once. "Working yet?" "Nope." "Nah."

https://en.wikipedia.org/wiki/WP:User_scripts
>Can you expound on this a little more?

Unfortunately no. I got the info from Quanta Magazine article. I am not knowledgeable enough to respond on this. Even though I did some high level math courses in University, I wasn't interested enough.

I am sure other HN users understand this stuff better.
Testify for assert and require. GoMock for mocking, but only when it really adds value over a handwritten fake. Table driven tests wherever possible. Don't need heavyweight test frameworks.

Plain HTTP/JSON encouraged for edge-facing services only, typically not in Go. Between services, GRPC, integrated with our metrics, distributed tracing, and auth. When plain HTTP does happen, gorilla/mux.

Wire or FX for DI.

Implicit satisfaction of interfaces is the core of the language. The type system will feel maddeningly obtuse until you learn to use them effectively. It took me a few days to learn the language's structure and start shipping code, but a few years to grok the implications of that simple structure and design software in harmony with it. Interfaces are the key. Think Haskell typeclasses, not Java.
Same. I suffer through it, because the rest is pretty neat.

There is no best way. Fortunately the Elixir core libraries are annotated with typespecs, which gets you like 30% there. But dialyzer sucks, and the typespec syntax itself, as well as its expressiveness, leave a lot to be desired. It's clearly an afterthought.

One day I'm gonna make a TypeScript for Elixir.

Note: There's eg Gleam a statically typed language for BEAM, but it's quite unlike Elixir and it has a much smaller community. https://github.com/gleam-lang/gleam. I doubt using eg Phoenix on Gleam is possible, or if it is, whether it's fun. It looks promising though, especially if you're into Ocaml/Haskell-style "hard" FP.
Release slots ahead of time and people will just pre-book the slots in advance right? Meaning if you want a slot now you wait a lot longer.
I love the simplicity!
if YC doesn't invest, won't that be a signal that they don't believe the 7% is worth it?

it makes it hard for startups that would need more money to prove their profitability to lose out on new rounds, or have to give up more for those rounds (as investors will need better incentive to invest without the YC signal).
I’m amazed by how vague this law is. Basically it all depends on what the National Commission decides later on. It could be as simple as a checkbox or some kind of crazy filter database thing... who knows... no doubt it’ll keep changing and be a good opportunity to make money for some.

Also what are companies going to do once they find such material? Just remove it from their platform and sweep it under the carpet?
There was indeed a manual review of the "potential errors" highlighted by our algorithm to determine is it was indeed an error in the data or if it was an error in the prediction. The 20% corresponds to the proportion of objects that was corrected with this manual review. So it's actually likely that some errors (that were not found by our algorithm) are still in our clean version of the dataset.
Hi, not LBQT strictly even though there's an ideological underpinning in the project that aims to help those.

What I'm doing short term is to try to enable people with disabilities to write on computers.

I noticed that this might fill a gap in VR usage for productive purposes.

At heart I want to be openminded and work honestly against the truth so I'd like to set up a non profit to further this research.

Have a lot of cool ideas. Can't do very much atm as I ran out of funds was forced to apply for a job. Now my hands are a bit tied by the IP clause in my contract.

http://tbf-rnd.life

trbefrrnd at gmail.com
https://www.lovejustice.ngo/
I hate human trafficking and sexual exploitation. The fact that it is happening makes me angry and sick at the same time. This organization works towards stopping it.
I like the way they conduct business and work with local law enforcement.
The reason why intuitionist mathematics is useful in QM is because it can be viewed as resource based logic.

But remember that (as far as I know) you can do intuitionist mathematics in classical mathematics, but not the other way around. So you can think of intuitionist mathematics as being embedded in classical mathematics.
Interesting idea! We'll certainly think about it
How do you sit on the floor? I used to this a while back but I would have a hard time keeping a straight back and not slouching.
It can't be proven that WhatsApp didn't tamper with their implementation, since it's proprietary software.
A1534.
If one wanted to get out of a term sheet, it'd be pretty easy to find something in diligence that's too problematic.

I've also had founders back out of accepted term sheets, which is also a pretty shitty thing to do.
Still a very big departure from humans with masks.
Hint: You haven't read about any performance breakthrough in the past several years.
And yet we already have crazies speaking against coronavirus vaccines that don’t even exist yet, with a little bit of mind control and 5G-related nonsense for good measure.
Take a look at couchdb/pouchdb it's basically what you described.
Do you mean e-mailing your commander's commander is a universal career-ending move in the navy?

Or was he discharged on evidence or assumption he leaked to the press himself?
>Yes. Their goal is to nuke encryption

Who is "they"? Are you talking about the deep state?

https://en.wiktionary.org/wiki/deep_state

> A large group of people, typically members of government agencies and the military, believed to have long-lasting political influence that is difficult for an administration voted into power to counter. [from 1990s]
Ask HN: How do you manage/schedule your life?
Ever since quitting my job I'm having a hard time managing my time, or rather, life. I am not talking about keeping track of specific tasks, using a TODO list, doing pomodoros, or staying motivated. I kind of know how to do these things if I have something specific I'm working on.

Rather, I am having problems with what I would call "one level up" from task/time management - How do I decide what projects and habits to spend my time on? There are dozens of sideprojects in my backlog, hundreds of books I want to read, and hundreds of things I want to learn about, all sitting in a couple of text files. Then of course there are personal/health related activities, places I want to travel to, news I want to keep up with, etc.

How do you decide what to work on? How do split up your projects across days and weeks? What tools do you use to schedule them? How do you track progress?

Of course I've looked at various apps to help me with this, but most tools fall into the TODO list or habit building category, which isn't really what I'm looking for.
And quite a few other threads, too :-(
Partial answer- because Corona is not new and some work has already began a while ago.

For example this [1] Israeli company

> MIGAL initiated its Corona-vaccine development program four years ago with $4 million funding by the Israeli Ministry of Agriculture.

Although it was originally for chickens...

[1] http://www.migal.org.il/en/node/7010
Wired headphones cater for these edge cases.

As I say, I can live with a dongle for 3.5mm or serial (despite it being a regression), it's just another straw.

The certainty and simplicity of an audio jack is not valueless though, no matter how many people on HN say it is.
I read this book about it: https://www.amazon.com/God-Mathematician-Mario-Livio/dp/0743.... Won't spoil the answer, but was nice to go through the evolution of Mathematics.
Showmanship, yes, which is different that musicianship and needing your "70%-version" of the musical performance to be "good enough".

Also, a lot of other live electronic music performances have almost zero showmanship, so there's that too.

(Speaking as an electronic musician)
The ITU has done just fine, as far as I can tell.
Don't they, though? The path of an orbit in vacuum should follow pi, unless coordinates are discrete (which they might be, I suppose)
Yep i have used it one of my project.

PostgreSQL over GraphQL

Types -> Table/View/MV schema with restricted access for User

Queries -> Querying SQL on Views/Tables/MVs with READ only access OR SQL procedures

Mutation -> SQL procedures with user specific access

Subscriptions -> Web socket & LISTEN/NOTIFY with fine level triggers
Is Barbra a reference to syllogistic logic? I mean BARBARA.
Looks like a powerful social learning tool, need to try it out -- will share my thoughts here once I'm done
Gleam is pretty young, so I wouldn't expect the community to be huge.

Not sure what you mean by 'Phoenix on Gleam', but you could write core code in Gleam and use it in an Elixir/Phoenix app, no probs

https://dev.to/contact-stack/mixing-gleam-elixir-3fe3