skysight-inc/HackerNews huggingface dataset:
I cannot reconcile your claim with my understanding of the formal proof. We are asking for a guaranteed consensus, perhaps you are merely asking for arbitrarily high probability of consensus.

Can you point me at an algorithm that guarantees consensus? Your claim seems to be at odds with the formal proof in the article. I particular, the article already allows for encryption, timeouts, and defaults.

So I can't see how you are right, and would appreciate some additional information as to why you think the article is wrong.
Only in available ways. When it is easy to update the situation (add place to map), I do it. But it's only easy to label areas and buildings, and much harder to add whole villages or roads that are missing
On second thought - let's get rid of this forwarding feature altogether.

Personally, I've only ever received jokes an memes that were forwarded...
My second post here on ycombinator. Hope you enjoy, feel free to leave a comment or a suggestion.
A fire? At a sea parks?
It's not. Democracy has problems though. The Bill Of Rights is undemocratic. It says that there are some things you can't do even if you can get 50% +1 of the population to agree to it. Federalism is undemocratic when the States interact with the Federal government but the upside is that it's harder a majority to run roughshod over the minority.
How is it that how you feel about yourself does not matter? It matters quite a bit. I also never said to bury your head in the sand and not improve anything? What I am saying is actually the exact opposite of that. Let me give an example: suppose you wanted to get in shape by going to the gym. You can sit around and think "I'm so out of shape", "I'm going to embarrass myself at the gym", "I won't be able to keep it up", etc. None of this is helping you with your original goal, which is going to the gym and getting in shape. Not only that, these thoughts are driving your mood down and making it less likely you will follow through on your plans, not more likely. These are the exact type of thoughts which depressed people deal with every single day. You can't just force them to stop occurring whenever you want, this is just what depression is. The ideal would be to change whatever core beliefs and assumptions are leading to these thoughts, but making that change with therapy can take a very long time. What you can do is take a more proactive approach early on to recognize these thoughts when they occur and deal with them every single time they come up (which will depend on how depressed you are). This may not stop the thoughts from occurring but you will have a strategy to keep yourself from self-defeating behavior.
You’re talking about India: where slavery is alive and well, college girls are locked in at night and rape/domestic violence goes virtually unpunished, with police as “quality” as those in Afghanistan. VICE did a piece on this. Also, sectarian violence there is normal.
Paywall bypass link:

http://archive.is/UUhj6

HN FAQs [1]:

It's ok to post stories from sites with paywalls that have workarounds.

In comments, it's ok to ask how to read an article and to help other users do so. But please don't post complaints about paywalls. Those are off topic.

[1] https://news.ycombinator.com/newsfaq.html
So on the moon it might work ;)
But some donators may agree to hire an inefficient volunteer, you can't tell that everyone agree with that cult of performance.

> Long to short, the website "loses" over $500 per week in donations. Had the NPO paid for a better site their ROI and general goodwill would be much better.

That's hard to prove.

Anyway, what we could do is forcing NGO at even more transparency, and then provide tools to donator to compare them from all points of view. We should give more tools to donators, not investors.
I've tried several different, SimpleNote, KeepNote, EverNote... and so on. I have come to a conclusion, that using the default iOS note app is enough for me. Using paper notes while @lectures and rewriting them sometimes to Notes.

I'm also using another method of note taking, which I prefer more, but which is not always accessible on the go. I stumbled upon a script here and modified it a little. (changed vim to nano and added some other):

#! /bin/bash
fpath=$HOME/notes.md

if [ "$1" == "cat" ]; then
cat "$fpath"
exit 0
elif [ "$1" == "rg" ]; then
rg "$2" "$fpath"
elif [ "$1" == "nano" ]; then
nano "$fpath"
elif [ "$1" == "--help" ]; then
printf 'Commands: \n-----------------------------------------------\n
$ notes \n
$ notes --help\t\t--\tdisplay this help\n
$ notes date\t\t--\tadd date row to notes\n
$ notes <text>\t\t--\tadd new entry \n
$ notes cat\t\t--\tprint notes using cat\n
$ notes rg <pattern>\t--\tripgrep notes\n
Remember to use #tags (for easier grepping)!\n\n'
elif [ "$1" == "date" ]; then
{
echo ''
echo '# '"$(date +"%m-%d-%Y-%T")"
echo '-'
} >> "$fpath"
elif [ "$1" == "" ]; then
less +G "$fpath"
else
{
echo ''
echo "$@"
echo ''
} >>"$fpath"
fi

