skysight-inc/HackerNews huggingface dataset:
Thanks for summaries.

Inside China there are many years of experience of helping poor areas get out of poverty. After years of failure it has been widely known knowledge among developed area people that many historically poverty areas became poor largely because of the local people and subculture of the areas. Policies that very close to charity donation don't work

I'm not talking about ethnic minority areas. It might be a big surprise to outsider that there exist such big differences among Han Chinese. Yes China is a big country with a big variety. There are less competitive and lazy Chinese Han people. Because all are Han Chinese there is no political correctness as taboo to talk about it. That's why the
hard lesson is well known that a strong socialist policy like give a way free money will encourage the poor people stay in poverty. That can explain the Chinese aid to African usually in the form of loan. Interest can be low but it's very important that the money need to pay back so the borrowers will force to take responsibility and be accountable to get out of poverty. Free money doesn't work. Now the loan is distorted as "loan trap" in MSM which a lot of Chinese who know the lesson see as "blatant lie".

Today with enough tax money the government can afford implement many socialist/liberal policy but still focus on build infrastructure , reduce tax, even provide free house, usually not free money. Maybe there are some exceptions mainly. Total capitalist policy also have problem. There are always less competitive people that can not catch up any way so they need charity like support. So mixed policy should have some balance.
Almost all of them are just version bumps. We wasn't needed anything for a year of usage.
Hmmm... AMB probably is sufficient for a toy version of Prolog.

I feel like anyone actually implementing prolog will need to fully understand horn logic. AMB is a useful operator when the specifics of the backtracking search can be abstracted away.

But an "actual" prolog implementation needs to have a well-defined depth-first search over the horn-logic clauses. There are a lot of optimizations to make horn-logic solvers way faster.
If you're not Dijkstra, Hoare, Knuth or a principal contributor to the language's design, I would refrain from "considered (harmful|anti-pattern|…)."

It's hyperbolic and frames your position in a way that's likely to create poison. The people without enough experience & knowledge to evaluate your argument critically are likely to end up parroting it and looking like fools. The people who can evaluate your argument critically are going to scrutinize it much more carefully because you've taken an absolutist position.

Unless you have the knowledge & authority to really make such an absolute statement you do yourself and your readers a disservice.
I certainly yelled as loud as I could on the way down.
I think a large portion of the issues surrounding pilot pay are

1. Airline companies are few and far between, it's basically an oligopoly and getting black listed by one company might impact your job prospects in another

2. Pilots invest a lot of time into qualifying for their jobs and the sunk cost fallacy traps them into looking for jobs flying planes.

Also, there might be some strong self-motivated reasons, not wanting airplanes to go without pilots due to altruism, just generally enjoying flying... These aren't IMO strong financial drivers so they seem like weaker points, but they may provide some influence.
block cookies on medium.com domain, which has the added benefit of defeating their tracking across the web.

this works on many other sites as well.
Neoliberalism is normalising hostility
> There are almost no real world ramifications from the words he writes on Facebook ...

That is the point of what Bashaw is saying. He's saying that Zuckerberg's writing is ineffective because in Orwell's phrase from Politics and the English Language:

The great enemy of clear language is insincerity.
Prolly hire this guy.
As you have admitted in your post, that there is a none zero chance of humans becoming extinct. Don't you think it would be worth it to have some non-zero portion of the population and global budget working on ensuring our survival? Also, there are many commercial benefits that can be realized, not just idealistic ones. Mars has alot of deturium which could prove useful in fusion, it's lower delta V makes it a prime logistical hub for mining the astroid belt, etc etc. Read a plan for mars, and i think it will change your perspective.
An editable collection of rarely used JavaScript features
I guess you are getting downvoted because it would be really really hard to know if the all of the right 1s and 0s you need are there without restoring.
Well or solve the perceived problem and use the solution (their "returns" library)...
And it's been "coming later" since at least this time last year when it was called eul.
A repost of an old comment of mine with some good sources of the late Dr. Rosling's:

Factfulness is available, for free, here: http://www.factfulness.science/

The late Dr. Rosling's website is fantastic and a good example of easy to use GUIs for data science. Play around with the data yourself here: https://www.gapminder.org/tools/#$state$time$value=2018;;&ch...

Try taking the quiz here to see if you are smarter than a chimp: http://factfulnessquiz.com/

I'd encourage everyone to read Factfulness. It's fairly quick to churn through and very enlightening. The world really is getting better.
Ok, we changed the title from "Fast, free, low memory, native desktop client for Slack, Messenger, Gmail, etc."
I suspect a big savings comes from not being basically a web browser running a webapp.
Google for "occupation iq" readily finds many surveys of different occupations with a fairly expected correlation: Professors and scientists on the high end of the spectrum and laborers on the other. Software engineers/CS isn't at the top but tends to rank fairly highly.

