skysight-inc/HackerNews huggingface dataset:
While on one hand your "degrees of uncertainty" approach here is a pretty nice and valid one most of the time, I'd like to present another idea of mathematical proof.

Something cannot be proven to a collection of people, but it can be proven to an individual. You can further say that a proof is generally true if, in principle, it can be proven to any given individual under mild assumptions of their mathematical experience.

To prove something to an individual is to actually walk them through each step and show that they follow one after another. Actual mathematical proofs rarely follow such a simplified flow, but again in principle they _could_ and the missing steps are elided under the assumption that someone could in principle reconstruct them whenever they like (this time perhaps making slightly stronger assumptions about their background and skill).

So, for all people the ABC conjecture will only become a theorem when they personally have walked through the proof. It's very expensive for any person to do this for any proofs they want to own, but they should do so for core ones and should feel comfortable that they could in principle do it for any that they take faith on.

Thus, the ABC conjecture may fail to be a proof practically for at least two reasons: (1) it's just factually wrong, it does not exist as a script for making step-by-step deduction to the conclusion or (2) there is no pathway for a reasonable person to obtain confidence that they could in principle verify it.

For instance, it could fail to be a proof for reason (2) entirely because IUTT is extremely complex and totally useless for all things besides the ABC conjecture. It would never be in the best interest of any person to obtain enough familiarity with IUTT to make the conjecture available to "in principle" verification.

It seems like (2) is sort of the case as well.

So, you can again boil this down to degrees-of-uncertainty and betting odds if you want, but proof has some interesting other dynamics:

- the notion that it's about communication of an idea
- the notion that it's dependent upon each individual's verification
- the notion of "in principle" verifications
- the notion of personal expense

In particular, it creates a divide between some sort of Platonic reality and a person's belief but guards it by expense of consuming/integrating information instead of expense of gathering data.

For instance, assume a completely trusted (99.99%) third party reads the proof and commits that it is correct. Bayesian reasoning would suggest that even if the person is normally trustworthy they could still be fallible and would still lend a lot of doubt to the truth of their words.

But no number of tests could make this more "proven" to you if it's still just not worth the effort for anyone else to ever read the paper and internalize it. You'd never be able to justify the costs of those other tests because it's just so impractical as to never really reach the status of "universally accepted as true".
https://github.com/kandluis/crime-prediction is a good place to start
Wasn't New Zealand the country with the highest level of liberty?

Also, yeah, no reeducation camps, but cops getting away with murder all the time…
What does it do? I visited the site and I just see a token. What do I do with it? Transfer money? If so how does it differ from a less used higher transaction volume capable coin like Litecoin or Bitcoin Cash?

I see something about price stability but then there's a chart and it does not appear stable at all.

In the startup world we say if nobody can tell what your company does after 10-20 seconds on the site, you have a problem. At the very least they should be able to get the gist like "this is a networking company that does computer network stuff" or "this is for writing web apps."
Code Governance: Code as Regulation in a Self-Governed Internet Application [pdf]
I think this academic search for an example of purely unfiltered community is getting in the way of the practical point that communities, however filtered they are, are clearly more or less filtered relative to one another, and that yields observable effects.

4chan is clearly less filtered than reddit, and we can see how differences in the degree of filtering creates a race to the bottom.

4chan is too restrictive for some people who want to race to an even deeper bottom, and on and on.

>That doesn't necessarily mean we need more of the toxicity at the bottom of the cesspool that imageboard culture is known for

But the whole point is that the less filtered the community, the more a toxic lowest common denominator develops, which is not preferable to the things decried as "echo chambers" in more filtered communities.
Not to mention that the MTA-served regions of the state already put in a lot more money in state taxes than they get back from the state in services. The opposite is true of the rest of the state.

Upstate depends on the MTA region's economic engine for its tax base. Making sure that economy runs smoothly (and that the employees and consumers necessary to that economy can get to and from their jobs and stores) should be a priority for rational, well-informed actors.

