skysight-inc/HackerNews huggingface dataset:
It doesn't seem much like it to me.

Hamilton/Perelman: Hamilton does X. Perelman builds on it to do Y, which solves an important problem. Perelman gets most of the credit and complains that Hamilton ought to get more.

I see two ways to try to map Einstein/Hilbert onto this but neither of them works well.

Einstein/Hilbert #1 (X = differential geometry): Other mathematicians do X. Einstein and Hilbert build on it to get Y, which solves an important problem. Maybe Hilbert gets to Y slightly earlier or slightly later. Einstein gets most of the credit. Hilbert is slightly annoyed.

Einstein/Hilbert #2 (X = early work on general relativity): Einstein does X. Einstein and Hilbert build on it to get Y, which solves an important problem. Maybe Hilbert gets there slightly earlier or slightly later. Einstein gets most of the credit. Hilbert is slightly annoyed.

If you see this as "Einstein, then Hilbert" then the analogy doesn't work because Einstein (earlier) is the one who gets the credit. If you see it as "Hilbert, then Einstein" then it doesn't work because Einstein (later) isn't building on a substantial foundation built by Hilbert (earlier) without Einstein; the foundation is Einstein's for sure, and if Hilbert has priority it's the last step that he got to before Einstein. And in either case it doesn't work because the one who gets the credit is happy to keep it whereas Perelman was really cross that people didn't see how much was due to Hamilton.
Yeah there's definitely a difference in the culture where checklists are the norm in aerospace where they're a new and developing thing in medicine.
Artificial Intelligence by Patrick Henry Winston (1993) [pdf]
There was a thread on twitter about how important it is not to talk about sci-hub. Please tell your friends not to use sci-hub to instantly download any science article. Sci-hub and its various domains which can be found by searching "where is sci hub now" must be stopped from their criminal violation of intellectual rights law. I repeat, do not talk about sci hub

https://twitter.com/NeuroPolarbear/status/115747010610198528...
Build Your Own Unbeatable Tic Tac Toe with React Hooks and Styled Components
Hi, I have a list of places where people post their startups and I select the startups from those websites and contact the founders. Here is the list if you are interested:
https://docs.google.com/spreadsheets/d/15dhXBP8MhN5bFYf0Yk3r...
Same here, windows & brave.
Not BA, although I haven't flown domestic for a few months.

Airlines like Ryanair do check photo ID on domestic, but that's for revenue purposes (to stop people selling tickets on the black market)
This is a stupid manufactured problem. People are visiting cool places and trying to take a cool picture of it. Let’s publicly shame them for it?

i don’t mind either when you see a big picture spot at a famous location and there’s a line of people waiting to get that best pic. if you made the journey out there and want to spend an extra 10 mins to come home with something that will help you remember it and look awesome at the same time, by all means go for it
Ancient Egypt reminds me of Ozymandias and the humility and perspective we could learn from time or within our lifetimes we'll be able to dive to see remains of soon-to-be lost cities like Miami.
Doesn't matter. Even if the cost of LIDAR decreases drastically to, say, $100/car, companies will still optimize it out if they can.
My first job in Silicon Valley was at Olivetti Advanced Technology in Cupertino, CA way back in 1988 (after I moved from Long Island aerospace work). They were quite a company in their day, known for their aesthetic design, too. They _could_ have been Apple if their management didn't all end up in jail.
In my defense downvoters, they both had typos, "day aloud" and "say things out let" and we're talking about pointing and touching dials here.
Good read. I like to think it's just life getting in the way, and if you are in the right circumstances and environment you could achieve respectable level of proficiency in almost anything, even later in life.
I just recently started learning Swahili and found some amazing classes from Language Transfer[0]. (I have no connection with them.) I've spent a lot of time learning languages, including tricky ones like Mandarin, and this is by far the best learning method I have ever come across.