However, narrowing these stats to a single person as meaning "if you have a low IQ you can't be a good engineer" is incorrect, as that is totally throwing out: 1) IQ being only a single of many factors (reading about this from people in the field, I often hear IQ cited as the best single predictor we have, but still only accounting for ~30%) 2) IQ can change 3) IQ doesn't include domain knowledge, determination, or any other factors particular to a specific occupation.
If it's not too much trouble which VPN would this be? I know of some that offer crypto payments but a real user recommendation is always welcome.
Could you name them? Especially those that find more stuff than the others along with how you rate them on false positives?

I try to collect data to pass on to folks interested in trying static analysis.
This is the expected market reaction when the market is free, but if there is a oligopoly effect in play it can distort this and defer that response.

The average age of airline pilots is going up very quickly though, so these terrible practices will eventually illicit a market response, since nobody (or very few people) actually wants to do this.
LA-SF High speed rail project cancelled by Governor Newsom
I wonder how those who have the ability and know-how to transition jobs and roles, who stay in their current situation that doesn't have an impact.

It is something that haunts my mind. How can you sit, working in a location that you know is not furthering anything, has no fruitful outcome, and is not going to change or push the needle in any way. The ship is sinking and you refuse to budge, but it's not your ship. You have no ties to this ship. The are others reaching out a hand saying, hey, look, our ship is actually stable; making change. Yet, the person still decides to stay aboard against all intellectual odds. Is it fear? Is it stubbornness or pride?

I'll never know.

Note: This only is about those who can change careers or jobs easily, in high-tech locations, where it occurs frequently. Against that, they stay, on a sinking ship. This post only refers to them, as I can easily understand others in a similar situation but with no way out or the ability to create a way out due to circumstance.
There are unofficial clients for the WhatsApp Web API. You could easily build something around that, though it's likely to break often.
Contrasting C and Rust completely misses the issue. Yes, obviously Rust will do away with some important classes of bugs and security vulnerabilities, but it's got nothing to do with addressing the problem. The problem is that there are billions of lines of C out there, and it will take many decades to replace them with software that's written in a memory-safe language. The issue is what do we do with all that existing software, as rewriting it at any reasonable cost or time frame is simply not an available option. A possible solution could be something like sound C static analysis tools that can guarantee no overflows etc. without a significant rewrite. The question we should be asking is how easy it is to use those tools, how scalable they are etc.
> So, the sad conclusion is: all problems must be resolved individually depending on a specific usage context.

...and that's a good thing.

Recognising that specific usage contexts require specific recovery strategies is a key part of effective program design.

Division by zero is an exception, yes. That's basic math.

Getting to the point where one of your inputs is "bad" (zero in this case) shows that you have a problem. You should either catch zero up front with a conditional or catch it when it blows up, with an exception. Python favors the latter.

But without context you don't know what that bad input means and so you cannot "fix" division by zero in the general case because it isn't the division by zero that is the cause of the problem.

Asking "what should a division by zero actually return?" is the wrong question asked at the wrong point with the wrong information. Does the zero indicate lack of initialization? Does it indicate an empty container or volume? Does it indicate absence? How much of a problem to the logic of the program is this particular zero? How much of a problem is it for the person running it?

So while I personally dislike exceptions and prefer return codes, exceptions are just the messenger here and they are an effective messenger. Don't shoot them.
My experience may shed some light on this:
I use pgdump to make backups of an important PostgreSQL server and I thought I was done. Then the server died. I then used the standard import... but it failed.
This was a while ago, but pgdump didn't preserve/escape some of the weird quoting in my strings or I (most likely) didn't understand hot to use pgdump properly. I hand to manually figure this out and fix the strings in the file before it would import.
If I had tested the full restore, then I would have not have had to panic. Thankfully pgdump didn't throw up it's hands and not emit the strings - they would have been a decent and reasonably sane choice as well. I got lucky.
Agree. Over many years I realise I actually found waterfall great as a dev. There the worst that could happen was a clueless PM poking in every week and having to be given a vague estimate of how done we were with various tasks. Sure, it probably sucked for that PM, but I was having a good time. Now? Sometimes having to meaninglessly sum up where I am with a piddly ‘agile’ task MULTIPLE times a DAY. It takes more time to update jira/managers/coworkers than to just do the damn thing. Really winds me up.
To me, Bitcoin seems like an ecological crime that abets other crimes.
Installed this and logged into my Slack, while it was loading messages it crashed. Oh well.
Looks promising.
But will only be Open Source in "2021" according to https://github.com/voltapp/volt ... until then it's a root-kit for all we know that people are voluntarily installing.
Interesting back story on why he created the "V" language to develop Volt:

"Originally Volt app was written in Go, but after a couple of weeks of development I decided to re-write it in C for two reasons: easier integration with existing C graphics and UI libraries and much smaller binaries. The app size reduced from ~5 MB to ~100 KB.

C development is not very productive, so I spent two weeks in October 2017 to create a very light and minimalistic language that can seamlessly interop with C. I called it V (the name is not final).

V compiler is written in V. The language will be open-sourced later in 2019."

-- https://volt.ws/lang
2012: https://news.ycombinator.com/item?id=4370904

2013: https://news.ycombinator.com/item?id=5435862
Doesn’t static analysis requires static typing? There certainly has been a strong resistance to the introduction of static typing in the js community.
How come nobody has reverse engineered the iMessage protocol properly? Is Apple using any hardware stuff to prevent this? I think an unofficial iMessage client appeared a few years ago, but it was very closed source and I don't think it worked for very long
Vickrey (or any) auction doesn't solve the problem if the amount of supply is greater than the amount of demand, which is the common case in software.
Also used to be known as a browser.
In what way is this aiming to control programmers? This person is explaining how they would have experienced a difficult bug but a certain technology helped them avoid it. Seems like it's just "offer[ing] better tools".
Part of the problem is that each shop has different conventions & preferences based on existing products/apps and domain-related issues. An out-of-the-box solution probably won't work well without tuning it for the shop, but there are often too many "knobs and dials" to know how to tune well without a big learning curve. A mix-and-match kit along with some sample reference apps may be a better approach rather than a sealed black box with lots of knobs (like Visual Studio). I'll consider your offer. Thanks
Do you believe this would be worth it? Do you think our society does not have sufficiently advances technology to start a self sustaining colony in the desert? I think it would be absolutely trivial, and i'm pretty sure someone has already planned this out and decided against spending the money.
Even the edit seems misleading; might as well just say "Volt: Fast native desktop client for Slack and Skype".
You are getting downvoted because there is more to it than just "practice".

If you haven't restored from a backup before, you don't know if it's possible to restore from that backup.

> As long as you know the 1s and 0s were properly written ...

How do you know? Did it actually write properly? If so, was the data you chose to write the data you actually need to fully restore?

You might be able to do certain tests or checks to determine this to a high degree of probability, but there's only one test that will tell you with certainty, and that's actually performing a restore successfully.
> Sure, practice restoring is ideal but anything is better than nothing.

Practicing restores is mandatory to confirm integrity. Any other form of backup is ceremony.
Ask HN: Domain Specific Hardware – next big wave?
Intel's Spectre/Meltdown bugs happened because of a desire to keep up with Moore's Law, IMO. Because of physical limitations the optimizations to improve CPU performance also decreased security. Industries reached a tipping point where security couldn't be ignored any longer for increased clock speeds. Spectre/Meltdown were a wake up call. Intel isn't necessarily a bad actor. They were tasked with creating a general purpose ISA to meet the needs of all customers while improving the performance of their chip-sets in all domains using their hardware.
Since a general purpose hardware and ISA isn't going to see much improvement from here on out, there needs to be a shift in the way we make improvements. Intel tried keeping up with yearly CPU speed increases but opened security holes. Now we as an industry are taking a step back to re-evaluate priorities and find new ways to progress.

Here is my "Ask HN": Since security is in the spotlight now (rightfully so), will we start from a more secure open source instruction set (RISC-V perhaps)? If we've reached a wall in terms of general purpose computing is the following chain going to be the next wave/market for computing once cloud/big-data slow down?

Identify a domain -> identify a type of problem in the domain -> build a language to optimize for said problem type -> build an instruction set to optimize for said language -> and finally, build hardware to optimize said instruction set
I think there might be another lucrative market for this technology. Creating low CO2 environments in corporate (or other) buildings.

There's a ton of anecdotal (e.g. [0]) and some scientific [1] evidence that elevated CO2 levels has negative mental effects. If you could prove this effect and make office workers 1% more effective that would be worth millions to a company like Google, before you consider the advertising, recruiting, tax credit, etc advantages.

PS. I think this is the most dystopian business idea I've ever had.

[0] https://news.ycombinator.com/item?id=18959796

[1] This seems to be a good survey paper. Download button at top right doesn't require a login https://www.researchgate.net/publication/311844520_Carbon_di...
The polarity of comments between this post, and the driver post, scares me.
It's definitely a blog that exists to highlight the product. I don't think that's a problem.

But with respect to Zuck, you don't need very sophisticated arguments. The PR team's process is very simple and the article captures it well. It boils down to a mad lib style narrative that consists of: "<Demonstration that I am Smart><Lofty Mission><"We" do stuff (key item: "I"==vision for a better world, "We"==action)><Sorry><Not Sorry><Commitment/Point of Pride/Forward Looking Vision>"