I would guess, though, that only a tiny percentage are well informed about what percentage of state taxes come from vs go to various regions. Can't comment on rationality, but with the wrong assumptions, rationality can be counterproductive and irrationality is no better.
How is that not hacking? Many hackers use known exploits to break into systems.
Very true. It's definitely hard to get more than a couple still. But they aren't perpetually sold out anymore, at least. That is definitely an improvement in the availability that has occurred in the past couple months, so maybe their supply is finally settling down.
and form actions..
That's along the lines of what I was thinking was going on here. This is pretty brazen.
Maximizing ticket revenue allows the system to offer better service for everyone who uses it. To the extent that people are priced out at the margin, that can be addressed through targeted subsidies (or guaranteed minimum income). In any event, whatever the desirable range may be, having fares that are only about half as much as in the closest comparable city with a well-functioning subway (London), is clearly outside that range.
Look at the 5 year chart, there have been a few large jumps in the company's stock price in the past. Don't think that "blame the Bitcoin" works for those.
Most people have a tenuous knowledge at best about what stocks are or the ecosystem behind the stock market, how to analyze stocks, or what the rules of trading are (I managed to break one when I briefly thought I could daytrade from Sharebuilder years and years ago and got suspended from trading for a few days).

They don't understand it much more than most people understand Bitcoin. Not really. It's all 'buy X and hope the number goes up!', where X is a mutual fund or random company, just like with Bitcoin/Altcoins.
I thought the article lacking in some regards, which other commentors have already noted (the general "crime is out of control" narrative without comparison to historical data; implying connection between specific robberies and homelessness without providing supporting evidence).

I was curious about who wrote it, and felt it was worthwhile to share what I found.

That being said, if one wishes to attack the article, I think a strong argument could be made that this is not real research, but a cherry picking of anecdotes that fit the existing viewpoint of the author. It may be true that crime is out of control in Portland, and that the homeless are to blame, but a more convincing argument for this could be made with real statistical research.
Sorry, I didn't mean an open office space - I mean literally a shared space, where you hotel desks, etc., and are surrounded by non-employees.
In the case of Mozilla's CEO, did he push his views at work or do someone go through campaign donation records, find his name, and out him? Many people do have a problem with keeping their politics to themselves at work but we also have a McCarthy type of social climate right now where people's views outside of work are injected into their workplace not by them but by those intolerant of that particular political view in an effort to harm them professionally and economically.
yes, bitcoin is better then gold, will probably get higher
awesome, Projects like this make me excited to learn.
Challenge accepted! Thank you for the ideas. :)
If you’re using G Suite (formerly Google Apps For Your Domain), most services already don’t do this. From: https://gsuite.google.com/learn-more/security/security-white...

> There is no advertising in the G Suite Core Services, and we have no plans to change this in the future. Google does not collect, scan or use data in G Suite Core Services for advertising purposes. Customer administrators can restrict access to Non-Core Services from the G Suite Admin console. Google indexes customer data to provide beneficial services, such as spam filtering, virus detection, spellcheck and the ability to search for emails and files within an individual account.

Core services includes Mail and Docs/Drive, though not Photos.

That said, you can be both not winning and also not deluding yourself, and that seems like a fair assessment. Think of it as a revealed preference: if you really didn’t want to make the targeted-ads-for-free-services trade, you’d use alternatives for components where great alternatives exist (say, FastMail). There’s nothing wrong with using Google’s products, it just means your preference - revealed rather than stated/intended - is to accept that trade.
It appears to be substantially easier to secure a ton of gold than the equivalent amount of Bitcoin.

It's also a lot harder to accidentally lose.
Here ya go https://www.reddit.com/r/nottheonion/
To counter the irrational crypto people.
So what is the right order

LEAK-DISCUSS-FORGET-SUFFER-REPEAT?
Hi! I've never used or even heard of MakerDAO. Their page is shiny, but not being in finance, I can't figure out what the point of it is. Can you explain what is so "insanely powerful" about it? And why/how would anyone outside of coin-based investing and finance types "use it regularly"?
Show HN: My First OSS Project, Classic Finder
Why Don’t Most Americans Realize They’re Getting Tax Cuts for Christmas?
Output of lspci:

00:00.0 Host bridge: Intel Corporation Xeon E3-1200 v3/4th Gen Core Processor DRAM Controller (rev 06)
00:01.0 PCI bridge: Intel Corporation Xeon E3-1200 v3/4th Gen Core Processor PCI Express x16 Controller (rev 06)
00:02.0 VGA compatible controller: Intel Corporation 4th Gen Core Processor Integrated Graphics Controller (rev 06)
00:03.0 Audio device: Intel Corporation Xeon E3-1200 v3/4th Gen Core Processor HD Audio Controller (rev 06)
00:14.0 USB controller: Intel Corporation 8 Series/C220 Series Chipset Family USB xHCI (rev 05)
00:16.0 Communication controller: Intel Corporation 8 Series/C220 Series Chipset Family MEI Controller #1 (rev 04)
00:1a.0 USB controller: Intel Corporation 8 Series/C220 Series Chipset Family USB EHCI #2 (rev 05)
00:1b.0 Audio device: Intel Corporation 8 Series/C220 Series Chipset High Definition Audio Controller (rev 05)
00:1c.0 PCI bridge: Intel Corporation 8 Series/C220 Series Chipset Family PCI Express Root Port #1 (rev d5)
00:1c.3 PCI bridge: Intel Corporation 8 Series/C220 Series Chipset Family PCI Express Root Port #4 (rev d5)
00:1c.4 PCI bridge: Intel Corporation 8 Series/C220 Series Chipset Family PCI Express Root Port #5 (rev d5)
00:1d.0 USB controller: Intel Corporation 8 Series/C220 Series Chipset Family USB EHCI #1 (rev 05)
00:1f.0 ISA bridge: Intel Corporation HM86 Express LPC Controller (rev 05)
00:1f.2 SATA controller: Intel Corporation 8 Series/C220 Series Chipset Family 6-port SATA Controller 1 [AHCI mode] (rev 05)
00:1f.3 SMBus: Intel Corporation 8 Series/C220 Series Chipset Family SMBus Controller (rev 05)
01:00.0 VGA compatible controller: NVIDIA Corporation GK107M [GeForce GT 755M] (rev a1)
08:00.0 Ethernet controller: Qualcomm Atheros QCA8171 Gigabit Ethernet (rev 10)
09:00.0 Network controller: Intel Corporation Centrino Wireless-N 2230 (rev c4)

For software choices:
Funtoo GNU+Linux as OS
vim as editor
Firefox as primary browser

I use this laptop for work, as well as for personal work on my own projects.
I have been working on creating a replica of the classic MacOS Finder in Cocoa/Objective-C. After about two years of hacking and doodling, I have finally gotten it to a point where I think it's worth showing.

Hope you all like it!
Recently Thinkpad X230, i5, 8GB RAM, SSD. Honestly I don't need more for web dev, mostly backend. I have custom build PC in storage with AMD FX8520, 16RAM and some Nvidia GPU that I could use and objectively would be faster but my X230 is good enough.

As for software until December I was using Ubuntu 17.10, since 1st of December I'm on Ubuntu Mate 17.10. I was Windows then Mac user in the past. I always had somekind of linux as dual boot. Finally two years ago I've sold my last non linux machine. Never looked back.
For those who ever read the articles of the magazine and wondered why the special flavor of doubt in scientific knowledge is often present there, as well as veiled "spiritual" agenda, see:

http://nautil.us/about

Nautilus has received financial support from: "John Templeton Foundation"

Which themselves state:

"By supporting multi-disciplinary scientific, theological, and philosophical research, we aim to deepen our understanding of the possibility and purposes of the divine."

https://www.templeton.org/funding-areas/science-big-question...
Comparing people who don't eat meat and people who are gay is a false equivalence.
Diet. And probably something to do with gut bacteria, which just ties back into diet.
a hacker only gets one extra challenge: forecast the address of the object that it wants to read. This approach seems hackable to me.

I like very much the safe stack that the Mill CPU uses: program data stack and the (safe) function return address stack are separated where the safe stack is controlled by hardware (and the OS allocates memory for stack segments that the hardware uses). The Mill CPU also has other hardware features to greatly enhance security. For example, parameter passing between threads is range-checked by hardware: a callee sees only passed parameters and a caller sees only the return values.
Does:

> led by those junior dictators in Poland and Hungary

sound civil and substantive?
Better solutions for homelessness are badly needed. The best evidence based solution is called "housing first", pay to get people into housing then address their needs. It works out to be cheaper and also is more likely to fix the problem w/o the quality of life issues talked about here

https://en.wikipedia.org/wiki/Housing_First

San Diego is dealing with a huge Hepatitis outbreak caused by open defecation around homeless encampments, 20 deaths last I looked.

http://www.sandiegouniontribune.com/news/health/sd-me-hepati...
The New Opiate of the Masses
Thanks, Just shot an email.
FYI I have a Mastodon instance running at https://freebeer.com if anyone wants an @freebeer.com username. No echo chamber as of yet.
For context: https://en.wikipedia.org/wiki/Hans_Reiser
Walking down an English high street with an intrepid 1 year old explorer was an eye opener for me.

(Translation: a high street is a main street in an English town. They're usually car-free.)

Every time my son bolted, I had a full 30 seconds of slack before having to chase him down because there was no risk of him being squished under a tire.
Bitcoin isn't the only cryptocurrency
Wonder what 4chan users actually think about their platform, wouldn't be shocked if they feel the same way the article writer does about Mastodon.

I mean there has to be some reason people spend their time there.
That's politics in a nutshell. It's never about the actual issue at hand, it's always about getting on top of the other side.
Don't be surprised if in the next edition of A Random Walk Down Wall Street cryptos get appended to chapter 2, The Madness of Crowds. Events like these are embarrassingly similar to those that have occurred in past bubbles. If you have any skin in this game (as I do) you'd do well to read the aforementioned chapter and start planning your exit strategy.
If just one person is contemplating betting their mortgage on bitcoin and they are made to think differently because of a bubble post then it's worth it to me!
Have you heard of this company called "SpaceX"?

Also, in case you do not actually know this, a metric crap load of this special electronics that NY metro uses have Windows 98 running IBMs inside.

Source: Neighbor MTA grunt
It really was! I believe they were doing well, growing at a steady pace. Another part of the puzzle was that client relationships were long, over years, so if we wrote bad code it was us that would have to deal with it later. The clients were typically larger, which helped to that end.

We did take on a rushed project at one point, so there is a good comparison in that project. It shipped, but everyone was unhappy, some key people left and had to be re-hired for. It triggered a very transparent discussion roughly titled "let's figure out how to never do that again" and to that end they curated the clients more carefully, and put in some checks to see if projects are a good fit.

But I understand that is probably unique, and at previous jobs the "good enough to make money" mantra has worked out okay.

I think when your software domain is complex and rapid, it pays to have sound architecture. When it is simple, or slow to change, it doesn't matter quite as much.
Yes. I thought of someone creating a website to do this but then nautilus could just put an ethereum address on their website to accomplish this.
I bet the Jailbreak community will come up with a workaround, assuming your phone has a Jailbreak option.
try living in a city with good, fully separated, and wide bike paths.. (copenhagen)

some times even normal cars take the bike path - https://www.instagram.com/p/g590OCMlGe/ - the car has driven a good 300 meters from one intersection to the next..
Merry Christmas from agrorobot
​​AGROB@INESCTEC​ ​ team wishes you a merry Christmas and a happy New Year and without technology distractions -> https://www.youtube.com/watch?v=kbYB7VU7a20
The end is not nigh until she tells you she invested your inheritance into it.
I agree. Tulips are more like the beanie baby craze. At least crypto and dotcom can be somewhat relatable. Yes, dotcom went crazy and crashed, but the internet did end up changing the world. Crypto though is no where near the scale of the dotcom mania.
All I want to predict is time periods/locations which are vulnerable. Nothing more than that.
You have a small markup bug in the shell commands that use '&&' (it shows &amp;&amp; within the pre-block).
Whatsapp web works fine, it's not a desktop app but it's in my desktop and I can type with my keyboard on it.
Oh it's terrible. There are no toilets. Even though open carry is legal there's crime everywhere. It's horrible. The suburbs are so much better. Lake Oswego is a nice place. None of those dirty anarchists or loud musicians or street thugs. Portland is what happens when you let the inmates run the asylum. It's awful. They'll steal your laptop, key your Tesla, spit in your latte, and defecate on your front lawn, if you can even find a house. Otherwise you'll be in a condo where 8 people in a rock band live next door, smoke pot all the time, and play loud guitars. And the weather is terrible. It's awful. Don't move there.
Just dont let the funny-facts divert you from the important concepts: bitcoin = money-without-banks, first time in human history
I think even calling it an "echo chamber" is a bit harsh. I have a home in the real world. When I am in it, I do not particularly want a nudist hippie drum circle in it. I do not want a Republican senator organizing his campaign in it. I don't need ten philosophy professors to come in and start debating the finer points of logical positivism. I don't want some guy to be there ranting and raving about how the lizard people are poisoning us all with chemtrails to prevent us from realizing how the world is going to end next Tuesday. There's nothing necessarily wrong with any of those things (though the last guy there might be mentally ill, but that's another complicated issue). But I don't want them in my space, all the time, without invitation (and even then, a solid exit plan).

