skysight-inc/HackerNews huggingface dataset:
Hey everyone, I wanted to share with you something that I've been working on for couple of weeks now. If you are familiar with the dependency problem among Pull Requests and are struggling with it (more context here https://github.com/isaacs/github/issues/959), this might be interesting for you. It's something that already exists for gitlab and bitbucket but unfortunately not with github, so I decided to create my own service. Basically, dpulls will allow you to express a required order of merging for your pull requests (plus other features).

So hope this could be helpful for you.
If you do the exercises it might take seven weeks at a few hours each. If you don't, you could read the book in a night. I don't think I finished it (it was a work bookclub that died out halfway); now would definitely be good time to go back. There's a second book in the series I wanted to try for Elm and Elixir.
I want to be able to draw from imagination. Drawing from real life has no appeal to me (though drawing realistically does).
Reminds me a little of Pengo.

https://en.wikipedia.org/wiki/Pengo_(video_game)
Real news from China was months ago. Leaked wechat doctor testimonies, recordings of seemingly healthy people collapsing on the streets, apartment buildings being welded shut, hospital corridors blocked with body bags.

He is a prime minister with direct access to intelligence services, he should of known better.
GitHub Pages Is Down
In a first, China knocks U.S. from top spot in global patent race
I don’t think it’s an echo chamber to tell both sides of a story. Maybe you can’t tell every possible fact from every viewpoint but deliberate exclusion can be just as bad as false facts. NYT hides one side of the story because it doesn’t fit their editorial viewpoint. It would be better solved to get more political diversity into the news room.
Yup. While in college, a friend of mine who worked in one of the departments said it's well known that if the department needs more money, then "just admit more Chinese grad students." The foreign students pay more, and receive poorer service in both from the school, and often from the professors.

This is of course by no means unique as the article says, Brown University almost went bankrupt in the 90s, so there was a program to target wealthy European families and admit their children to the school, in exchange for large donations and full tuition.

Many of these schools talk a big game about valuing education, but there is a reason many of them are older than the most storied for profit companies, and the fact that Universities are private and non-profit protect them from being audited.
Mine is https://shafyy.com

I write mostly about VR (some startup rants in there, too). You should read it if you're interested in VR topics (not too technical, but more opinions on broader trends, economics, etc.)
Why do you need a platform? Get something that renders to a static site and stick the result in an object store with a domain attached. Or even just a html file with <p>contents</p>. Or even a txt.
1. That was just an extreme example. The common example is squeezing small businesses to strengthen their monopoly.

2. Was the matter resolved to the satisfaction of the union? Were the culprits or the people responsible acknowledged by the company to stand trial? Did the company compensate the families of those killed?

3. How are employment conditions in Coca-Cola today? In Columbia and elsewhere in the world?

If (2) and (3) had satisfactory answers, I promise I'd drop the matter from here on out and stick to (1).
> A funny thing, sometimes a shitmix has it's own unique taste.

https://en.wikipedia.org/wiki/Mezzo_Mix Mix of Cola and Fanta, and I'd say it's more popular than just Fanta in Germany.
This technically correct comment would be actually useful, if it linked a fully automated prover, that is capable of proving any property of a program that fits in N bytes.

If you remove infinite tape, you go from undecidable to "just" exponentially complex.
It's not directly related to them. It's just one of many projects using the kennel.

Also this is not a official post but a semi official one by one of it's members on his personal blog!
The issue here is not just some regular service is down: thousands (even hundreds of thousands possibly) of websites are down as well.

The only reason I saw this was when I was accessing my teacher's course page only to find it was down (alongside mine, just to verify).
Conntrack evolved recently and is thought to be fast. Florian Westphal once said that an iptable rule doing -j NOTRACK is slower than hitting conntrack.

The rationale is that iptables need to do indirect jumps, which with spetre mitigations means retpoline which means slow. So... conntrack avoids the indirect jumps and is faster than a couple of indirect jumps that would be taken on the iptables exception path.

But I haven't done the benchmarks so I didn't want to put that in the post.

Anyhow, barring the SYN flood aspect, I think conntrack is fast enough for everybody. The only exceptions might be... dunno... HFT.
http://www.thingsaregood.com
I post one piece of good news once a day.
Hung up on what? Working? Please explain why this problem that would take 30 minutes to correct makes sense to keep around?
idealforum.org

Semiotics + Phenomenology + Existentialism + ~Platonism + Marxism + Computer Science.

I think the reason we don't have Email 2.0 or the Facebook Killer is that we still don't _really_ understand the problem. I want to help lay the groundwork for understanding that problem.

cf., idealforum.org/leeching-through-the-lens/
Modeling Covid-19 – By Stripe, GitHub, Harvard and Stanford
How did we used to do this in the 1970s where the state paid for it all?