End of the day, discerning readers spot nonsense speak, cynical readers perceive the opposite of whatever is being said/implied, and casual readers get a hit of positive perception that FB wants to project. Every company and every politician does it, but Zuckerberg's formula has a unique tone that stands out more.
This is a decent source but the original blog post would probably be better

https://journal.burningman.org/2019/02/philosophical-center/...
Formal specifications can do all that if you build thetoing for given language and platform. Static typing is a subset of formal specifications. I suggest using the other phrase so they find more interesting stuff. Meyer's Design-by-Contract is an easy one you can do in basically any language.
Because their writing system is a huge hassle, numbers look good.
Yeah, I tried the native Linux app for Signal and while it works its also a huge resource hog. So much so that my machine started swapping when I had a browser open alongside it. For what is effectively AIM + encryption. This is the future that people warned us about back when Node.js was new.
LOL

As I was reading the complaint about net 90 I was thinking about GE and the unheard of 120 day terms. I'm glad it isn't just me.
To be clear, unlike many people it seems, I don't disagree with the principle of differentiated pricing, because I value the upside - cheap marginal seats. And indeed I'm not disputing that tickets are contracts.

I do think that it's reasonable for people to assume, up until now, that tickets are options - that if you no longer agree with the terms before you've exercised it, you can just discard the ticket. That's the only real point I wanted to make, because you made it sound as if it's obvious that tickets may reasonably come with positive obligations to exercise, and I didn't think it was obvious to non-lawyers.

I found it interesting that https://en.wikipedia.org/wiki/Ticket_cases talks about retaining the ticket being a condition for being bound by the contract, that using the ticket is equivalent to signing the document, and whether a reasonable person would have known about the terms. Sounds like there could be some edge cases in there, but I don't have the education to be enlightening.
Well, I see the problem, but then, a search site that doesn't allow you to use effective filters is ... kinda useless?

Though I think there is a more important thing to note here: Maybe you should explicitly support handling of unknown values in the UI? Failure to do so is IMO one of the biggest problems of most specialized search sites.

Sure, there are attributes that cannot always be determined reliably if at all--but instead of either ignoring the attribute completely or forcing it to "false" or "true", or some other explicit value, why not allow the user to specify whether entries for which the attribute is unknown should be shown? That way, if my requirement is proper IPv6 support, for example, I can decide whether I am in the mood to wade through tons of crap, but still have you filter out all entries for which it is known that proper IPv6 is not supported, or whether I want to ignore those and only look at the (probably more expensive) selection of providers that clearly advertise that their product isn't broken.
I don't think this is a good general saying, most activities that we're performing have discoverable local maxima we can achieve... or most people will achieve, by varying their technique to observe how much better/worse easier/harder the task becomes. That said something like an instrument that is very highly tied to developing memory muscle is definitely something you can learn _wrong_. Similarly any activity where actual execution of the task is expensive/infeasible (combat for instance) also benefits a lot more from instruction.
This is to suggest that the answer is local, and can be solved in the household.

My argument is that our entire economy needs to reward this behavior, because the entire economy benefits from it.

Localizing the solution prevents those who gain the most from not having to pay for child care, education, food and shelter for a future workforce from helping to pay for this extremely important part of our economy.

The money that I earn at work is the money of my wife and I already. My point is that the economy should be rewarding the work that she does during the day while I'm doing my office work.
Something like this likely won't be a part of a release or on the Go release schedule. If it's made, it will be a separate tool with its own release schedule (I suspect).
Oh for sure. I'm not a developer myself though so I don't know whether there are capabilities you lose such as common libraries and whatnot, and what the trade-offs are there. For all I know it includes or eschews certain javascript that's notoriously bad, or has to reach out to Slack for emoji calls, or whatever. A couple hundred words of documentation on this topic would really help me understand the product better.
Because ecosystems are driven by mindshare (popularity), convenience, adoption potential barriers, public shaming (eww, that's nasty, but .. people are people), and other psychological micro-foundations. Basically it's a cold war of persuasion. Sometimes leading by example works, sometimes by showing how awesome, cool, fast, safe your shiny stuff is, sometimes it works by appealing to people's sense of the "greater good" (how many Korean, Chinese, Iranian, Saudi, etc. democratists are in secret prisons, because broken C code).

And of course there's some truth to it. Look how Py2 is still not dead, because rewriting twisted is hard. (Which no one said it was easy.) And how long it took for distros to make it the default, and how long it took for anyone to not default to it. And of course there were people even complaining about how Py3 broke all their nice code that worked before by accident.

So if collectively everyone had made a push some years ago, we would be long over. But of course organizing these things is an even bigger problem than just sitting down and firing off PRs to twisted.
Structure is just as important as _design_ or _style_.

Just different stages of _the process_ or _development_.
1991 – a server-side web framework written in Forth