This is not because I need my home to be an "echo chamber". It is because I need it to be a home. There's nothing wrong with having a "home" on the Internet either. It's just a lot harder to have one when you don't have width, height, and depth helping you delineate a space in the 3D universe, vs. the Internet, which easily degenerates into a zero-dimensional space where no distinctions can exist. Having a home doesn't prevent HN or Twitter from existing; nobody can stay in their homes all the time in either space. But the Internet is definitely getting less and less inviting for lacking the ability to have a "home" in it.

Thanksgiving just went by with HN denizens complaining a bit in some of the comment threads about how they are going to have to spend time with people they don't really want to, and the other holidays are coming up fast for a repeat performance. The homeless-Internet makes every day the day you have to spend like that, makes every minute the minute you have to spend like that. I fully believe people of a free society have some sort of obligation to engage with viewpoints they find uncomfortable (even if really nailing down what that means would be a challenge), but that doesn't mean everyone needs to be doing it all the time, without rest. I wouldn't expect that to produce understanding; I'd expect it to produce conflict and bitterness, not even necessarily because of the views themselves, but just from the sheer tiredness of never being able to rest anywhere for even a moment.
It will burst when everyone who could possibly be convinced to buy has bought. When the optimism is so contagious you start to doubt if it will ever really pop, that maybe this time it's different.

In the dotcom bubble, people were buying shares at prices such that justifying those prices would require companies to make more money than any company had made before. But people, including experts, said this time it's different because the internet will change everything, and those companies really will make more money than any company has before. Even though no actual hard data justified that optimism.
I agree with your thoughts on this. In feudal India, landlords oppressed the common peasants out of which local Naxalism was formed. Today, these guys are effective and in many ways protect local forests and tribals depended on it through guns from local communities with political and economic power.

I wouldn't say that's good but it is reality.
Saying it's meaningless is just being obtuse. History shows these economic bubbles don't happen every day, and there's something for people to learn here if they haven't experienced one or heard stories from friends or family that have.

> We saw it yesterday. We saw it last week. And a few months ago. And in 2016, and 2014, and 2012.

You do realize that economic bubbles rise and fall in the span of years, right? This isn't going to inflate and then pop next week.
While yes, of course people need training to be safe, if you hit someone with a bike you have to extremely unlucky to cause a life threatening injury. If you hit them with a car, you only have to be doing 30 mph for it to be 50:50 lethal.

I’ve only seen a relative handful of cyclists in the last few months in Berlin, but my experience in Cambridge has been that on the road, cyclists and drivers are about equal skill; but on cycle paths, you find the idiots who cycle 2-abreast at night with no lights or high-viz on a section with no path lighing, who somehow think it’s appropriate to complain that I did have lights (if I hadn’t had lights, we would’ve collided at about 30 mph, and I was the only one with a helmet).