We now live in a world where you don't need a secretary, because you can type up documents yourself, you can instantly send written communication via email. You can publish agendas, and other campus wide information instantly on a website. You can automate. You can distribute notes to your students for free instead of endless photocopies.

Why given these gifts bestowed upon us by the tech gods, are we so hopelessly inefficient in the West?

What is the actual point in doing more research, when we have all this step jump in technology, and we can't seem to do anything any more?
As you say: DevOps means a million things to a million people. That’s why I ignored the person who tried to explain to me that I had the origin of DevOps wrong. Nobody alive or dead is qualified to make such a pronouncement, because nobody knows. It is an amorphous blob that usually manifests as a weapon for developers to beat the operations disciplines out of their company, which is why I speak about it as I do. Given the overwhelming evidence that the interpretation I’m going after is the popular one, arguing over the definition of the term is pointless.

You’re conflating my argument with cloud ranting and assuming DevOps methodology is the only method to acquire more feedback from production by stating your last paragraph like that. I’m saying there are potentially others, but we are entrenching on this way of doing things, and people picked this particular way of doing things and started talking organizations outside “SV” into it. That conversation gets harder a second, third, and fourth time. The prevalence of COBOL reqs should warn you of this, and what DevOps will look like in about a hundred years.
I had a CoCo as a child too.

I remember thinking the Microsoft "Extended" Basic for the CoCo was pretty cool. Although it was pretty painful manually typing in source code from magazines to try new programs (I think the main magazine back then was "Rainbow").

The tweens today who have only used Github for getting code don't know how good they have it.
Seconded.

Half of the pleasure of "baba is you" is to discover it. The game assumes this perfectly, and is actually structured to make that discovery part of the gameplay: it's incremental, pleasant, and it surprises you in good ways.

I sometime even laugh at the way the game designer played with me. With one specific block present or missing. With one rule you didn't know about, or didn't think about that way. It's communicating playfulness without a having to say a word.

This game is a beautiful thing.
https://www.brainstobytes.com/

I try to explain important concepts for software development/data science or share things I believe are important for our careers.

I don't post that often, but put a lot of work into every article.
Coronavirus: Warning over UK daily death figures
I would prefer a way to filter, not necessarily to blog posts, but just links to original content created by HN users, including blog posts.
It’s all very parasitic and relies on a lot of disconnect. The advertisers often don’t even know what they are buying as these things go through “exchanges” that are basically computers buying and selling as real estate. The smaller the business the more likely they are to end up scammed by this because they will have less tools to monitor things.
https://bayesianneuron.com/

Hopefully I’m not late to the party!

I write about ML, optimization & CS, and... well, whatever I want or find interesting. I have a public backlog of projects and blog posts too.

I started it because I kinda like writing, but also because when I do write (technical topics) I enjoy giving very clear, fully understandable explanations.

Not a fan of the “here’s concept A, it’s very straightforward... we’re now at concept Z which as you can see makes use of A” style of writing. I understand it’s need and use, you can't always explain everything, especially if the topic is already very niche and highly complex, or maybe you don’t have the space.

I find that it lets me learn more or jogs my memory on other subjects when I have to fully explain and try to teach things.

Also blogging is fun!
DynamoDB Bite-Sized Best Practices
https://blog.libove.org/

I don't know what it's about myself. Mostly random thoughts and stuff I've created out of boredom. Also recipes I've cooked.
Whataboutism, and totally uncalled for.
Taiwan’s government bars its agencies from using Zoom over security concerns
Bare Metal Cloud Terraform Module
The ack handling (loose) seem to have some undesired corner cases. Apart from that the problem with conntrack is not semantics but lack of understanding.

This blog post aims to narrow the gap and explain in clear language what you can and what you can not expect from the conntrack layer. Pros and cons.
> Such compiler would require solving halting problem.

I don't think so. As long as false-negative results are acceptable. (i.e. it is ok if for some programs no proof if found even though they fulfill the specification)

Occasional false-negatives seem perfectly fine for real-world use.
Of course it does (implicitly!).

Otherwise the number of possible states of the Turing machine T that we want to check whether it halts or not is finite and we just have to "simulate" the program and see whether it terminates or it reaches again a state that it was already in.
Seeing https://knexjs.org down, personal GitHub Pages sites up.
Microsoft buys corp.com so bad guys can’t
Is jonesforth singlethreaded or does it utilize all available cpu cores? I only ask because a lot of these little baremetal languages just do the bare minimum needed to boot to a repl without exploiting the full capabilities of the hardware
Show HN: Open Source Mac app to take care of your eyes
> OPT jobs (capped at 1 year)

Minor nitpick, you get two years of extension if you graduate with a STEM degree.
Augmented Reality (AR) Is a Game Changer for Marketers
https://gavinr.com JavaScript, maps, data
This is good fun. Needs more music variety! Perhaps a new track every 10 levels or so, otherwise the loop gets stale!
I am http://codingbbq.github.io

