skysight-inc/HackerNews huggingface dataset:
Can I ask for your Arxiv? I am near the end of my physics PhD and also near the end of my patience with the bureaucracy of academia. Just wondering what sort of research is possible independently
Two questions:

1. Are there any mathematical truths/theorems that are provable in constructivism that is not provable in "regular" (non-constructive) mathematics?

2. Are there proofs that are easier in constructive mathematics than in non-constructive mathematics?

If the answer to both questions is "no", on what do you base your opinion of the superiority of constructivism?
I know tastes differ across space, but there must be some minimum standard that would satisfy almost everyone
I love hanging around with people who think differently than I do. Bring a different perspective on things. Have good stories to tell, seek deeper theorems on why things are the way they are. The ideas need to have sex in order to birth even greater ideas.

Hikes and long drives are a great way to foster relationships. There is something about being around places that you haven’t been before that provoke new ideas.
I’m not sure I fully understand your argument, but if someone showed that they could perfectly predict the actions of the people around them, say hours or days into future, placing the predictions into a sealed envelope or a cryptographic commitment and revealing them later, then to whatever extent fraud and the like had been ruled out as explanations (in the ordinary experimental ways, and possibly with the help of James Randi :-) ), I’d have to say that the person had successfully unmasked free will as an illusion.
I thought Mormons weren’t supposed to drink caffeine?
https://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/E... is an example. That site has many others.

Predicate Calculus and Program Semantics is a book that is based on the technique.
The thing about Hillary’s emails was COMPLETELY INFLATED by her opposition, since she was not the first person by a long shot to use a private email server. Inflation = distortion = bullshit.
> our next (and then on) car will be a full EV.

Yep, but I think many others will have to go through the same journey before they believe in having a pure-BEV.
http://elevr.com/portfolio/hyperbolic-vr/

Another interactive exploration of the hyperbolic plane. This one is less a game than a interactive visualization buy still cool.
Why are you even talking about it as a perpetual motion machine? I don't see any claim anywhere in the original article that it is. He even talks about nuclear reactors used to power it.

You're refuting a claim that doesn't even exist.

And in doing so, you're also assuming the particles around it have "speed 0" when the explanation clearly describes individual particles as having non-zero velocity so that they can enter the space between the two plates on their own, as it is claimed that there would be no net electric field outside of them.
Help the Internet Archive save 500px CC licensed photos TONIGHT
500px is getting rid of support for its CC licensed photos... like now. Jump on and help!

https://www.archiveteam.org/index.php?title=500px
Likewise, New York probably doesn't have the nuclear contamination that St. George, Utah does[0]!

[0] <https://en.wikipedia.org/wiki/St._George%2C_Utah#Nuclear_con...
Tesla also didn't have the decades of experience and existing production lines to work on.

>We know that established car manufacturers can ramp up quickly if they want to.

