skysight-inc/HackerNews huggingface dataset:
> And indeed, this will likely always be the case, as the true purpose of proving a mathematical result is almost never to actually get the boolean true/false output, but to illustrate how to solve the problem in the first place and what methods were helpful for that.

As a working mathematician, I wholeheartedly agree with the second part of the quoted sentence! But I think that the first part isn't quite right: The function of proofs to determine truth is extremely important, especially considering that, especially in pure mathematics, we often can't check our results in any other manner (like conducting physical experiments or checking many cases with the computer).

Bad experiences with proofs which later turned out to be faulty led Voevodsky to initiate his univalent foundations program (also called homotopy type theory), where all results should be checked by the computer. (For the particular area he was working on, no existing theorem prover turned out to be sufficient. He made a breakthrough in finding a new foundation to base theorem provers on, which made it possible to formalize results in his area of mathematics not only in principle, but also in practice.)

The hope is also that with computer-checked proofs, we can advance to new areas of mathematics which are currently inprenetable to our puny human minds. I'm very much looking forward to this future!

You can learn more about Voevodsky's vision in slides of him and in a recorded lecture:
https://www.math.ias.edu/~vladimir/Site3/Univalent_Foundatio...
https://www.youtube.com/watch?v=O45LaFsaqMA
I would have liked to see performance compared to the 2018 15” MacBook Pro, since they are around the same cost. The 13-inch really got its butt kicked.
This is obviously pure conjecture and completely made up, but I’m guessing between $200m and $250m. They’ve raised a total of of $33m at ~$100m. Assuming they got that valuation off of 10x revenue. - that means they were doing $10m or so per year in revenue.

Typically investors are looking for a 3-5x return if a company sells short term (< 10 years). A 5x on $33m is $165m, there’s more math that goes into so it’s easier to just round up. Which is about $200m.
Car manufacturers rarely send their low end models out to reviews as well.
Even in this context of a it being doctor advising another person?
I feel like you should name and shame, to some degree. Ask the VC for a reference to another portfolio company who had this arrangement. Or, cold email their other founders and ask if they
have this arrangement. Email any other investors you have to ask whether this is ok. My guess is that the investor knows they are being greedy, and they know that their reputation would get hurt if others knew they were doing this. If it's not a shady action, then I think nobody will fault you for asking around.

I don't necessarily think the VC has bad intentions. But, it sounds like they are trying to change the terms of an existing agreement. That, to me, seems unethical. Talking about these shady actions publicly tends to cause the community to self-police a lot. Perhaps another investor will inform this VC that they make money now, but hurt deal flow later, by taking actions like this.

--

One other thought: you could say something like "the company lawyer says this is not a normal arrangement and wants specific paperwork due to SEC deal maker rules. Can you have your lawyer send us the proposed agreement?" My guess is that they will drop it then they realize it will cost $10k in legal fees to do this, and it might even be illegal to do contingency fees without being a registered deal maker with the SEC.
I remember when they went to x86, but I think the landscape is different now. I was working in graphic design at the time, and I didn't know a single person outside of that field who used a mac. Now, I'm surprised when someone's laptop isn't a Mac. So, I imagine there's a lot more critical software that needs ported.

One area I can speak to now, which I'm heavily invested in, is audio applications. It's the main reason I still run a Mac. Upgrades are usually slow and cautious in this domain. I'm still on 10.12.6, and have no plan on upgrading anytime soon.

I, for one, am quite concerned. It used to be in regards to performance, but now it's all the applications and plugins that will need ported. There's a very real chance I'll go to Windows if it looks like a nightmare. Would love to see a Ubuntu variant come out of the ashes of such a thing, but that's probably a pipe dream.
These engineers will never otherwise work for VMware. So they spent a shitton of money to hire them. I wouldn't be surprised if it was just for the two engineers.
Everytime I have seen a article or documentary on the subject the primary cause of wild bee colonies collapsing it is pesticides and herbicides, commonly used in for example sugarcane plantations.