I wanted to write to express myself better and create a home for me on the interwebs. Also I wanted to improve my technical skills and what better way to write my experiences and be accountable for.
https://pedro.cab

And I think you shouldn't read it because it's personal from my daily life and in portuguese, but the domain is really cool, so I thought I'd share it anyway.
FT ranking: the Americas’ fastest-growing companies
Take certifications. Not to get them, but because preparing for them will structure the learning better than anyone can in response to that question.
Here's their incident page for it: https://www.githubstatus.com/incidents/f3xzj5fgfq5b
I haven't played the game, but if it's well designed, there is a reason for that, and some level down the road will depend on this mechanism.
Dear god, you're a useful one aren't you.

Here's what the rules actually are, in the UK.

Under Regulation 6 it is an offence (during the emergency period – see further below) for any person to leave the place where they are living "without reasonable excuse".

Regulation 6(2) then sets out a non-exhaustive list of exceptions to the prohibition. These include, leaving the place where a person is living:
• to obtain basic necessities;
• to take exercise either alone or with other members of their household;
• to seek or give medical assistance;
• to travel for the purposes of work where it is not reasonably possible for that person to work from the place where they are living; and
• to avoid injury or illness or to escape harm.

Noticing that last one ? It's there for a reason. And if you don't think it applies to the situation of self-isolating from a pandemic in a remote village just remind yourself that you're not some special individual who gets to decide what rules mean.
Re. the scalability of such a solution - it is naturally limited by the amount of units rentable as well as the amount of people for whom such a retreat would actually make sense given their situation, risk group and current living accommodation.
It's the first one for me now.
Binance? the trading page? it always seemed scam to me, your emails are pure spam
> If you remove infinite tape, you go from undecidable to "just" exponentially complex.

Which is a huge leap - we got from "impossible" to "possible in principle" and we now can do research how to make it even "sufficiently fast" for problems of practical relevance.
Your fundamentals are broken. First of all, free markets didn't create this problem in the first place. So you can't just blame them for it nor do they have to be able to fix it to prove their overall validity.

Second, you are buying a bag of goods here.

> They've got the mindshare because they have spent a few billion in marketing

Is this so? I would doubt that. Also, as an aside, are you talking about America? Here in Europe it's different…

> so you have to carry what the public want

No you don't. You have to carry what your market wants. Sales of MS Office on the Mac have schown that "the public" wants it. But what does a Linux distro have to carry? Vim and Emacs.

It depends on your market…

> Now the choice is either coca cola or anything else. How will free market solve this problem?

It's called disruption. Examples of disruptors are Linux netbooks, Afri Cola, maybe Tesla if they succeed, and many others.

We can go more into depth with this discussion if you want.
> now dancing is banned. Or in the case of Cromwell, Christmas.

Also dancing. The Puritans weren't big fans of dancing.

Samuel Pepys diary starts as the Cromwell regime ends. While England remained an economic basket case that was at war with basically everyone, personal freedom dramatically improves in the early pages.
It's worth noting that it did all bring around a more constitutional monarchy; the post-restoration monarchy was substantially different to pre-restoration.
two comments:

1) the american TV news industry has slowly blurred, then obliterated, the line between straight news and editorial opinion. they're now often intermixed, with slanted analysis weaved throughout reporting. things like those news panel shows are particularly bad about this.

many people don't like to admit it because it challenges their centrist pretensions, but in the modern era, fox news started it and the remaining TV news outlets followed suit over the years.