The evidence so far indicates that they don't.
Stupid high fees from uk banks, for example (we're talking a flat ~15€ per transaction)
Credit cards definitely have check digits, pretty sure bank accounts don't…

My (US) bank issues account number serially. No check digits.
Some...interesting editorializing going on with the title here on HN. What I see on the SJ Mercury's website is "ICE lawyer sentenced for defrauding undocumented immigrants"
In my experience, simply finding early stage startups is hard. Oftentimes they don't even have a web page during the earliest stages, and if they do, you likely wouldn't be able to find it, and then it might not have any contact information, and if it does have contact information, you have no idea what they're doing, to know if it's worth contacting them or not.

I think it might be easier to find early stage startups if you try to aggressively network in that space, but not being much of a networker I couldn't say. I guess I should add that I'm in Seattle which seems to have a much smaller startup scene than the Bay Area.

I got my most recent job through AngelList but in that case I didn't use it to research companies, I just spammed every startup listed in Seattle that had an opening I was remotely qualified for, and then just talked to whoever responded. Before that I had basically scraped CrunchBase for startups in the Seattle area that had received funding at some point or another. I applied at a bunch of companies, but I don't think I got a single interview out of it.

This is a long winded way of saying that, yet, in my experience getting into a good startup is pretty much just luck.
> For example Los Angeles County, twice as large as Finland.

Uhh. You're off by two orders of magnitude. Los Angeles county is 4751 sq mi [1]. Finland is 130,666 sq mi [2].

1: https://en.m.wikipedia.org/wiki/Los_Angeles_County,_Californ...

2: https://en.m.wikipedia.org/wiki/Finland
Resource monopoly is rather a subset of force monopoly, no?

I mean, consider guns. In the US, citizens can own guns. And armed private security is OK, too. But there's consistent push-back against private militias, armies, etc. Unless they work only outside the country, in acceptable contexts.
Great comment. One of the reasons I love HN.
One case where I would use pfsense. Let's say you are a system admin of an small private school, you get an alert email from Comcast saying that copyrighted content was downloaded using torrents. You deploy pfsense and with 30 clicks you have snort configured and set to block torrent connections.
This was the first game I played as a small child and it was far too frighting for what it was.
10 years ago, my main computer was a pentium iii I had cobbled together from parts at a thrift store. Djvu was the only format for high resolution scans that would load without rendering the computer unusable.
IBANs have check digits. That's been the standard way of representing bank + account number for a few years now.
How does one prove the undecidability of the Halting Problem without proof by contradiction? How does one prove there is no largest integer without proof by contradiction?
I can assure you with full confidence that there's practically no limitation on "disgusting material" that you can sell online, as long as it's legal (which bestiality isn't).

In fact, the farther you push the boundaries, the better chance you will have at making money, assuming there still is an audience for it. There's a platform for almost anything.

Patreon just isn't the place for it and it never was. Patreon isn't even on the radar.

That's not to say you will never run into issues with payment, but your ultimate problem isn't going to be the platforms, it's finding customers.
Knowing more math than most of the people who you pass on the street, but at the same time having vastly inferior social skills to them, is something that you sort of get used to in childhood. :-) You should keep in mind, also, that as a theoretical computer scientist, I spend a lot of my time hanging around people who are abnormal in more-or-less the same ways I am, and in many cases more so.

Besides QCSD, I’d try Mermin’s Quantum Computer Science: An Introduction for QC, or any of my 50 favorite books from this list

https://www.scottaaronson.com/blog/?p=3679

if you’re just looking for some interesting reading material.
As a person with a theatre background now doing startup tech work, I agree the magic of “the show must go on” is unparalleled.
I assume he means digitally simulating your entire mind on a computer. Basically trading your biological brain for software.
> There's a degree of complexity that comes with multi-cloud that's ill-suited for most early stage companies. Especially in the age of "serverless" that has folks thinking they don't need people to worry about infrastructure.

Perhaps we'll start seeing a new crop of post-mortems from the "fail fast" type of startups failing due to cloud over-dependency issues. They're (presumably rare) edge cases, but easily fatal to an early enough startup.
He or she meant by population I would assume. Approximately 5 vs. 10 million.
If you look at the Figure 1 "The Dipole Drive Accelerating within a Magnetosphere." it clearly says "Accelerated proton" and "Reflected electron" and it shows how they pass thru the device. They are just accelerating the plasma particles, without any absorption or emission from the plates.
“Hippie Christmas” [0] in Madison, WI. Many sleep in tents overnight as they have to move out on one day and they can’t move in until the next.

[0]: https://badgerherald.com/news/2014/08/15/photo-slideshow-hip...
Oops.

Yeah, smallest.
No. Constructivism is strictly weaker.
I'm going to do this. May God have mercy on my soul. Any advice on how to meet her aside from creepily waiting for her somewhere?
3 months security deposit?!

In the U.S. you pay your first and last months rent, plus 1 month's rent worth of a security deposit...
Elon Musk talks demographics, low birth rates in the 21st century
Looks like it may be this paper:

https://arxiv.org/pdf/1804.06355
How to know if someone blocked you on whatsapp?
He was a brilliant driver in a car he had a lot of experience with. (IIRC he was a Ruf test driver) That was an amazing car with just far too much power in relation to how much traction it had, hence the sliding around and constant recovery from sliding around. A 500hp twin-turbo motor in a modified narrow-body 911 chassis without the super wide tires in the rear like you'd see on an older, wide-body factory Porsche 911 turbo. (they opted for low weight and better aero over traction)

That video makes other Nurburgring videos look a little tame by comparison. The car held the (street car) record on that track for a while.
It is possible to recognize how much the publishing process is useful and still feel it is perfectible. It made me think a bit about the state of research when Paul Krugman was explaining that at his point, communication between researchers basically happens between arxiv and blogs. Official publications come at a later time as part of a validation of the whole process, but its cycle is too slow to be useful anymore.

In CS and especially in things related to deep learning, I can understand that pausing to publish can be felt like a delay.

I feel like the typical publication format is not well adapted to CS. For instance, a big point of formal publications is to give other researchers the tools to reproduce your experiments. Why is it not the norm to offer source code or even docker containers then?
Which is meaningless in the present. Just ask Greece how valuable to your present circumstances basking in the very, very distant past is.

Australia has none of that immense legacy, due to the age of their nation. And yet Australians are already richer than the French at the median, along with having a far higher GDP per capita. The impressive history of France doesn't matter very much in the scope of most practical matters related to the present.
one thing for me that made a huge difference is I always did well
And really liked my classes where the professor wrote their own textbook. I know this approach isn’t always feasible but if you want to really control the course work and the students learning flow I really highly recommend this approach.

Even if your first few times using the textbook are “choppy” it has some big benefits such as:

You are controlling the flow of the course

You know what exactly is in the textbook and should have a good estimation for quality on practice homework answers (this is important to identify problem points you may want to focus on)

You will also from my I xperienfe have much more latitude in how you can approach things. The professors I have had that wrote their materials for the course themselves always seem to really have a good ability for judging what they should or shouldn’t go deep on depending on how the class has been responding

You can save students a ton of money potentially (always a bonus!)
... (full stop)

Mt. Vesuvius, continental Europe’s only
active volcano, is still considered a
danger today.
Meta: is it me or is the percentage of articles posted to HN which are subsequently flagged sitewide rising fairly significantly over the past few months?

Any data to support or refute this casual observation?
No.

A sink, stove (with oven), and fridge all come with whatever you're renting.

Usually you buy a washing machine and dryer seperately, tho a small minority of apartments come with them.
I don't see much discussion on how these people are able to collaborate on projects with others? For a lot of research, you need partners to check each other's work, to bounce ideas off, to stop you from making stupid mistakes or help when you get stuck. This is why in academia people work within research groups.

Is is possible to create research groups while working as an independent researcher?
Introduction to Atmega328
The large payment providers have a banking license you can’t really grow without it that’s your hook into the credit card industry.

PayPal, Stripe and the rest are their own https://en.m.wikipedia.org/wiki/Acquiring_bank which means they can process the payment themselves.
I may be missing something, so help me out here... I get the impression that the author was not told the precise reason why the activity was suspicious. Wouldn't a precise error message, if not actually a human interface, been helpful? Why the generic "suspicious activity" warning?

It seemed very Kafkaesque to me, getting tried and convicted without any mention of the crime or charge. I think the author is justified in his disapproval.
For an early startup, though, I would think it's not necessary to be "fully" multi-cloud.

Rather, it would likely be enough to have a cloud-agnostic infrastructure with replication to a warm (or even mostly-cold to save on cost) standby at the alternate provider with a manual failover mechanism.
I've been scanning a lot of books and switched over a while ago - you get books which can be 10x smaller, and which load and display faster too. And if you desperately need a PDF for some reason, they can be converted back easily.
JBIG2 was the problem algorithm with the photocopiers.

JBIG2 was based upon JB2.
HUGE!
I'm curious, why do you say straight music is more dance-able? I have no evidence, but my gut says it doesn't really make a difference - any dancer who is good enough to use the 8th notes is probably good enough to handle straight and swing.

Anecdotally, Montell Jordan's "This Is How We Do It" is one of the most reliable floor-fillers that I know of, and that swings. If you want a more recent example, "Can't Feel My Face" was huge for a while. (American perspective here.)
Actually MIT was modelled from the French "École Polytechnique". In a same way like the white house was a copy of "Château de Rastignac".
Out of curiosity, why is this true? Why does it seem like so many relevant tech companies are American, yet I see tons of talented European developers and conferences all the time? Are Euro nations just hostile to startups in a way the US isn't?
Effect of environmental air pollution on type 2 diabetes mellitus
> it's the EU's job to prevent non GDPR sites from coming into Europe, and not Facebook's responsiblity for complying with a stupid law.

As the grandparent said, it's not e.g. Facebook's responsibility to comply with the GDPR unless they want to do business in the EU.
Yeah, I always felt the idea that it was kids was a bit presumptuous, I think it's more likely to be embarrassed spouses, personally.
Sounds like "we were doing something sketchy, got caught, but somehow it isn't our fault".
I have been in a similar position before. It really helped my mental health to have productive daily rituals. For example, I spent about one hour each day between exercise and duolingo. Just get out of the apartment and run like hell. Even if the remainder of the day was demoralizing, I at least felt like something meaningful was accomplished.

Like others have said, find any job, contact family and explain situation, etc.

If I absolutely had no other option, I would join the air force. Worst part is the minimum four year commitment. A few of my friends have done so. You can be an equipment technician in a hospital, see the world, and not deal with any violence.
Per alumni, it has the same rate of Nobel prize winners as MIT https://www.nature.com/news/where-nobel-winners-get-their-st...
CCBill has a “relationship” with First Data which is a very large payment processor and an acquiring bank.

They are also willing to eat the fines that come with supporting merchants with more than 1% chargeback.

The reason why there aren’t many more of them isn’t morality it’s just very hard to maintain profits in this environment.
Patreon will have to pay fines if they have high chargeback rates and those fines are intentionally huge so for them it’s a none-brainer they need to reduce chargeback rates and their adult content creators are likely one of the biggest offenders and even if they are not they are an easy sacrifice to the PCI gods.
The article title is "Geeks, MOPs, and sociopaths in subculture evolution".

At minimum, the title should probably include the commas.

------

Also, the site appears to be being hugged to death.
Formula One switches from on-premise to machine learning on AWS
PDF is great for electronically created documents. DjVu is far superior for scanned documents, though. It compresses much smaller and DjVu viewers are far more performant at scrolling through large scanned documents.
The last paragraph in that article packs quite a punch.
On October 6-7 in SF, there will also be the 2018 Roguelike Celebration:

https://roguelike.club/

Tickets: https://www.eventbrite.com/e/roguelike-celebration-2018-tick...
> the crypto is stored on your computer

Correct me if I'm wrong, but that is not how cryptocurrencies work. The crypto is not stored on your computer. it shouldn't be so hard to set up a revokable recurrent payment with something like ERC-20.
Easy: Call it a central bank.
It absolutely is! You get significantly better cache utilization with a B-tree.
The comparison is cherry picked cargo cult. ASLR and a lot of these mitigations were obsolete when HBSD implemented them https://www.endgame.com/blog/technical-blog/rop-dying-and-yo.... Their ASLR try was rejected by FreeBSD.org. Some of the bullets are completely asinine like xxx hardening, what does that even mean? The lead developer recently gave a conference talk where as far as I can tell he showed that you can root a box as.. root https://www.youtube.com/watch?v=bT_k06Xg-BE.

Can anyone point to a paper showing where HBSD successfully prevented an attack over FreeBSD?

So they generate a lot of noise. Instead of learning from the larger communities that are filled with extremely talented security people like Colin "cperciva" Percival, Robert Watson, Theo de Raadt, Maxime Villard, etc Shawn seems hellbent on being an exemplar of Dunning-Kruger effect. Unfortunately he is towing others along for the ride.
Are you kidding? Given the opportunity, chickens eat lots of bugs. Wouldn't surprise me if some shady bug collective provided the seed money for these guys.
Yes. He essentially opts out of his escape, because he's withdrawn from being safe by changing his expectations.
Maybe internationally, but usually domestically within the country IBANs aren't used, at least in Australia, UK, and United States. Hell, my bank here in the UK doesn't even give me an IBAN.
This is the basic problem of all social organisations, not just 'subcultures', whatever they are.

Any marginally successful group attracts sociopaths. The more power available to someone installing themselves at the centre of an elite clique that runs the organisation, the more attractive it is. No-one ever sees it fully until they get on the wrong end of one of these toxic power dynamics, there is so much subtle BS working against anyone trying to face this stuff down that it's almost pointless wasting your life trying.

The only answer to the problem I've ever thought up is to burn it to the ground and start again, not very helpful but what else can you do? apart from walking away and leaving them to it.

Also, this 'Geeks,fanatics etc.' narrative will be part of the arsenal deployed against anyone trying to expose a sociopath at the centre of one of these organisations. The levels of fuckery you come up against with this stuff are so unbelievably frustrating.
Best advice to U.S. dairy farmers? 'Sell out as fast as you can'
Mormons are not supposed to drink "hot drinks" (i.e., tea and coffee), but some have interpreted this ban to extend to their shared ingredient, caffeine. In 2012, the church explicitly stated that caffeinated soda is allowed, but many Mormons still avoid caffeine.

https://www.npr.org/2016/01/03/461843938/can-mormons-drink-c...
> I read the book Startup by Jerry Kaplan, about his pen computing company called GO, and I was immediately hooked.

Incidentally, I read Founders at Work by Jessica Livingston back in my college senior year in 2012 and, as she put it, was immediately hooked.

Thanks for writing that book, and for everything else you've done for the startup world.
“Could they look at a tool and just based on mental image of the tool — can they recreate that tool design?” Dr. Taylor said. “That’s what we set out to test, and that’s what our results show.”

I can't. I'm unable to visualize things (I believe I have Aphantasia) so when I create something, I have to do it a piece at a time and see if it satisfies the requirements of each step. Makes for a lot of trial-and-error.
Try https://qkast.com this is whiteboard broadcasting tech that works in a ubiquitous way with any web content out there. It works via a chrome extension that doubles as a web clipper. It's free.
There's literature back to the 1930s about workers inhalation of VG and PG vapour in volume in an industrial setting. From memory, there are consequences but not associated with the chronic degenerative health conditions associated with cigarette smoking. An examination of the molecular biology of VG and PG suggests its quite difficult to find bad things they would do that would be associated with the chronic degenerative health conditions associated with smoking.
No, this is an economic problem in Montreal in general.

Montreal doesn't have the greatest of economies. Reasonable standard of living, good culture, but Montreal is like Buenos Aires a little ... there is a weird kind of dysfunction and chill that doesn't exist elsewhere in North America.

Source: I live here.
I feel like this constantly happens. I'm not a fan of people getting shut down if they are creating something legal and it has an audience.
That's quite massive number if you just count people moving.
Martin Gardner popularized this one, I remember coming across it as a kid!

What, did you expect me to rhyme with the line that's last, Ted?
What about cold brews?
Is number of patents awarded really a good measure of productivity?
One answer is to be braver about calling out people you think are sociopaths (maybe not using that word). Presumably some non-mops are in the sweet spot of having enough social skills to do this but not so much that they find it uncomfortable.

I get that doing this is difficult and draining, but if you're thinking about burning it down any way you may as well try this first, no?
It's not a perpetual motion machine, for the same reason a jet engine isn't one: it has an energy source, and it gets reaction mass from the surrounding environment.