skysight-inc/HackerNews huggingface dataset:
Mandatory voting exists in many countries, including Australia (since 1918). As an Australian, I've never heard of anyone submitting a ballot wrapped in dog shit. Culturally, voting is seen as just something that you go and do every couple of years, and so most people aren't really as pissed off as you assume people might be.

Unregistered voters exist obviously, but current statistics estimate that only a very small percentage of the population is actually unregistered (and unregistered voters aren't fined as far as I know).
Offline first E2E hospital management solution
> Where in your system do I vote in farvour of that?

Submit an empty ballot, or write "burn in hell" on it. It won't make a difference to how your vote is counted, but sitting at home and not voting will make just as little of a difference.
I thought that they use some kind of fingerprinting, so being logged in or out doesn't matter much. I stay logged out all the time on the web and on my phone but I have little illusions of not being tracked. At least I dont't explicitly give them my name.
Ask HN: Rebase or merge Git strategy?
I've been discussing with several people about how I should structure internal project. We currently employed the standard merge approach for git (setup gitflow) and it's ok. But we have several issues with release.
Everytime people are writing on features and doing a MR into the develop or master branches or release takes for ever because we are spending time fixing merge conflicts.

A friend of mine suggested we change to a rebase strategy. Where instead of the conflicts happening at the time of release (develop or master) the conflicts are undertaken by the developer doing the feature before and after they do their work, essentially ensuring that release is always working.

What are your thoughts? Rebase or merge strategy and why?
This was all in the context of Edward Snowden allegedly praising ironchat over pgp. I trust the man to be able to use the latter properly and thus being able to use it for secure communications, more than ironchat.
I think zero rating is considered a violation of net neutrality by most people.

https://en.wikipedia.org/wiki/Zero-rating
Hi, so, I was actually deployed to Japan and discussed the wind predictions with the modelers at Lawrence Livermore who ran the simulations and I saw the isotope sampling data collected from the planes flying through the atmosphere over Fukushima. Getting a re-entrant flow for enough time get any meaningful amount of radiation over any populated area was never going to happen. Like, ever. Like, they seemed really apologetic for having ever run the simulations, but the question national leadership posed was "how long would you need re-entrant flow to get significant exposure?" So they had to sustain an irrational model until they got a time. And based on that we spent a huge chunk of Operation Tomadochi's $90M on keeping sealift resources on standby off the coast in case of a Vietnam-style evacuation.
Mandatory voting solves the problem that "party X won because they convinced more people to leave their house and vote". It also immediately solves all of the voting discrimination problems you see in the US, as well as making it practically necessary for voting to occur on days that people actually have time to vote (as well as provide more tools to make early voting easier).

So while I agree that apathy and lack of satisfaction are some of the reasons why people are not voting (and are serious problems that need to be addressed), there are other problems that mandatory voting can help resolve. And ultimately the friction to convincing people of your argument is much smaller -- because now it is just a political problem of convincing the public, rather than a practical problem of getting some folks to take time off work to vote.
Show HN: YaoYao – Apple Watch Standalone App for Jump Rope
A Swedish company innovating in the nuclear space: https://www.leadcold.com

I'm torn however, on one side its a reasonable proposal that will yield waste far far less dangerous, on the other side, it distracts from investing in renewables.

The waste produces by every reactor current in production or planed is a huge problem that is greatly underestimated by the general population.

Sweden have for 30 years tried to figure out a way of storing the waste and still not have a finalized plan, and we have one of the best places to store it, stable bedrock with very little seismic activity....

Read more here about the plans for the Swedish storage:
http://www.skb.com
Well Visual Studio is certainly not free (maybe the community edition) and therefore I don't think I deserve to be littered with Azure ads all over a tool which costs already a lot of money.

However, my main complaint is not that they advertise their own products, which is absolutely fine, but the way how it is done is starving the .NET community from anything else but Microsoft. The way how all their .NET products are extremely tightly linked to a point where wanting to use something else but Azure or VSTS becomes almost unnaturally difficult, which is what I really dislike. For example, if I look at a nodejs product then I see documentation for all various integration points, with AWS, GC, Azure, etc., but when I look at a Microsoft library there is no documentation or integration points out of the box but Azure and that has a ripple effect on the rest of the community. Every library author only builds their tools optimised for Azure and don't even think about what else there is, which is quite upsetting.
> When you are older you sometimes don't want to spend your entire waking day working to keep up with the Jones' or maintaining your career.

And that is IMO the main reason for agism in our industry. Software jobs are incredibly demanding and draining in the long term, people (let's say) after 40 know that very well and, from what I've seen, they're often looking for a job that will let them coast at least a little bit. Also, they are already at the max of their earnings, so they have little reason to try harder. At the same time, people in their twenties are working super-hard to prove themselves and get the promotions that will get them into the top salary bracket. If I were running a business, I'd sure choose younger people over older ones.

What can people over 40 do? The best strategy is to show that you're not just interested in coasting - either learn the newest technologies, do some opensource etc. Anything to show that you're not burned out yet.
this is a fantastic HN comment chain, I hope everyone has been able to thoroughly enjoy this gem
Yup, this is exactly the problem. Currently JSON.parse() will silently truncate large numbers. This behavior made sense when there was only one numeric type in the language, but BigInt opens the door for arbitrary precision integers.
For one not too nice possibility, see: https://en.wikipedia.org/wiki/Stasi
Homework is more important than lecture
How are you drawing the comparison? How many complexity-units would you rate, say, the economy of Morocco?
There were similar observations after the Vietnam war. Many soldiers were opiate addicts over there but the vast majority quit when they returned home and were no longer in the hell of combat.

Any level of scrutiny is going to leave some untreated who need it and some people getting it frivolously and perhaps getting addicted. The question is the role of individual responsibility and where the balance lies.
If I recall the prior discussion in HN correctly, the flight path was abnormal well before the impact. This contradicts somewhat that it was a surprise nose dive. Also, the pilot asked for return to the departure airport without indicating an emergency. The last discussion speculated somewhat about unsafe center of gravity which I found more convincing. We'll see.
But it's also one of the best places to buy secondhand books that are rare and/or out of print.
He was grandstanding[1] given that he stood back up after the mic was already passed to someone else to make more comments to jab the president.

> Nobody seems to have their feelings hurt that their question
How does anyone know that? I'll agree that its probably true but because they are professionals and don't take it personal as well as they understand that this is a privilege opportunity and time is limited. Many of the people who were called later expressed thanks for the opportunity to ask their question(s).

> cut this man off from getting a real answer to his follow up questions.
I'd argue none of his questions were looking for a 'real' answer because they were disingenuous, divisive, and really would only be happy with what Jim wanted as an answer. Jim has asked him on more than one occasion on indictment concerns with the Russian investigation and I can see how that would get old answer the same questions.

Most of the press who asked questions had their questions cut off just to keep things moving so it wasn't just him. Not saying its right.

The press can ask a question, but it doesn't mean they are going to get 'a real answer' or in their mind the answer they want to hear and I think that is part of the problem.

Don't get me wrong I think the president could and should absolutely be more polite in these press briefs.

I'm sure the press did come out and point the finger at the president being at fault. How often does the press take responsibility for their own misreporting or actions? If Trump is at fault he isn't alone in this one. I know the WHCA came out and objected the decision to pull Jim's security credentials to stop him from being in the briefings going forward. I would expect they would object and ask that it be reversed. I'm sure it will be once things calm down and use this time as a time out as a cool down period.

1.https://dictionary.cambridge.org/us/dictionary/english/grand...
Key Facts of the Past 12 Hours – 9.11
Sure, pushing for new laws is very important, but in meantime, have some easy protections.

I think restricting by law their core business model would be not an easy task, it is life or death question for tracking companies like this and FB/Google.
India-American CEO arrested in California over H-1B visa fraud
If you intend to learn ASP.NET Core, check out my micro samples https://github.com/dodyg/practical-aspnetcore (171 samples so far).
The Dual In-Line Package and How It Got That Way
Thanks for reporting this problem! I filed a Firefox bug:

https://bugzilla.mozilla.org/show_bug.cgi?id=1506038

This bug is actually a regression in Firefox 58 from the fix for a use-after-free bug (CVE-2018-5097):

https://bugzilla.mozilla.org/show_bug.cgi?id=1387427
You're essentially restating the Physical Symbol System Hypothesis, formulated by the founding fathers of AI (Herbert Simon and Allen Newell).
http://ai.stanford.edu/~nilsson/OnlinePubs-Nils/PublishedPap...
In Mojave you can use CMD-SHIFT-5 as well which will give you a GUI with all (?) options.

There is a way to capture the window shadowless as well I recall/
At the moment there is Xamarin.Forms which actually can target osx,gdk and uwp or wpf. which means you actually can have a cross plat gui on all platforms, stability differs for each platform and I also did not like the mono runtime that much, a lot of stuff is not as good as it is in the .net core runtime.
> every classical theorem is equivalent to an intuionistic theorem.

I understand that every intuitionistic theorem implies a classical one: give the same proof, and see what theorem you end up with in the classical world. But how is every classical theorem equivalent to an intuitionistic one? Can we construct the equivalent intuitionistic theorem in a similar way from any classical one, or is this a nonconstructive proof?
> antibiotics

There is a difference in the case of antibiotics because of the issue of drug resistance.

Most of the harm to others from opiate addiction is a secondary effect from the illegality of non-prescription drugs, leading to crime. There is no fundamental reason why someone else being an addict should be harmful to you, apart from your feelings of compassion for them.
Tìm hiểu tác dụng của cây thuốc nam ngải cứu
Amazon is where I get a lot of the content I can't get anywhere else on a subscription basis. Their Prime content is meh, but their paid library is NICE.
I don't love Webpack by any means, but it's a helluva lot better than the disaster that was Brunch.

(but hey, I'm still stuck back whenever Gulp was popular, so don't take me too seriously!)
I still think client side XSLT is a good thing. I write simple documents and it is automatically converted client side. The world's best static site generator.

I gives me the best of two worlds: simple markup with complete control of output and CSS styling and instant changes of all documents without a compilation step.
I can see use cases for a delete function, but as people mention it’s all about how you manage abuse.

If a project owner really wanted they could just delete the whole repo (which includes issues et all) with no warning or confirmation from collaborators. But that’s a larger more destructive move, whereas, deleting a politically fuelled issue can be abused with far less repercussion.

Not on an issue, but I did once have a moment where I could have used a delete function on a pull request. I merged a pull request with my personal account on a repository I had only been working on under a pseudonym. From memory even resetting to an earlier commit and re-merging again with the correct identity didn’t work as GitHub kept a record of the original merge on that pull request. Which only further tied my two identities together as I tried to correct the mistake.
A hack to use hidden web browser in Nintendo Switch
Analysis of Fake CryptoCurrency Wallets Discovered on Google Play Store
Ask HN: What's the smartest financial decision you've ever made?
For years Greenpeace and other "eco" organizations were fighting nuclear energy and now we have what we have. I understand that using solar or wind sounds sweet and in some places on the Earth it might even make some sense if we learn some day how to efficiently store energy. But we need something that works regardless on the weather.

Nuclear energy does not comes for free, there are nuclear wastes, but the dangers and difficulties were greatly overblown in the course of anti-nuclear propaganda.

I believe we can find the way to reuse nuclear wastes - my guess is that nobody was doing serious research in this area since being "pro" nuclear was not fashionable (and it is still not in many places).
I agree, that's a really awesome landing page! I need to come up with something like that.
Telegram Russian Group Links - Telegram Русские группы Ссылки - покупать член телеграммы

https://buytelegrammember24.com
Haha, tell me more?

What do you think is erroneous?
Hackers Attacked the US HSBC Bank and Stole Bank Аccounts Data
What's fascinating in that article is to see that a Raspberry Pi 3 has about 10% of the floating-point processing power of a Cray C90...

Cue the many forum questions: "I'm planning to use a Raspberry Pi to control a <simple-ish device>. Will it be powerful enough?"
> Writing good software can be hard, but it is worth the time and effort.

Is it? I want this to be true because I want to write good software. But I've worked with some very senior developers who would disregard all software engineering and user experience concerns and just spew large quantities of low-quality code that made the managers just as happy, especially since it got done quickly. And the end-users in many niche industries are used to being shipped garbage, so they're just as happy too.
Heated by the sun, cooled by space
IPv6 got a private address space, even if we shouldn't run out of IPv6 addresses anytime soon.
I'm surprised there are no mentions to Microsoft Research's Singularity, that used only software barriers, and the languages used there (Sing#, Spec#) had ownership concepts ([Claims] attribute).
The normal way to deal with corruption, make new rules for everyone except the people committing the corruption.
I am in favour of nuclear and I am very sad that nuclear progress has stopped during so many years. But, I completely agree with you. Trying to revive nuclear is a fight of the past that distract from investing in long term solutions. IMHO, the long term source of energy is solar.
I am a bit disappointed that the article does not detail out, how the data was requested. I am pretty sure that when you ask "Give me all data about me <name>" that the response will be "We have not filed any data under <name>". I'd be interested in doing the same with Facebook and Google (I don't have accounts for both) but I am pretty sure that I get stonewalled. I thought about asking for the data associated with the tracking cookies they set, but I am not sure whether this works.
There are rate limits in place to prevent email spamming. The system stops creating new accounts for a domain where the percentage of unconfirmed accounts is too high. There is also rate limiting on client IP, disallowing client IPs to create lots of unconfirmed accounts. I am also planning to, but haven't got around to it yet, add exponential backoff to email sendouts, so that an increase in the sendout rate causes sendouts to be slower and slower (until manual intervention to increase limits).

So, in short: yes, the system could be used for email spamming, but not very effectively. There are better options if all you want to do is spam people.
(Side note: your profits for AAPL are way off, they should be around $58 billion)

This is an interesting comparison, but I don't think it is an applicable one.

Amazon and Apple run vastly different business, whereas BMW and Tesla compete entirely within the same market (even market segment).

Furthermore, Amazon is infamous for being an outlier with regards to profit reporting, but this was generally understood to be a financially engineered situation rather than a lack of success. If I recall correctly, in 2016 or so AWS became so successful that the profits it generated couldn't be engineered away anymore, hence why we're seeing billions of profits (after 20 or so years without them).
Well, humans are an AGI and they are possible, therefore AGI is possible.
Ask HN: How much more should I ask for as a full-time contractor?
I'm about to receive an offer at a mature US start-up. HR is using my remoteness as an excuse to make me a contractor instead of an FTE. We initially discussed a $150k salary as an employee, so I'm not sure what I should set my minimum salary since I won't have any benefits.
Thank you will push today MIT license
That wiki page was just an informal working page for the core team to keep us focused. That's why it is a bit messy and incomplete, plus it mentions some changes that we decided not to include in CHICKEN 5.0.0.

I wrote a more accessible introduction to CHICKEN 5's new features on my blog, https://www.more-magic.net/posts/chicken-5.html
Marginally. They do help some cyclists, and they reserve space for future, better bike lanes. On the other hand, they're inefficient because most people rightfully determine they're unsafe and won't use them, which gives ammo to anti-bike crusaders.
But when people talk about a "superintelligence" they are not talking about creating an AI lawyer. They are talking about creating a recursively self-improving intelligent system that attempts to make use of all available resources as efficiently as possible in service of its utility function.

You could envision a very intelligent but socially retarded system able to produce products more cheaply than anyone else, and thereby engage in trade and acquire resources. You could also just envision a system that ignores human morality and simply appropriates matter, space, and energy for its own purposes irrespective of what humans consider to be their property.

As such, the Turing Test is fairly irrelevant.
Here's the 2007 press release announcing QNX going open source.[1]

On April 9, 2010, the day the acquisition closed, Research and Motion took the source code offline, with no notice. All user open source projects on QNX were abandoned shortly thereafter.[2]

[1] http://www.qnx.com/news/pr_2471_1.html

[2] https://community.qnx.com/sf/sfmain/do/listProjects
If someone's willing to pay for fastmail, why not also set up a custom domain? That seems to mitigate the security concern.
Saving money with an automatic fund transfer. I setup an automatic fund transfer from one account to the other (in the same bank), and that account is not linked to any ATM. I often reward myself by making the same transfer more than once in a month everytime I get a bonus or somethibg like that.
Define AGI.
>but the dangers and difficulties were greatly overblown in the course of anti-nuclear propaganda.

The nuclear waste generation is a _HUGE_ problem, the problem is so big that very few (if any) country really know how to solve it, look a the US for example as a really frightening example of an out of control waste problem, both from civil and military sources...

https://en.wikipedia.org/wiki/Radioactive_waste#Long_term_ma...
How Retailers Are Using AR Technology to Build Buzz and Brand Awareness?
Apple Rejects Whatsapp Sticker Apps
You're confusing "wants to fix" with "believes can be completely solved (in the short or medium term)".
Surprised social credit isn't mentioned, it's incredibly dark and creepy concept.

https://www.npr.org/sections/money/2018/10/09/655921710/chin...
I don't think that's accurate. The community isn't that different from how it used to be; it's largely the same people after all. For example, the GP's account is 6 years old.

What's changed is that society is becoming increasingly polarized. HN isn't immune from macro trends.
> we can assume powerful axioms that would classically be inconsistent

Where could I find some explicit examples of this being useful?

One idea I had is that this might actually be very useful for proving things about cryptography. Generally, if you want to formally prove something is cryptographically sound, you can only do so in terms of the asymptotics of families of functions, rather than proving anything specific regarding, say, SHA256. But if you could prove constructively a statement like (an adversary can break program P) -> (exists x,y: x != y and SHA256(x)=SHA256(y)) it seems that would serve as a proof that P is secure. Statements of this form are trivially provable classically since (exists x,y: x != y and SHA256(x)=SHA256(y)) can be proven on its own by the pigeonhole principle, regardless of the correctness of P, but it seems that in order to prove this constructively you would actually have to find a collision in SHA256.
I agree, but often the alternative to using a service that offers painless onboarding, is to not do anything. I.e. you want to do X, and you're trying to find out how. You find product/service/component A, B and C that offers frictionless onboarding, and it allows you to get started on X. If, on the other hand, you find A, B and C that all require you to spend a couple of days learning their APIs etc, then you may never get started on X because the task becomes too big. There is a lot to be said for getting started on something. Components can always be replaced.
There’s a reason why intuitionistic logic comes into studying Lie Groupoids, but I’m not quite sure you understand why. It’s great to see some enthusiasm, but I’d recommend spending a few months working through Barr and Wells before you start publicly advocating like this.
Dutch ambulance's now ‘enriched’ by bulletproof vests as aggression increases
How so? I've always felt that intuitionism/constructivism were closer to theoretical computer science due to constructivism requiring you to produce (or compute) the what you're trying to prove.
Diesel? Won't that suck out all the air? Or poison everyone with CO?