In short, writing $ notes prints out displays the notes and writing $ notes <text> appends a new line. This is extremely powerful because of it's simplicity and easy accessibility in terminal (where I spend most of the time anyway)

edit:: formatting
edit2::

I very often keep this (with extended bash history) to keep notes about long commands I need to use later in the future, but not often. One had to do with imagemagick and resizing/compressing bunch of images in a directory. Added tags #imagemagick #command and in split of second I can get the command again whenever needed ;)
Rust doesn't really have a way to control for effects in functions. The type of the function doesn't define what the function can do. This I think is the biggest problem coming from haskell.
Legal ground for the prosecution of individuals who participated in mob lynchings exists but is rather weak at the moment. The source for the above statements is https://www.thehindu.com/opinion/lead/its-time-to-enact-an-a...
Factually false but effectively true? I understand what's trying to be gotten at with the statement but it's not exactly laws per se. It's more a power dynamic but quantifying that is a bit tricky.
Better late than never as was noted in the article. As an old school capitalist, more competition is beneficial for users. Moreover, I'm happy to see that local content will benefit from this as there are quite a few cool german language shows.

They just need to get the pricing down right but maybe this could be another startup idea - offer a single monthly subscription to all VOD services, heh.
... which would realistically mean including the play store, which would mean having to pass google's requirements, which would mean relatively few modifications, no own store (i think), and including google apps.
doesn't seem like something ms would really like to do (interesting bit: they once shipped a version of android themed to look like windows mobile).
I switched to Bear after having significant sync problems with apple notes (it was fine in iOS 10 but never ever worked properly in iOS 11). It was always OK on my Mac.

From various Apple support forum requests it seems that a lot of people were having similar - but also a number were totally unaffected.
How are you using vim on iPhone? What terminal app is that?
Org-mode itself is an Emacs addon, so it's not surprising that you cannot run it without Emacs. Emacs and org-mode are much more stable and much less likely to die than any other software, and that's precisely why I'm using them for a decade already.

The org-mode file format is plaintext, just like Markdown, and you definitely can edit and view it with any text editor. You will obviously lose the convenience of org-mode, though. Additionally, it's simple enough that you can easily implement a parser/importer for any other software.
I think they roughly define what reasoning is. Deducing something from abstract information.

I don't think they have really captured that with this work. They generated some data according to some rules and fed it to a recurrent neural network, which is meant to be good at this. It seems pretty standard. I don't think it gives much insight to how "reasoning" works, or how neural networks work.

These things were originally inspired as a crude approximation to how a real brain might work. However a real brain probably has far more interconnections and recurrence. Should I be surprised if it can capture some of the real behavior?
I find a single pane outliner the best for me. You can nest, group and move ideas around quickly. For windows, the best still is Ecco Pro. It's a free software written back in the 90's that has an awesome outliner. I know there are many other windows based single pane outlines but I have not used windows for my desktop for several years.

On Linux, which is my primary desktop, I use Ecco Pro on Wine.

If using OSX / IOS, I would recommend Omni Outliner.

Regarding two pane outliners vs singleness pane, I simply don't find the fragmentation of information across two panes intuitive. This may be subjective though. To me, having all information in a single tree, flows much better when brainstorming.

For Android, I don't have many good options for Outlining and therefore a regular note taker for now that's Evernote.
WhatApp is owned by Facebook. Google the main competitor of Facebook. So a new strong mandatory integration of WhatsApp with the Google cloud is very very strange. Do you have an screenshot? May it be phishing attack?