The "class" takes the form of a dialogue between teacher and student where the student is an actual learner unfamiliar with the language and you try to learn with them. Each new word is introduced with a short but thorough explanation of how it fits in with everything you have learned so far and sometimes a mnemonic or story to help with recall. You are always prompted to try and construct new sentences yourself with the new words, without being told how, so that you are naturally exploring the grammar and idiomatic structure of the language and building an intuition for it. You are also prompted intermittently to recall previously learned words.

Within just an hour or so, I felt comfortable creating many sentences. I think this style of teaching helps build confidence in the language quickly, which is really important for making progress. They only ask for donations for their content and all of it is on soundcloud and youtube. I really recommend trying it out.

[0] https://www.languagetransfer.org
I can thoroughly recommend rspamd - it feels rather more robust than spamassassin and is easier to configure eg if you just want to do Bayesian filtering etc. The analytics and logging you get through the web interface is also very good.
> Coq with tactics does not fair particularly well on anything more than toy examples

Actual citation from the paper or some other source needed.

Relevant-ish citations from the paper:

1. "Coq uses interactive tactics to prove goals, which is veryconvenient, but may lead to large proof scripts in case onedoes ad-hoc proofs. But Coq also has the tools to make theproofs concise, provided one works in a fixed domain, andcreates the necessary abstractions."

2. "In [50] Wadler states“Proofs in Coq require an interactiveenvironment to be understood, while proofs in Agda canbe read on the page.”, while this is true for the languagesthemselves, but Proviola [49] can alleviate this problem ofCoq, by recording the proof state after each tactic execution,and producing an html document with the proof state addedfor each tactic. F* does not have this problem, as the proofterms do not appear either in the source, or during proving.Whether it is easier to read complete proof terms, or thereplay of a step by step creation of a proof term is dependentof the task at hand, but the author thinks, that it is morestraightforward to create scripts step by step in Coq, thoughit does require discipline on the programmer’s part, so as tonot create a write-only script"

Are you basing your very wide claim on one of these that don't say what you're saying, or did I overlook one?

Anyway, there's CompCert (http://compcert.inria.fr/) and Iris (https://iris-project.org/) and Kami (http://plv.csail.mit.edu/kami/papers/icfp17.pdf) and many other projects of non-toy size implemented in Coq, so I don't quite know what else to say to convince you. Sure, tactic scripts can be hard to read and next to impossible to skim. The same goes for direct proof terms.

> Better tools are still needed

Agreed.
Elsevier's FAQ on California Digital Library and Elsevier: https://www.elsevier.com/about/california-digital-library-an...
>Of course as always in the case of Israel, there's vicious fallacious propaganda to paint Israel as a villain, claiming that villages that are miles away from Jerusalem should be considered part of it and their residents should also be granted residency.

irony:

https://en.wikipedia.org/wiki/Kafr_%27Aqab

>While Kafr 'Aqab was unilaterally annexed by Israel with the rest of East Jerusalem and falls under its full jurisdiction, it is separated from Jerusalem by the Israeli West Bank barrier.

more @

https://www.haaretz.com/israel-news/.premium.MAGAZINE-15-yea...

>"Much has been spoken and written about the Shoafat refugee camp (population: 30,000), which suffers from a dearth of infrastructure and from poverty. Kafr Aqab (25,000 inhabitants) and its adjacent neighborhoods are in a similar situation. Officially, they lie within Jerusalem’s municipal jurisdiction, but in practice, they receive woefully inadequate services from the city."
An issue with your settings choices related to ads on Twitter
Hospitality in a Digital Age
The urge to take photos is weird. I'm travelling at the moment, and it seems everyone's first reaction of seeing something magnificent is... "I've got to take a picture of this!". I'm no exception.

I started asking myself, are we experiencing, or Instagramming?
> Does not saving prevent those events from happening?

That's not the point. Of course it doesn't - but that unexpected $35 copay for the urgent care visit would've wiped you out, whether you'd bought the $1 lottery ticket or not. At least you had a little burst of "man, if I won, I'd..."

We know from studies that poverty dramatically changes short-term vs. long-term decision making.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5641572/

> How are those events handled without savings?