Would you say that the average bee farming is causing more harm to wild bees than the average sugarcane farmer?
How is tipping at a bar harder? You just write on the bill what amount to want to tip when you close your tab.
I don't have any social media and I don't use Google. Because I don't want anyone to known anything about me that I don't tell them

Its my own business what I believe in, thank you very much.

"interested in you as a person and wondering why you have a different opinion."
who I vote for (I don't) is irrelevant to what I believe. My friends and I have lively discussions about things I really care for ([0]) and they're never on the ballot.

[0] - Does infinity really exist?
- Is the halting theorem fundamentally flawed?
- What is the nature, if any, of God?
- Are Judaism and Islam essentially the same?
- What piece of music has moved you in a transcendental way?

And that doesn't get to the largest (by far) topic when I'm with friends, which are our kids and how to do what is best for them.

We keep out politics to ourselves, thank you very much.
That's a little thing that they tell you in high school chemistry classes (remember "reduction–oxidation reactions", or "redox"?), which you then promptly forget. I only remembered because of an unhealthy interest in home-made rocket propellants :).
Pretty sure books are going to be around for a while.
Sweden also has a fairly friction-free mobile payment system called Swish that you can use to pay small amounts to other people or small shops.
Gwyneth Paltrow Joins Crypto Advocates’ Army, McAfee Reject’s Johnny Depp
A very effective way to make corporations take action is citizens making them to.

Are you willing to?
It's a scam, not a joke.
If you believed you already knew the answer, why did you ask?
So, you basically gamed the reputation system of the vscode marketplace having autocomits and autoupdates because any update counts as a download?
Does anyone think this "search" was even real? I think this was decided long before the "search" was announced.
Parcel Forwarding Poland – Home
Great effort, but honestly I'm hoping that as incremental compilation gets better, stuff like this isn't worth it.
I'm of the opinion they could have used Newark, NJ in lieu of LIC and had basically the same experience but cheaper.

Newark is maybe 30 minutes from Manhattan by train, has cheaper real estate, and contains a stop on the Amtrak NE Regional Line, which would allow access to their VA HQ in between 2-3 hours.

I'm probably biased because I'm NJ based and I want Newark to become a more attractive location to companies other than Prudential, but Newark was up for consideration and I'd argue the cheap real estate + proximity to NY combo is workable.
Yes, you could only compile once, but as soon as you add new native modules, you have to recompile the whole app. But you can basically use any other OS to write RN code. If you don't plan to add new native modules to it, then you can compile / deploy your app once from a Mac, then use CodePush to remote update the JS which can be done from any other OS.
We haven't said much. https://robert.ocallahan.org/2018/05/update-pernosco.html
When I was in New Orleans recently some buskers had Venmo accounts which I thought was a neat progression, for lack of a better word.
because AMD joined the competition again with its EPYC product line.
The Future of Virtual Assets: Introducing the Fractional NFT
I live in the US and almost never use cash. Is this not the norm?
Just a random thought: would it make sense for Rust to target GPUs?
> remember "reduction–oxidation reactions", or "redox"?

Clearly no :P Also I realized that, unless I have a specific problem I need to solve, I don't remember or like reading about things. I have been taught things in school/uni that I thought were terribly boring and was bad at, until I needed to solve a problem with that information and then I had to re-learn everything. Kind of a waste of time, but I can't change my brain!
By one account, something like 5% of voters engage in "crossover voting" for the first reason you gave ("it’s the only way they’ll have any real input") and almost nobody for the latter reason ("to vote for the worst candidate in order to give their own party a better chance").

If you see a D or an R next to somebody's name in this app, then you know who they voted for with pretty high confidence.

http://www.latimes.com/local/politics/la-me-pol-california-p...
I used to be as enthusiastic as you.

I've bought a number of Macs since I switched in 2007 and I've had a number of tragic stories.

My wife's previous Macbook Air died during its second year. It was working fine and one day it didn't turn on. Apple Mexico asked for close to $1000 at the time to replace the logic which was simply ridiculous.

My top of the line 2011 MBP died when it was 2.5 years old because of a known GPU defect. Apple fixed it over a year later but it was too late. I already had a new machine and the second hand value of the 2011 plummeted. I ended up giving it away to a junior dev in my team a couple of years later.

My current laptop is a 2014 13'' rMBP. I wanted to change the battery and Apple Mexico asked for close to $400 since it argued the complete top panel had to be replaced. I ended up doing it myself for less than $100.

I still prefer Macs for working because of macOS, but I don't know what I will do when my current laptop dies.
Isn't this why states offer State IDs? I lack the ability to drive, but wanted a form of ID other than my passport, especially once I turned 18, which is why I got one.
Yeah, turns out OS X is popular. Who knew?
Except everyone is using Kubernetes.
I had a hard time watching him talk because the over dubbed audio is completely out of sync. It's really bad right around the 1 minute mark. I ended up minimizing the window and just listening.

I honestly don't care for this audio, it's crystal clear and perfect for a podcast but the video is of him sitting in front of a window with a dog and the absence of any environmental noise is odd.
Doesn't work, but the assumption was on that most blogs have a separate subdomain, so that the subdomain could be redirected to cloudflare.
That said, if you can't handle a mild HN attack, you should be weary of your DDoS resistance, and consider ways to do more caching in front. It's a lot easier to just tank DDoS traffic than to reject connections based on some guessed measure of whether they are legitimate or evil, and in this case here they are legitimate, so these filters wouldn't work anyway.
NYC and Queens especially doesn't need any more traffic.
> If you crush or sever your fingers, you really do need to call an ambulance.

Paramedic here... If the bleeding is controlled, there's not really anything an ambulance is going to do other than give you an expensive ride to the hospital. Counting dispatch/response/on scene time, you'd likely get to the hospital just as quickly if someone drove you in their personal vehicle.

I'm not defending Tesla's practices here... I'm far more concerned about the other cases mentioned (workers passing out, feeling dizzy, etc).
Missing the infamous "It compiles! Ship it!" quote.
Yeah, I regret living without Windows for one thing only: good and accurate video playback. Got close with LibreELEC, can't get anything right with macOS.
...which is why Apple is more than happy to charge you said premium. As long as there are enough consumers like you who prefer to pay more there will be suppliers who will charge more.

Those who prefer to pay less, have more freedom and get a higher-performance system which is more tailored to their needs will, for the (small) price of some more up-front thought, choose other suppliers. They will have the added advantage of being able to partially upgrade their system by swapping the SSD while those who choose the Apple option will have to wait for the next iteration of this product.
I have no objection to them offering Facebook/Google etc for those who wish to use them.

The problem is the lack of an alternative which is how this whole thread started - their approach allows you to choose between logging in via a third party, or logging into your email on the same device. It doesn't let you log into their website directly.

I wouldn't mind if they emailed you some kind of time-limited one time token you could enter on the other device, rather than using a conventional password. But all they supply is a lengthy link, which can only practically be opened on the device that has access to your email.
I got a Java certification at a large enterprise years and years ago. The only benefit I gained from it was that it forced me to systematically learn the language in greater detail than I would have otherwise. I personally found the experience valuable, and I think I have a higher level of skill with Java than many of my coworkers as a result, but no one is going to accept the certificate as proof of that.

tl;dr: Certification tests provide decent motivation to keep you trudging through hundreds of pages of technical documentation.
Yes, as long it is open source, it should be okay.
I remember you recently commenting trying to argue that Elon Musk has the same values as Donald Trump when it comes to the truth, so I'm going not going to trust your judgement here.

The biggest short in history aligns well with many people not having the critical thinking ability to understand all of the facets to what Elon is doing and has already done - if you look at the whole ecosystem, which I won't write out to argue for here - though I have in the past in comments. Many people invest on short-term trends and don't have the ability to actually understand from founding principles; e.g. it's why they're building a Gigafactory for batteries, to knock the cost of battery production down by 50% - and unless competitors all start trying to do the same, they're going to have higher battery costs - and so can't compete as strongly on price as Tesla can, etc.
What is your beef with VLC? It’s the only player that has yet to fail me.
Increasing productivity in sales
I’ve been using dell P2415Qs. I run 3 at the HiDPI “looks like 2560x1440”. It’s not perfect 2x scaling, but it is close enough (185 dpi) and the price $300-400 each cant be beat. I’ve considered switching to the 21.5 inch LG ultrafines (220 dpi) but they are $700 and have very limited port choices compared to the dells. I use the dell displays with multiple other machines that don’t have USB-C graphics out. And want to be able to use the displays with eGPUs that won’t have USB-C out.

I just hope the default GPU of the mini can drive 3 UHD displays without choking on the dock animations :|
and for people whom do not care about democracy and or do not believe we are in a democracy then?
If it’s an ugly situation, VCs can play hardball. For instance, if another investor is squeezing them (or squeezed them in a prior round) this can be their way of getting back at them. It’s one reason to be very careful who you give veto power to.

Is this VC also an investment bank or Private Equity firm? Those businesses are much more likely to tack on fees.
5 Best Machine Learning Courses on the Internet, Ranked by Your Reviews
To clarify, Mac ships with a native Unix [1], derived from BSD, not a posix subsystem. It has its own init (launchd) and its own GUI, but most of it is a Unix.

Using Macports or homebrew gets you most of the packages that are available for the various Linuxes, GNU utilities etc.

[1] https://en.wikipedia.org/wiki/Darwin_%28operating_system%29
Have you considered marketing yourself as a devops engineer? From the sound of it you already have most if not all of the required skills, and IMO this makes the transition easier as well as plays on your existing strengths (i.e. you’re not a would-be developer who has to prove he can code, you’re a seasoned ops engineer who can help the dev team get their ops shit together). Speaking as a CTO, I would love to add to my dev team someone who knows what it’s like to be woken at 2am on Sunday morning because of a stupid bug and who’ll go into the code base to eliminate anything that triggers a sudden wake up call.
What does incremental compilation have to do with NLL?
Shockingly, I need optical for a $300 set of gaming headphones I purchased within the last year (Astro A50). Maybe it’s the only way they can do pass through, dunno.
> Which party wouldn’t work hard to get an extra 100k+ voters?

Parties in America, where 100K votes might be perfectly useless, if they're not in a battleground state.

In 2012, Obama beat Romney in California by over 3 million votes. Getting 100K extra votes in California wouldn't have helped either party, and just taken time/money/people away from states where it mattered -- like Florida, which was decided by fewer than 100K votes.

It's not a matter of voter turnout, either. Even if every voter who stayed home in California in 2012 voted for Romney, he still wouldn't have won the state.
There is zero justification for the pricing. It needs to be starting around $399. Apple is still working the privileged pricing model. Considering it has year old processor and 8GB RAM. For $800 an i5 and 16GB should be standard. I can forgive that 128GB SSD but not the CPU or RAM.

Side note, why is a computer only for games, streaming, and mining bitcoin? It that what the end user experience is limited to?
>"This is an especially big problem for teens whose circadian rhythms are already shifting naturally, causing them to feel awake later at night. The end result: sleep-deprived or poorly rested kids who have essentially given themselves a mini case of jet lag"

It doesn't seem like a huge problem that teens are getting ~30 minutes less sleep per nights because of technology. Staring at screens is now a major part of our lives and that probably won't change any time soon. I do think we need to consider what time class starts for teenagers who need a solid 8-9 hours of sleep per night. When I was in High School, a 7 am start time required me to be awake at 5 am, which probably contributed to how miserable I felt as a teen.
Agreed. It's a must-read for anyone interested in a thrilling story mixing ethics of simulated realities, uploading of consciousness, self-modification and finite automata.

Simulated beings are a repeated topic in Egan's stories. Some of them are freely available online, for instance https://www.gregegan.net/PLANCK/Complete/Planck.html (where simulated beings create clones of themselves which are to fall into a black hole, hoping to gain insights on fundamental physics) and https://www.gregegan.net/INCANDESCENCE/00/Crocodile.html (where a couple, after having lived for more than ten thousand years, decides to embark on a final adventure, leaving all loved ones behind because of differences in time perception).
I took a class aimed at teaching us to read scientific papers. Seems like sort of the same situation: lots of “tips and tricks”, but also a skill that needs practice. The class I took essentially brain dumped the tips and tricks part in the first week, then spent the rest of the semester practicing reading papers and pulling insights out of them. The same approach could be used for a class about reading code.
Mouse Cursor History (and why I made my own)
Rent Control: An Old, Bad Idea That Won't Go Away
Has the government "subsidized" SpaceX? AFAIK the government has been a consistent customer of SpaceX and they've leased facilities from NASA but it seems that overall they aren't being subsidized but rather patronized.
>And tipping at bars etc can be harder too.

That's not too much of an issue in Europe.
whoah - you had comments?
This response was both hypocritical and immature. I'm disappointed by reading this thread.
couldn’t the OP use the same method to determine accuracy that they used to compare providers?

it doesn’t need to be an accurate decider, just “good enough” in a majority of cases.
It needs a 2014 in the title, even if the content is still relevant.
To be clear, I could be convinced that humans are partial halting oracles but it would take extraordinary evidence as it is an extraordinary claim and so many people react so strongly to these claims because they dont feel it comes with the appropriate extraordinary evidence.

If you're interested in Bayesian approximations of mutual information check out the references listed at [1] and tell me what you think, as this is far from my speciality.

[1]https://en.m.wikipedia.org/wiki/Mutual_information#Bayesian_...
The slight problem is that if top talent wants to live in Houston, there are fewer options of interesting companies to work for than on East/West coast. It's a symbiotic thing, not wholly controlled by top talent's desires.
Ask HN: Can Anyone Explain What's Going on with Amazon Shipping Times in DC?
Amazon free 2-Day Prime Shipping is showing delivery dates over a week away (if I ordered today it shows a delivery date of Wednesday, Nov. 14). I've contacted customer support about it and I was told they would refer the issue to a technical manager. My wife just had an order cancelled by Amazon with a refund. I'm genuinely curious about what the root cause of these shipping delays might be.

According to a Reddit post, the issue is widespread in Washington, DC and could be caused by tornado damage to a warehouse.

https://www.reddit.com/r/washingtondc/comments/9uf3ko/anyone_else_have_issues_with_amazon_prime/
> The highest performing rocket propellants in common use are hydrogen and oxygen, whose product is water.

Citation needed. Hydrolox has the highest Isp, but for a boost stage, that alone at all costs is not the most important quality. Hydrolox engines, tanks and piping all needs to be much larger and heavier than other fuels, and in practice, this eats the gains that the higher Isp buys you and more.

It's not an accident that basically all the new engine designs, by multiple different companies, have tested hydrolox and then switched to methalox.
you asked "what the hell is wrong with people" who value their privacy but you think if they shared their political beliefs with you that you wouldn't sound judgmental? lol
> He hopes that the research group will shortly achieve a temperature increase of at least 110°Celsius ..

So, enough to boil water? Once you can execute a phase change you can generate electricity, not just heat....
Even with all the shade, AMD still beats them in price/performance. That and performance/watt matter the most if you're building a big data center.
Piggy backing off this thread for my own question.

I've a small webapp to show me my elevation based on my lat/lon. I built it with Google's API as I've used it before and it's what I know. It doesn't get much traffic so it's unlikely to ever cost much once my free credit expires but I'd like to explore other options.

What alternative (preferably free) services are there out there? I need to be able to pass lat/lon and get back the elevation above sea level of that point on earth.
Sorry, is this verifiable elsewhere? I'm automatically skeptical of anybody with a free WP theme with no About section who is pushing a stock, and right now this is #1 on Hacker News.
Greg Egan also is a frequent contributor to The n-category café, a forum for the particular branch of mathematics I'm working in. I think it's terrific to meet your favorite science fiction author in a place like this.