[Anyway, I'm pessimistic and I always assume that all "private" online conversation will be leaked sooner or later, just assume that they are "delayed-public".]
The whole point of the problem is that you're not allowed to use timeouts and stuff to get a work around. Adding timeouts etc fundamentally changes the situation. The distributed systems on the Internet you see do not solve the problem - they work around it, basically by adding failure modes not present in the original.
In 20B years, HN users would be seeing this in their mind's eye !
>With the help of my time machine, I'll switch Alice's input from 1 to 0. This execution,
E
k
+
1
, is indistinguishable to
E
k
for Alice, so she still outputs 1, as does Bob. Next, I'll switch Bob's input to 0. Again, this execution,
E
k
+
2
, is indistinguishable to the previous execution,
E
k
+
1
, for Bob, so both Bob and Alice output 1.

This is wrong. Alice and Bob should be switched.
What would be a better approach, inabsence of other data points?
You make an interesting point about types, but

> (2) in terms of macros, anything more complicated than lazy evaluation of thunks and kiddie examples is out of reach

I've seen and built tons of exotic stuff with macros. On Lisp builds a Prolog compiler if you want a specific example.

Your point about types makes me curious about LINQ. Brings to mind Julia's generated functions.
Like the old cursor debate: Is the cursor ON a character, or BETWEEN two characters?
Why can't these sites implement a 'are you sure?' check before letting users repost fake news? Do a lookup on Snopes or similar and provide that along with information that informs the user of legal consequences of participating in the sharing of false information if harm results from it.
An org-mode subset comparable to Markdown isn't more complex than Markdown itself.
I hope they are aware of, and have a plan to mitigate, Goodhart's law.
I held Fairfax shares through much of the shorting incident the article mentions and there are significant differences - Fairfax was a basically profitable company and the shorts were arguing that their accounting was fraudulent which turned out not to be.

In the case of Tesla the arguments are different - that it won't make much money because model 3 production is delayed and Porsche and BMW are launching competing products. Time will tell I guess. I haven't seen them do anything outrageous like sending a private investigator to harass Prem Watsa's pastor. Prem sued them for $8bn after that and quite rightly I think. While he lost, it probably gave the shorts second thoughts about those kind of tactics https://www.vccircle.com/prem-watsa-led-fairfax-loses-8-bn-l...
- nvALT (or Notational Velocity)

- Google Docs
If we posit that memory mapping is a thing that one can generally do to files, then a ton of other abstractions break: how do you memory map a socket? Not a fixed piece of a socket's buffer, but communication on the socket itself?
How do you sync your text files with your phone ?
> Updates would frequently break the dnsmasq setup

That's surprising to hear. Dnsmasq has been my go-to solution for almost 10 years. Dhcp hostnames via DNS just works out of the box. I have two subnets at home, serving dhcp 4/6 on both. The only thing that was a pain (mostly because I had to understand it first) was setting up dhclient6 for prefix delegation and get hooks in place so the dnsmasq config would be updated when the prefix changes, but even that addition already survived a dist-upgrade already.

But should that stuff crash and burn next time I dist-upgrade I might take a look at router7, even though I personally really dislike go, but along as I don't have to write code in it I'm fine. Considering how happy I'm with i3 I'm pretty sure you did a good job here too. :)
Well there are more Haskell jobs than rust here, so I wouldn’t say more mainstream.

Syntax isn’t as nice as Haskell as well. A Haskell programmer fed up with purity would just move to Ocaml or F# tbh.
Well, the mantra is of course an aspiration. In practice things are not always done that way, especially in the past. SysV ipc is hopefully a thing of the past though.

(I did upvote you btw)
Good points, so the ice skating is a bit more wild with this perspective, if it's an "untamed" lake. (There certainly exists tamed lakes).
Simple, their OS didn't have many apps, but a shitty Android fork gets zillions of them.
Which countries aren't supported?
That was uncomfortable watching - having been responsible for data centers in a past life my nightmares were haunted by those with no, or worse, little knowledge re-patching critical infrastructure.
Radical: AI-Powered 3D Motion Capture Without the Suits or Hardware
This is odd - so we just switched the definitions of winning an losing by switching the rules around.