2) but more fundamentally, there is probably no such thing as truly unbiased straight news reporting. the choosing of which facts to present is itself still an editorial process subject to human prejudice.
That "Verification of the multicore kernel" thing seems like it could use some bold, underline, and italics. I doubt it is as simple as adding an AArch64 model.
What applications are you building for COVID19?
Curious to know what projects other people are building for COVID19 that could be used by the general public. There have been a couple of interesting projects where software developers and other technical thinkers have released open source projects (like this one https://github.com/SolaceLabs/jhu-covid19-stream-processors and this one https://github.com/NovelCOVID/API). What have you, or your company, have built?
...Also I think you don't realize that formal inductive proofs can easily reason about programs operating with unbounded memory.
Who can explain this sh.. ?
https://www2.dramacool.movie/terius-behind-me-episode-10.htm...

Watch from 52:51 min - only 1 min

Serial of South Korea, 2018 year. I mean WTF???
> we can't seem to do anything any more?

I disagree. We do some amazing shit. Elon Musk runs circles around ULA. My own research, as a far smaller example, has scaled up nicely despite the fact that in the old model it should be virtually impossible to do any research in the career track I'm in.

Tech doesn't help people who are bored (boring?). But it is like hydrazine for people who need to get serious shit done on the fringes of society.
Marketing. And the fact that they are likely better than the universities most people would be exposed to in their home countries anyways, where the competition to get into the few decent schools is far more fierce.

The not so good universities spend a ton of money on marketing.

And some very good universities do too.

The American education brand was strong a decade ago, so any American university would be considered good. Further, people outside the US are often surprised by how many scams are prevalent in the US. The general belief used to be that the US was a largely sensible country where people did things the right way.
> no longer seem to advertise their primary mission as education, but as providing the “college experience.”

This was already really noticeable when I enrolled in undergrad 12 years ago at a large public university.

I think part of it has been driven by student demand for more parental oversight, but I also think the marketing is what got so many students to take out debt in the first place. So many of my undergrad classmates (perhaps even a slim majority) believed that undergrad was going to be the best 4 years of their lives and they had to make the most of them, which I personally found completely insane.

I also think that the financial system around universities warped in such a way that it became easier to establish direct relationships with parents as university became less affordable to those trying to work while studying. Not to mention the absurd amount of money and effort that universities put into alumni communications to drive giving back to the school.
The Norman and then English occupation of Ireland had a number of stages from the 12th century on, but Cromwell definitely marked a sea change.
A new form of brain stimulation relieved severe depression in a small study
https://www.daniellowengrub.com/

I mostly discuss interesting mathematics that has applications to engineering.
Not a blog per se but take a look at: https://artofemails.com/

It shares proven email templates to get clients, ask for referrals, etc.

Yes there are a lot of templates out there, but 95% of them sound template-y and could probably pass a reverse Turing test.

I find the key to what makes an email work is both in the ask and how you say it (sounding human sounds like it should be second-nature, until we find ourselves typing into that box with a goal to convince someone or sell something).
you are 100% correct. it was late and i just had this knee-jerk reaction.

This morning I had some time to gather my thoughts.
..see above..
You need at least two words of data to have a meaningful DDR...
I'm learning about solar PV energy systems. This is an awesome subject to learn.However,I'm having a hard time trying to find basic but comprehensive courses online. Any suggestions?
It's now on https://www.githubstatus.com.
I despise the fact that IE11 is still used, but it’s used by a quarter of our users at the large company I work at.

We don’t use Bootstrap, but hopefully this encourages the companies that do use it to usher their users to something more modern and secure.
I wish I had never backed this train wreck. The last 'update' I got from Atari was that they're building a cryptocurrency casino: www.casinoatari.com

That didn't give me quite as much pause as the "Atari Hotel" they were promoting a few months ago.
Only if your employer has already applied for your H1B.

It’s 1 and a half year, and the reason it exists is (a) most students graduate and start jobs after the current year’s H1B process is already over, and (b) if you don’t get your employment visa in the first round (since it’s capped at 60k), then they want to give you a second chance.
> What I wish I was able to achieve with it was to derive new and useful conclusions in mathematics.

That's a very high bar, and not likely to be reachable for quite some time. The most worthwhile, reasonably short-term goal in formalized mathematics is "simply" to completely formalize some sizeable part of the undergrad curriculum. (One should note that a proof formalization is publishable work on its own, because the process of formalizing a proof in some given system does help clarify the underlying working of it in a way that's not obvious from an informal sketch.)
I've written probably one interesting thing: http://blog.eamonnmr.com/2020/04/dont-remake-an-old-game/

A dire warning against fan remakes.
Why stop there? They should be forced to face their addiction to easily accessible government backed student loans. It’s essentially a blank check that the gov has handed universities, and the gov is the one left to collect the repayment.

And then we wonder why college is so expensive? The current system gives them every incentive to charge whatever they want.
I feel like the projects that rely on bootstrap are ones that have a larger IE audience.

I hate supporting IE, but that has always been the appeal of bootstrap for me.
The observability for Istio service meshes
I just noticed that GitHub uses https://www.atlassian.com/software/statuspage for https://www.githubstatus.com/ ("Subscribe to Incident" references Atlassian in the fine print). I remember when GitHub used to use GitHub Pages for their status page, and then they had an issue with GitHub Pages and they couldn't report on status. Oops! Makes sense to use a third-party service, kind of ironic that it's an Atlassian product, given the competition between the two. Looks like they rolled it out in 2018, over two years after Atlassian acquired Statuspage. https://github.blog/2018-12-11-introducing-the-new-github-st... https://www.atlassian.com/blog/statuspage/atlassian-acquires...
I think that one thing took away the other, that is, third world countries seek to subsidize but in the end everything will be counterproductive for the common good
Obviously current measures aren't sustainable for 6 months, or even 3 months.
The most efficient path seemed to be a BS in the home country, followed by an MS in the US, followed by employment in the US. The result is a lot of foreign students in grad school getting their ticket punched, while US students go on to work with a BS.
I can't access the documentation of Github, and my personal website hosted on Github Pages is now down.