Be hungry the week after, pawn a possession, payday loan.

> How would giving them more money resolve this problem?

How would having money solve money problems? That's really the question?
Is it currently feasible for carriers to block these calls? Like, it should be easy enough to check if the call originated internationally but the area code is domestic. This regulation would appear to compell carriers to act on that.
Someone should edit the title to say "... at a new foreign language"
That's a little excessive. The janitor was told that they were a legitimate marketing org, and it's completely unreasonable to expect them to investigate enough to find otherwise.
Because publishing papers creates personal property for the authors, and the fees are not paid by them. So there is an incentive to leave the system alone. Resistance is building, slowly.
I think you're missing my point but maybe you can clarify. Do you think it's possible for a site like 8chan to radicalize someone or do you just see it as a site for people who are inherently degenerate to congregate? If it's the latter than maybe you're right, but my argument was targeted at people who believe the former.

It probably makes you feel better about yourself to label someone else a despicable degenerate and simultaneously scrub your hands of the problem and any possible attempt you could make towards a solution but it's not doing anything to make the world a better place.

There are powerful tools that have been used throughout history to dramatically change the world and change the types of people you would label as degenerates. We just have more work to do.

My assumption is that this is primarily a site for engineers who are highly effective practical problem solvers and I think we would all benefit if more people treated this like a solvable problem.
The NHTSA stars are adequate for their intended purpose - showing how well a car holds up in a crash compared to equivalent cars from other manufacturers. You just can't use them to make any conclusion about the overall risk of injury (which depends on the likelihood of a crash happening in the first place), can't compare them between cars of different weight classes, and can't draw meaningful conclusions about the relative safety of different five-star rated cars. Tesla did all three.

The last one might need a little elaboration. The NHTSA battery of tests is relatively small and limited. The lower the risk of injury in those tests is, the more dependent the actual real-world risk becomes on all the scenarios they didn't test. This isn't a hypothetical problem. The Model S also got the best score ever in the NHTSA tests and Tesla did a similar press release about that, but it didn't get the IIHS's highest rating because it performed badly in small-overlap collisions which weren't part of the NHTSA tests.
If they have a margin of 35%, they are wasting 50%. They do not copyedit. If you drop a nonsense sentance into an Elsevier journal after the volunteer editing stage, it'll be there in the published version. I've noticed plenty of typos in my own papers after publication.

> they [open journals] charge authors fees in the high 3-digit range to cover their costs.

Most Elsevier journals charge an ADDITIONAL ~$1500 if you want to open access, supposedly to make up for the lost profits.

EDIT: correction, I just checked the fee for the Elsevier journal JVGR, the last one I published in. It is $2750 per article!!! https://www.elsevier.com/journals/journal-of-volcanology-and...

Oh and don't be confused by "green open access" -- that's not open access. It's just typical smarmy BS marketing. How the hell do we allow these people to be the guardians of science!?

They don't accomplish anything beyond rent-seeking and rubber-stamping. They are as bad as the MPAA and RIAA. I've published papers in Elsevier journals several times, and I'll probably have to keep doing it, because they are the landlord.

They are a major contributing factor to the really serious ignorance problem we have in this country.
Show HN: Data Structures and Algorithms in JavaScript
Maybe forget the "I'm software dev" part. Go out and give attention to people in need, may the be the ones who need food, or are old and have no family etc.

The most needed things in the society of Today isn't material, or something that you can automate with software -- it is time. It is a resource that is very scarce as everybody is busy with their wifes, sisters, brothers, making money, building shit etc.

Talking people on the web isn't anywhere the effect of talking with them in person. The human brain needs human time.
Consumer pressure
I like Elsevier cause they got lotta papers I like to read and I’m not the one who pays the fee anyway so it means nothing else to me
>Sure, Microsoft is bad, but can random hobbyists on the internet produce something of the same quality?

Can they? All pieces of software that are the core part of the Linux desktop (kernel, Xorg, GNOME, Firefox, etc) are backed by big corporations.
I’d love a FOSS one that operated totally locally.
That is an odd reasoning.