We could just play RevSoccer where the other team needs to stop you from scoring own goals. You're technically still playing to succeed (i.e. win).
>This is a law and order problem and not something we can fix from outside India.

These lynchings are not solely a law and order problems. Indian law enforcement definitely has issues with maintaining peace and harmony but WhatsApp has considerably added to the problem. A lot of these lynchings have taken place within minutes. Before WhatsApp, it usually took a good amount of time to collect a group and target someone but these mobs assemble with 10-15 minutes, do the deed and disperse mere minutes before the police arrives.

India needs legal and administrative reforms to deal with these issues but WhatsApp can definitely put the brakes on such small mobs by merely rate limiting the group texts. At the very least, it will give the police some more time to respond.
https://www.youtube.com/watch?v=gsNaR6FRuO0 (The Sound of dial-up)
What kind of ethics do front-end developers need?
Ok. Say timeout is one hour. Alice sends message to Bob saying attack. Bob acknowledges, Alice receives message at T+:10 minutes. Alice acknowledges, but Eve drops Alice's acknowledgement.

Now, as far as Alice is concerned, both Alice and Bob acknowledged. However, Bob never got Alice's acknowledgement, so he won't attack.
At $100+ you're in a completely different league. At that point you can get 32GB storage, 2GB ram, decent screen albeit with 720p.
The same is true with signals, timers, filesystem notifications, etc.

There are a few (redundant/duplicated with minor feature differences in triplicate, 'cause it's Linux) file-ish abstractions over parts of those concepts, but those abstractions are neither the only, recommended, or most widely used means of accessing those functionalities.
Not completely sure why this is on HN, but I am happy to see it on here! :) A good chunk of my PhD (many years ago) relied on the minimisation of free energy to understand the evolution of biological systems. e.g. Studying the growth of tumours: http://iopscience.iop.org/article/10.1088/0953-8984/22/19/19...

This has prompted me to go take a look at the state of the art.
Perhaps you need to dig deeper to figure out what exactly it is about working for a living that you hate so much. If it just happens to be "all of it", what would you be doing instead if you didn't work?

Edit: I should also mention that I too work for a living and I enjoy it for the most part. I get paid to work on interesting problems and spend time with coworkers who I like. There are annoying things but overall it's a net positive in my life. So I know, given my own experience, that it is absolutely possible to just enjoy working for a living.
> (salon.com? Never heard of em)

Salon was pretty popular in the early days of the web. I used to read it in the mid-late 90s.
This seems like parallel construction. The dude sounds dirty, but it doesn't matter.

1) Why was there a cop watching him leave his driveway? This sounds like the easiest made-up charge where there is no evidence to prove it DIDN'T happen.

2) Why did they want to search his car for failing to yield? Maybe it's SOP.

3) Why was the canine unit called BEFORE he was stopped? Big red flag.

110% effort to have it thrown out on appeal. They were targeting him.
I don't even understand the first paragraph, e.g. what's the 'order' which 'the biological system' is trying to maintain? And what's a 'free energy functional'? Can someone ELI5 what this article is about? The title sounded like a perpetuum mobile, but that doesn't seem to be it.
Weather-Smart Electric Grids Are Needed for Wind and Solar Power to Surge
> in terms of macros, anything more complicated than lazy evaluation of thunks and kiddie examples is out of reach;

I wrote a compile-time test framework in 7 lines of Gambit Scheme code https://github.com/billsix/bug/blob/master/README.md
Evernote works awesome, worth every penny. I use the checkbox lists fot todos, share notes with contractors with task instructions easily, the notes can have embedded images and files. I access it on phone, tablet and desktop works perfectly, i highly recommend it.

Edit: forgot to mention it includes a buil-in chat that i use all the time with contractors
Tablets (iPads in my case) have been a lifesaver in my businesses and for family members. For family, even 90 year olds who don’t know English can reliably communicate with all of their family using Facetime, and in business, there is no excuse for why it doesn’t work or it was brought down by malware. If it breaks just go and buy a new one and restore from iCloud.

