skysight-inc/HackerNews huggingface dataset:
They actually added a daemon recently that should help to speed things up (https://mypy.readthedocs.io/en/latest/mypy_daemon.html) . Haven't had a chance to try it yet though.
Swift handles this exact problem quite elegantly with the "if case let" construct, allowing you to destructure sum types directly within an if statement.

https://alisoftware.github.io/swift/pattern-matching/2016/05...
Ok. I will. So? Am I supposed to believe that a technique that works fine everywhere but Linux is somehow unworkable in general?
Flixy – the social film and TV app
Why would it? You need to bootstrap allowed call paths, and whatever init does to do that, PID 1 in a namespace could do that too.
> white people commit way more crimes in the US

How is this even possible? Aren't black responsible for more than 50% of the murders despite being only 13% of the population? These stats don't add up.
Boeing Fires CEO Dennis Muilenburg
Well, traditionally, Jack was a nickname for John. So they likely named their kids John. Though I guess more often these days people give their children a nickname as their fully-qualified given name.
Most of the governments that would cut internet don’t care of the ordinary people starve as long as they can keep the military - ie the people who can either kill them or protect them fed.

This is also the reason that sanctions don’t work.
The Lumen Database SSL Expired
There are countless ways to improve the situation for the poor from being gouged in countless other ways. Telling the environment to fuck off isn’t among the more sensible ones.
For anyone who wants to try it, I played around with GOAP a little last year. Here are a few things I learned that might help someone else get started:

Represent your state space as a graph and run A* over it to find a “path” (or plan) from starting state to goal state. A simple heuristic to use for the A* distance heuristic (which I saw in one of the gamedev talks, I don’t remember if in FEAR but its likely it was) is to simply count how many variables are correct and use that count as the distance heuristic (they used simple boolean variables, if you use numeric values it may be harder, but I suppose you could still just count how many goal variables are met).

I also attempted to use prolog-style logic programming (in clojure’s core.logic) to search for a plan, but I never finished it. I guess I overcomplicated it by being too ambitious. I wanted the actions to be able to have preconditions like “have at least N of X” and the goal to have similar conditions and have the planner keep track of counts. It worked to a degree but I never finished it because it started getting too complex for my limited knowledge of logic programming.
I don't particularly agree with the author, as I think they are mixing up the mathematical theory and the computational part of it.

Yes you can pull Tensorflow and start creating layers without much knowledge in Algebra, just like you can use cryptography software without a PhD in Number theory, or apply Photoshop filters without understanding convolution.

But this is only possible because _other_ people do have that knowledge and distilled it down to a form you can use from the get go.
Rogue firms sell FAKE glowing Amazon reviews to online retailers in the UK
For anyone not following UK politics, the Home Secretary is basically the Evil Secretary. We've had a string of heartless authoritarian Home Secretaries (mostly women incidentally - for all the "if women were in power the world would be a friendly place" crew).

Priti Patel is probably the worst so far. There's a pretty shocking video of her arguing with Ian Hislop (editor of Private Eye) that we should reinstate capital punishment. So this isn't exactly surprising.
HN death grip
> If you have ever experienced a migraine,

... do you mean that there are some people who don't ?
For all the mocking apple did to Microsoft a decade ago for the cancel or allow? Fiasco... this las MacOS operating system feels exactly the same: every time some app is trying to do something useful with the computer I get 2 accept? prompts for the same thing opening a file? Access prompt. Turning on camera ? access prompt. Saving file? Access prompt.

It is super annoying.
Works intuitively in golang:

https://play.golang.org/p/pn2jBTaTNS8

package main

import (
"fmt"
)

// return a^n
func Power(a, n int) int {
var i, result int
result = 1
for i = 0; i < n; i++ {
result *= a
}
return result
}

func main() {
fmt.Println("Hello, playground")
x := 2
var powers_of_x []int
for i := 0; i < 10; i++ {
powers_of_x = append(powers_of_x, func(x int) int { return Power(x, i) }(x))
}
fmt.Println(powers_of_x)
}

//Output:
//Hello, playground
//[1 2 4 8 16 32 64 128 256 512]
I just spent three years driving around Africa. I visited 35 different countries all around the continent. [1]

The Chiense influence is staggering. I'm writing a book about it now. Many, many parts of Africa are developing faster than any of us can comprehend, because we've never seen it.

In the last ~20 years cities like LA and Vancouver have gotten bigger, but they're more or less what they were - there were skyscrapers, electricity, water, freeways etc. Now it's just a bit bigger.

There are hundreds of cities in Africa that have gone from dirt streets to modern city with skyscrapers, 4G internet, subways (or above ground rail), running water end electricity, etc. in just 10 years.

It boggles the mind

[1] http://theroadchoseme.com/africa-expedition-overview & http://instagram.com/theroadchoseme
Cashless payment went down in Germany (German)
That "changed some corner cases that likely won't affect you" and "rewrite it all" looks the same in SemVer makes it next to useless, not that any other system would be better. We just shouldn't have any expectations about version numbers conveying much information.
You can checkout what I replied to jchw. But tldr, wanted to do DOS => got ambitious => made it multitasking => got more ambitious => added graphics and guis.

Currently it's pretty barren driver-wise, I currently have a FAT16 driver, a keyboard/mouse driver, some basic code to handle core architecture hardware and that's it. I really want to have CDROM support, a network driver (ne2k or e1000), an audio driver (sound blaster?) and an actual file system.

My roadmap is go with the flow. If I want a text editor, I'll focus on building a text editor. If I want to play doom I'll port doom (but I dont so I won't :^)
I understand what you are saying, but the level of damage you are implying is way, way higher than the vast majority of students go through.

I say this as someone who was regularly bullied through primary school.

Social dynamics are important, and you learn best through experiencing it. If it's as bad for you as you are implying, that is a massive failure on the schools part and that sucks you went through it.
A low power mode feels like resource consumption improvements and a restricted data mode feels like a security improvement.

Workflows doesn't need OS support beyond the current regular API, does it? On iOS at least, it was entirely a userspace program.
you could look into SBA loans and put less down.
Mumbai Family Reused Shipping Containers to Build Low-Cost Sustainable Home
Will the United States Lose the Universe?
Replicating Apple's Activity App UI Using SwiftUI
Thanks. .Net Core, Docker, K8s.
"As the numbers keep rising, people are asking if it's a reflection of the school system, rather than a problem with the pupils themselves."

Got some first hand experience here. Hard to not be a bit sarcastic. Geeze, I don't know... Is it that the students of Japan are suddenly becoming stubborn (or "weak") or is it that a system that:

- does not fight bullying

- does not fight racism

- does not allow students any free time for any hobby

- does recommend to sleep less in order to study more

- does not allow to repeat a class and solely looks at date of birth to put kids in a class

could, possibly, have some impact on the well-being of kids?

But worry not: Japanese TV knows how parents can solve that! It recommends shouting and forcing sport on your lazy stay-at-home kid!
I wouldn't quit until you have revenue coming in.
Social order in modern Japan is ruthlessly maintained through group pressure, extreme enforcement of hierarchy, and deference to various forms of authority.

While many will try to tell you in some Orientalist fiction that this is inherent to the Japanese people, it’s actually more the byproduct of the postwar, American-designed order that rehabilitated the former fascists as a “conservative” parliamentary party and invested them with near unilateral power (including over schooling). Prior to this period and through various forms of popular resistance (up until about the 1970s), Japan was a hotbed of radicalism, producing some of the greatest artists and thinkers about the problems of modernity.
We went to church. It was low church though so no incense. For a while I thought I might be allergic to the church carpet. But even on the rare Sunday where we didn’t go to church I still got my migraine.
Chaining accidental features of Ubuntu’s crash reporter to get LPE
A content marketing metrics dashboard, what?
The only way to read guys who are shadowbanned is to enable "showdead" in your profile. You won't automatically read their comments even if you are shadowbanned yourself if you don't enable the showdead option.
I can’t understand why the Bazel team hasn’t learnt from Go team how to handle breaking changes. Bazel is an amazing piece of tech, but it can definitely be a lot of work to keep up to date.
>ToTok amounts to the latest escalation in a digital arms race among wealthy authoritarian governments

Why wealthy? You don't need much wealth to create a chat app.
"The New York Times used to be a respectable source. Of journalism. Then THIS happened. Here's why. You won't BELIEVE what they did NEXT. "
Ask HN: Which mechanical keyboard switches do you use for programming?
Do you prefer a tactile or linear switch? And of those types, which switches have done you well in the programming field?
23-Year-Old Indian Hacker Is Raking in Big Bucks Finding Bugs
That's a community built for the purpose of appreciating that specific kind of music. That's fine, but I'm talking about being able to talk about music with random people I've met for non-music purposes. It's no longer possible to do so.
I've never seen a product where even the people who run the platform pretty much hate it.

The only open question is that will Teams, which is at it's heart a bizarre mashup of SharePoint and enterprise IM/Voice/Video will eventually engender the same universal disdain.
I first thought this was a reference to 'monoculture' in the agriculture sector, and I'm also concerned about it surviving the algorithm.
“I gave that money so children wouldn’t starve, not so that you could at some point in the future win some Internet argument.” Unfortunately, someone stands at the ready to turn the works of others to their own purposes. Make a very big note to yourself when the story teller has no participation in the otherwise compelling story. (“My grandfather didn’t fight Mussolini just so we could...”)
What a load of nonsense.

When I prove, say, Cauchy's theorem about groups, it doesn't matter which concrete group I'm operating on to prove it. If I write a sigma to sum some vectors, it doesn't matter if the vectors are coordinates in 3D space, functions defined on an interval, or just numbers. Mathematical abstractions are pretty much the only ones that don't leak.

What, that you have to understand summation to understand what the sigma refers to? Well, duh. That doesn't make the sigma a leaky abstraction, because the sigma is not an abstraction at all! Not even a trivial one. The sigma is notation. And it's hardly news that you have to understand the concepts behind a notation to understand notation itself.

The author seems to misunderstand what an abstraction actually is.
"Ruby is an outstandingly productive language."

This. I recall ages ago when I had to write a networked tool and had lots of freedom in choosing tools and languages (and time), so I picked this new thing called Ruby just because it looked so easy to understand. That was years before Ruby On Rails was introduced, so the language was pretty much unknown. After some time to grasp the basics I started to be productive; making changes or adding functionality or debugging became really fast, and in the end I recall thinking "if only this thing was nearly fast as C that would be wonderful".
I believe that just happened. OK, maybe not 100% identical to Ruby or 100% on par with C speed wise, but just being close to that is a huge achievement. I only wish it was available for small embedded ARM boards like other interesting languages like Nim etc. Last time I checked, Crystal is bootstrapped, ie it requires itself to compile itself, which IMO doesn't help portability to new iron.
I'm actually a bit confused because I thought that predecessors to Visa would classify as the first credit cards in earnest.

This blog has an amazing history of Visa, as well as a very deep breakdown of its financials. Probably a very interesting read for anyone reading these comments.

https://minesafetydisclosures.com/blog/2019/5/29/part-l-a-hi...
> Physical size doesn’t constitute how much you can fit on a monitor. For example my mom thinks that a 25” 1080p monitor is going to let her fit more things on her screen than a 22” 1080p monitor. Don’t be my mom!

> The only thing that matters for “fitting more stuff on the screen” is the resolution of the monitor.

This is only true under the assumption that your eyes have infinite resolution. In the more likely case that they don't, the larger size of the pixels at a higher physical screen size means you need fewer pixels, with the result that you can indeed fit more stuff on the screen at the same resolution.
Language choice is an implementation detail. As long as the language isn't technically unable to do the job (ie you can't write a device driver in Python), it doesn't matter much. It may be intensely interesting to practitioners, but it's not a make or break decision. Use what makes the team comfortable.
Thanks but the code isn't that clean, there are hacks here and there and it isn't organized as clearly as I wanted to but feel free to look through it.
Hovering over variables in chrome dev tools doesn't show value. v79
I'll read the link shortly but I thought they moved to signal because of leaks...from members of the group in questions. Not from someone hacking their handset or capturing and de-crypting messages in flight?
Ask HN: Best Developpers Series?
What are the best series about coding for watching during Christmas holidays?
They work for some people. Maybe 30%? But they all have significant side effects. One neurologist I went to said he could prescribe me one of two. “One will make you fat and the other will make you stupid” was what he told me. I was in grad school so I told him I could deal with weight but I needed my brain. He told me I would be surprised how many people made the opposite choice.

In the end the one I tried didn’t work for me anyway...
Wayback Machine link from 23 Dec 2019: http://web.archive.org/web/20191223074202/http://cliffle.com...
Did you click on the link? It literally shows you how these stats add up.
Ask HN: How should I test backing services that change frequently/break my code?
Hi folks,

I'm working on a nodeJS application that acts as an API gateway for a mobile app being actively developed. This API gateway doesn't have any database, and formats/forwards requests to their appropriate services, then returns the expected response to the mobile app.

Obviously testing my code and mocking the backing services is necessary to make sure it works as expected. However those services are complex, aren't always stable, and sometimes changes are introduced to them that break the functionality of my API.

I'm wondering what the best testing/monitoring strategy would be here that would allow me to reduce bugs in my API, and in case of breaking changes be notified in order to make the necessary changes?

Thanks
I studied the philosophy of science a bit in university and one of my professors did some work on reactions in the scientific community to the Higgs boson discovery. I remember her remarking about how "this is a huge discovery" and "we knew we would see this; it's not a big deal" narratives were popular simultaneously.
As a relative newcomer to Python (compared to most, but I do use it professionally every working day for a year, and some non-working days for personal stuff), I find this to be the case. At work I have to use Django, and it's almost a chore to find anything explicit or obvious in it. Its level of abstraction is "Too Damn High" as the meme goes, IMO.

It feels like saving boilerplate for the sake of it which just makes obvious, readable code into magic incantations where shit happens and you don't know why or how or where to look.
When you take away all other shared experience, what remains is politics, the nuts and bolts of running a society. We've seen a surge in political extremism lately; one thing that drives political extremism in general is the inability to share non-political experiences with one's political opponents.
>over stupid things like imaginary lines drawn on soil.

Now consider how many people are hurt every year over enforcing laws that have just as imaginary lines drawn about other issues. Things like not being able to vote because of an imaginary line. Not being able to buy alcohol. Being forced to go to school where you have no rights to protect yourself from being harmed.
This is actually a common mindset in countries where a generation remembers famine-level poverty.

I once discussed with some friends from various backgrounds on the merits of doing higher education or going in for your passion after high-school and a friend from a remote countryside in Mexico explained "well, for me it was straighforward. Either I go to university, or I do farming my all life."
Boring CEO Resigns
It's an interesting bit of science.

Stars like that are really common and very long lasting so in the long view those might be the places most likely to harbor life.
John was a professor of mine, so I'll defend him a bit here :). To be clear, he's certainly a contrarian, and has a fairly pessimistic take on modern scientific progress.

I pushed back in class quite a bit about his 'End of Science' claims, and we disagreed frequently - but his actual claims are usually not as strong as they're made out to be. He simply doesn't see the same sort of practical gains being made from scientific research that we were making in the 19th and early 20th century.

If we look at the research being produced by obviously impressive scientific endeavors like LHC - I think you can see his point. We're obviously gaining knowledge, and negative results are still valuable, but we're investing more and more to make incremental progress in many fields and the actual research is becoming less and less accessible to the average person.

Anyway, it's not my job to defend John's work (he's more than capable of responding to critics) but I always found him to be interesting, patient and encouraging to his students. His class was one of my favorites and even if I disagree with his claims overall I don't think they deserve to be dismissed so readily.
I just bought a Choose Your Own Adventure book a few days ago: it has exactly this graph on its back cover now.
> gastroenterologist

Just saw this. I'll do that when I can afford it. For now, it's over the counter for me.
Parsing 18B JSON Lines with Go
"Optimism Bias" improves our mental and physical well-being. Biases are irrational, by definition. Our mind is supposedly rational...and rationality is not always to our benefit.

This kinda blew my mind when I was reading up some philosophy. My key takeaway was that rationality and logic is not always helpful to make decisions, esp. when it comes to complex systems such as people (i.e. relationships). As an engineer, it's tough to get past this mindset. On a daily basis I am striving to disconnect everything as much as possible because of scale and performance, but the human brain is nothing like that.
Show HN: Top Digital Products from 2019
O2 to offer phone calls in London Underground tunnels
EPFL EE-559 – Deep Learning Course
There was a good reason for Apple to fire John Ive

* butterfly-switch keyboards are uncomfortable for many and unreliable
* touch-bar was missing esc-key driving many pros away form Macbooks
* Apple TV remote is beautiful, but entirely impractical
* MacBook Pro 2018 and Mac Pro 2013 had cpu overheating issues
* until releases 2019, iPhone and MacBook Pro had less that day battery life for many users
Ask HN: Escaping comfort trap after getting rich?
This is #firstworldproblems and I am ashamed to ask it, but it's worth a try.

I was working as software engineer til 2015, when I made a bet and invested most of my savings into BTC (about $70k). Then in 2017 the value got up and I cashed out at the right time (around $3m).

I didn't plan to get rich from BTC and it happened out of blue, so I simply proceeded going to the office for a few months. Then I noticed I'm annoyed with some parts of my job, some tasks are tedious and kept asking myself "what am I doing here, i have enough money to not work".

I quit my job on Dec 2017, now it's 2019 and I haven't been employed since. I have lost touch with most of my social circle (I've been a "nomad" last 2 years) and colleagues (since I'm not in the office anymore).

My tech skills deteriorated - turns out I didn't enjoy programming as much, and I can't make myself to keep up with the news (reading manuals and debugging for hours now sounds way too boring).

I cannot make myself find another job, as I don't need one to survive and I dislike office routine (waking up on time etc) even when I like the project. My monthly expenses are low, I feel financially secure for next say 20-30 years.

I fail to engage with a new goal, as I feel too comfortable. I remember before 2017 I've had truly happy days here and there. Solving hard problems, meeting up with friends after work, water cooler talks etc. Now days are grey and bland.

If I sound like an ass, just ignore this post. But I would appreciate any advice, especially if you have been in a similar situation and can share your story!
I thought that too, but then read the second paragraph:

> That finding was independent of other factors thought to influence life's length — such as "socioeconomic status, health conditions, depression, social integration, and health behaviors," the researchers from Boston University School of Medicine and the Harvard T.H. Chan School of Public Health say.
> As an engineer, it's tough to get past this mindset.

Seems that way considering how you're being downvoted. A shame.

As engineers, we should be more concerned with what actually works, not with what works inside our heads.
Yah these were huge as a kid in the 1980s.

There were also these combination choose your own adventure/RPG books. It was an RPG where you rolled dice and fought monsters but the book acted as the DM so you could play by yourself.

Living out in a rural area having no one else to play D&D with those books were really cool. You had a limited # of plays on the book but more than one, and back then as a kid you didn't have the expectation of instant gratification & constant new stuff & content so it was fine.
I've read up on how luajit does garbage collection (in fact the current gc/allocator with allocation/marking bitmaps is inspired by his tri-color gc. Apart from specifying when the GC should run, I won't be changing anything about the core gc algorithm used in the project anytime soon.
"Let's order another few bottles of wine."

"Can't, we didn't bring enough cash with us."