If they know this based on data from Alexa, you and others can eliminate Alexa - or decide not to buy it in the first place.
In a lot of fields, most academics just don't care
This is good advice, but

> they are probably used to read a chapter or two on a daily basis

This sounds mental. Reading the Bible on a daily basis? I’m pretty sure that this is not the norm for the vast majority of (devout) Christians (at least in Western/Central Europe).
Something interesting did happen around that time. Looking at all CVEs as an aggregate, it appears 2008ish is about when there was an inflection, perhaps a shift from OS to injection/validation/appsec?

https://nvd.nist.gov/general/visualizations/vulnerability-vi...
Yep, we have proxy servers with SSL decryption/inspection. Root CA installed on all company devices.

There are a number of whitelisted URLs (banks, and services that refuse to work with a MITM'ed cert) but other than the initial headache during implementation, it is pretty seamless now.
"Once you are cesspool member your beliefs cannot be altered."

Why? This is the crux of the problem. I don't believe that anyone who could be so easily swayed in one direction can't be swayed back. What am I missing here?
Aren't there still 32-bit versions of Windows 10? AFAIR only the server versions are 64-bit only by now.
In memorium http://news.mit.edu/2019/patrick-winston-professor-obituary-...
I don't understand this commentary by Moxie. Why does removing PushKit functionality removes the ability for apps to do E2EE?

The only thing I can think of, is notifications maybe not being encrypted? But that seems like a bit of stretch to say you can't do E2EE messaging.
"Unix was not designed to stop you from doing stupid things, because that would also stop you from doing clever things."
Not true. You can install games even with the service disabled, since the Steam program folder permissions allow any user to write files there (and that's where games are installed by default).
Swiss Alps too and people trampling pastures for selfies. Local farmers have started putting up fake graves and memorials like scarecrows.
I'm confused. If this technology is so pervasive and supposedly efficient, why do I always get such terrible ads, completely irrelevant to my interests? Usually the only targeted ads I get are ads for products I was searching for to buy, but usually they show up after I bought the product, so, no, I am not going to buy a new fridge within few years anyway.
Have you see the garbage that's left on 8chan? Go browse /pol/ or /leftypol/ and tell me if these are forums you'd want on your own site. As someone who's been a moderator on web forums before I've tended to use a light touch when dealing with bad actors and trolls but even they wouldn't cross lines that the denizens of 8chan regularly cross and find more ways to be vile in such a manner that is beyond breaking moral codes but also breaking legal ones. Doxing, posting child porn, advocating for genocide, stalking, and etc are all regularly occurring on 8chan since its inception. Basically, 8chan is what you get when you don't use the ban hammer. It's why 4chan oddly is marginally more well behaved because Poole/moot before selling 4chan started laying more ground rules like no-doxing (that happened due to the nonsense around 2014 with Gamergate). So, the fact Watkins refuses to manage his site just shows negligence on his part. If Poole/moot can do it then so can Watkins, otherwise he can just sell the site or shut it down. He deserves no other options in my opinion.
My understanding of seL4 is that the kernel never really needs to run a long operation because it does so very little. For instance filesystems would be a usermode process, along with nearly all drivers. Isn't that why the MCS stuff works - the kernel may not be able to interrupt itself but that doesn't matter because it can interrupt userspace, which is where 99% of traditional kernel code ends up?
Would you consider adding multiple touch points? Why (not)?
I was looking for this comment, where someone just blame Indian IT teams without any factual data that this is caused by the Indian IT teams. Just waiting for an opportunity to pour personal hatred and resentment. Just like I expected someone will blame indian IT teams without any actual data.
If true, then I stand corrected.

However, I'll point out that one hardly needs administrator access to, say, encrypt your documents and install a crypto miner. The whole idea that gaining administrator privileges through local escalation on a personal desktop is A Big Deal(TM) is silly.
- Gaza has a restricted fishing zone.

- There are to date 4 missiles casualties in 2019, maybe switch the TA scooters example to something else.
Nah, I got down to about 80m the first series of dives I ever took, so certainly recreational. 45 is no big deal.
The other problem I see here is people going to popular places and being annoyed that other people are there.
No, that's not how this works. That's not how any of this works.

Do you think anyone is out there "seeking likes" for the sake of likes? If we hide likes and views, who would we be hiding them from? Third parties, or the person making the content? If the former, then the person making the content is still getting a dopamine rush. If the latter, then the audience will have a button that they're not sure if it does anything when they click it. If both, then someone will still find a way to track these things due to the outcome of the algorithm used to sort content to trending or not.

Oh, wait wait wait, no, let me guess, you want the idea of popular content to be thrown away completely and have the pseudo-communist overlords of silicon valley to select what is or is not trending manually?

Like, what possible solution do you think there is to this other than just leaving the system be as it is and being content with the fact that humans are humans?
Why Epic's strategy makes a lot of sense
I feel like there's some paragraphs missing in this post between "I'm concerned the change won't help grow the community" and "I'll no longer learn or have fun in this community". He doesn't explicitly say how he expects his relationship with Racket to change, or why. He's implying, though not even outright stating, that he's distancing from Racket because of Matthew Flatt's proposal. That's begging for further explanation. Mere proposals don't warrant this sort of reaction. Racket is hardly a stranger to radical proposals. What's going on behind the scenes that's so serious as to warrant a post like this? Why, in short, the vagueposting drama?
Read the article you just linked:

> Kafr 'Aqab is located 11.2 kilometers (7.0 mi) north of Central Jerusalem and 2 kilometers (1.2 mi) southeast of Ramallah.

This village is literally 5 times closer to Ramallah than it is to Jerusalem. Jerusalem and Israel itself aren't very large, 7 miles is in fact a huge instance in Israel-scale.

Someone saw a potential for political gain by describing a distant village as "a neighborhood of East Jerusalem", and you decided to repeat this propaganda.

This conflict is rife with propaganda, I suggest you check your facts instead of unwittingly helping to spread disinformation.
I'm not sure why your comments are attracting downvotes; from the title I assumed programming language.
I'd use it, but where are there installers that 1) I can trust and 2) are updated as soon as Google releases a new version and 3) that allow me to get automatic updates (without having to check for an update .exe myself)?
> Since when do FreeBSD executables run on the illumos family of operating systems, as far as I know, there is no freebsd-branded zone yet in illumos?

Moving goalposts.

> Dramatically faster? Is there any scientific evidence to that?

Yes, although the difference is significant enough that most people don't bother.

> If it were me, I wouldn't rush to make assumptions.

You literally are rushing to make assumptions, it's just that you're making assumptions against ripgrep.
It would also happen within the same month if the EU and/or the US simply made it illegal to publish publicly funded research behind a paywall. All the content would disappear and the "industry" would reorganize. As a citizen the fact that this has still not been done is outrageous. Explaining that to the general population instead of pretending that this is something that's specific to the scientific community could be a way forward. It's simply a scandal that citizens are not allowed to read for free the research they paid to be performed.
I'd highly recommend watching this documentary called Paywall [1] which explains the unhealthy dynamic between academia and publishing. TL;DR - academic prestige and career progression depends on being published in highly rated journals.

[1] - https://www.youtube.com/watch?v=HM_nWsdbNvQ
> Gaza residents have been in control of their own fate since at least 2005.

I wouldn't want to litigate the Arab-Israeli conflict on a message board but this is just such a fundamentally absurd thing to say that I thought I should respond. They have a "government" but are not citizens of an actual country and they do not have a real economy because they are under blockade. They are not in control of their own fate, except in some existentialist way that invites comparison with prison inmates or something.
https://www.edx.org/course/cs50s-introduction-to-game-develo...

Best of luck ;)
It is not a norm. Even in very devout households attending multiple masses every week. (I'm not saying there aren't people doing actual mindful reading every day, but the generalisation to "Christians" in this case is bad)