I’ve also been seeing tons of them as POS at all the new retail/restaurant places I’ve been going to. It’s versatile, secure, resistant to idiot employees, and cheap.
Blaming the Messenger (App): WhatsApp Takes the Blame in India Over Violence
Sorry, I got th name wrong. Some CL musics links: https://ccrma.stanford.edu/software/clm/ https://quod.lib.umich.edu/s/spobooks/bbv9810.0001.001/--alg...
+1 for freemind
have been using it for years as a daily work sheet to allow me to switch between tasks quickly
Add to that the fact that the higher echelons of the current government turns a blind eye to lynching and hate crime, whereas at the grassroots they encourage such lynchings. Lynching to death over diet preferences (beef) is a very recent phenomena emboldened by the implicit promise by the government that there will be no consequences.

Recently the chief minister of the state of Tripura reacted to a reporter's questions on lynching by stating that there is a "wave of happiness" going on an that this is the government of the people and "people will act" and one should just embrace it. Of course later there was the usual run of the mill back tracking that he was misquoted and that he was quoted out of context -- the usual PR drill.

Its only after some repeated instances that go on for months there will be a token "we are against this" soundbyte, but just that -- a soundbyte wink wink.
Democracy is rule by the people. That is not the same as majority rule. Consensus-based decision making (including wiser approaches like consensus-minus-1) requires supermajorities to make decisions, but that does not make them undemocratic...

Likewise the amended constitution limits the ability of the Congress to pass certain laws, without amending the constitution first.
These issues have existed for a while. WhatsApp, unfortunately, accelerated the pace. Messaging a person or a group of persons earlier was expensive and required a lot of effort (selecting individual people to message and each message had a price) and there was no guarantee of message delivery or even timely delivery. WhatsApp made it free and almost instantaneous to inform a much larger set of people reliably.
forcing software to run under a virtual machine adds one more layer, so no matter how good software can be designed, compared to similarly optimized native software it will always mean more code to be executed, that is, more time needed to execute it and more space needed to contain it.

They used the VM approach for security reasons, which to me is terribly wrong. Mobile terminals should have hardware separation between subsystems, that is, the sensitive stuff (radio) enclosed in black hardware boxes where data goes in and comes out, just to make telcos happy, but everything else -I mean all the OS and apps- should be native and user accessible. This way one gets the best possible performance while maintaining a high degree of separation between kernel+userland and radio chipset which would let allow hacking whilst preventing anyone to tamper with cell connectivity.
The main reason that I stopped using it was that it didn't support code well.
Perhaps WhatsApp should do some PSAs, via the app itself, to places that seem to be affected by this problem. They could be colour prioritised for seriousness.
You doubt that because you’re a pontificating pseudo intellectual. Abstract reasoning is the entire point. If it is a human, it has an ear, no matter where it appears, except, let’s encode the logic as a convolution/cross correlation. It’s the entire point of teacher/curriculum/etc. It may as well be learning the properties and topology of an algebraic structure using deductive reasoning instead.
I’m not saying that dnsmasq itself broke (though I have seen my fair share of weird effects with dnsmasq itself, too), but the _dnsmasq setup_. On the Omnia, you need to somehow get the default kresd resolver out of the way, or make it forward queries to dnsmasq. Either option was frequently overwritten by an update, effectively breaking the setup.

And thanks for the praise, but if Go is not your thing, maybe this is not the best project for you :).
Unidentified Plane-Bae Woman’s Statement Confirms the Worst
Something that strikes me as interesting is the /rural/ corner store. These I have seen in many small towns, they usually can make sandwiches and the like to go, but also have a deli attached to that to buy meat by the pound. They have frozen cases and dairy cases (not exhaustive but a few items) and then some basic fresh fruit (apples. Bananas, etc) and some canned goods.

Interestingly they almost all seem to have their own dvd rental service as well. Not a red box. But one actually run by them.