skysight-inc/HackerNews huggingface dataset:
Math is more about figuring out why things are true than what is true.

Mathematicians want to understand Mochizuki. They couldn't care less if hn thinks it counts.
Coders Tip: Commit and push at least at the end of the day
You can't exploit a robot but you can exploit a human.

That's a bold philosophical statement about the nature and uniqueness of man.
Right, and how many of them are on React?
He is saying they should practice process isolation. Example architecture: https://cr.yp.to/qmail/guarantee.html
Making your bed 1st thing in the morning is a good way to re-enforce the message "I'm a person who organizes my space to set myself up for success." Taking a cold shower is a good way to re-enforce the message "I'm a person who can bear discomfort."
Winters in Pittsburgh aren't that bad, especially the past few. There's a major storm here and there, but very rarely is anything major shutdown.
HP48(S(X)) also came with two excellent manuals with hundreds of pages of documentation. My only regret is that when I was in college, I could have written better programs. I tended to write huge functions with a deep stack, hard to understand, debug and modify. Had I know what I know now, I would have written dozen of small function and relying more in lambdas... And I didn't know I can use named arguments.
AngularJS Interview Questions
> Since I knew the target system is going to be 64bit Linux

Knowing the target system makes a lot of these things quite a bit easier. I had really good luck in college knowing our graphics teacher was using a 286.

As a TA you pretty much can be a hardass or save time for the rest of the semester and just mark 100.

Another early scenario was declaring main() as void in some embedded systems. I guess there was nothing to return to but it was still odd.
As did the CBC; it is still available but with zero content [0]. It now directs you to a bloated mobile site.

They do have RSS however [1].

[0] http://www.cbc.ca/m/text/
[1] http://www.cbc.ca/rss/
I believe he is also on the Dart lang team at google. He has a pretty awesome blog and is super insightful when it comes to programming languages. His Github projects inspired me to research language design further.
This is such a terrible way to make a decision like this. The types of filters they used were completely arbitrary,the filtering level for each type of filter was arbitrary, and the number of filters they used was arbitrary. Plus, they didn't even include Toronto, who is probably a very strong contender.
this may work well for smaller cities that are highly dense, but for a lot of North American cities, where a large population live in the suburbs and commute into city center for work, public transit are often unreliable and there's not big enough of a population overall support long hour, frequent services. I don't think it's fair or realistic to ask them to bike multiple hours to get to work everyday. Not to say hate, but I do find this type of proposal or thinking somewhat elitist and completely ignorant to the fact that there are others who do not live in cities yet depend on them for a living. Many people already choose to live in the suburb in order to lower their living cost compared to living in city centers, is it fair that they will be charged high tolls compare to whoever that's able to afford city center living?
> since if you're now violating an additional patent by continuing to use React

What patent? Patents are a matter of public record; tell me what patent you think I'd be violating.
The problem with that is you could aggregate the links, but you can't host the content which kinda defeats the point in the first place.
It's weird how compilers complain if main() is void, despite it not having to return anything if it's int.
EURUSD Closes Higher on Bull Pressure but with Caution
Ask HN: How would you take over the world?
Yeah, but H1 tags count as bloat now? Minimalism is subtract until it breaks, but this is broken.
I get that we are mostly working with 0 and 1s, but god isn't this a binary vision of the world.

> no essential ecological role

"ecological role" is a purely human concept. Nature doesn't give a shit about lions, zebras, parasites, or humans ; hence it's up to use to decide what we care about. Why should a lion be more important than a tapeworm ? Because it's less ugly ?
I have no idea how you can get from taxes to "protestant christian morality"?

Your comment also seems entirely jingoistic when read in the context of what it's trying to reply to. What does "controlling it all" even mean? How should people "play by the rules with integrety[sic]", when you're apparently arguing against any such rules?
> “The language strikes me as substantially more accessible than that of the original papers.”

So is not really a summary, is more of a reformulation, an easier to read rewrite.
Same thing in Poland & Croatia, probably many other EU countries
> Unfortunately, there are enough extremists who want actual total "equality"

Are there? Where are they and how much influence do they have? As far as I can tell they are extremely rare and have little to no power. In contrast, the number of people who are market maximalists in actual positions of power is significant.

Interested to see any evidence that my world view is wrong.
"and not use php lol"

PHP has warts, but I find it unlikely that it would be the reason for a 2.7 second page load.
You just made a blanket statement about the rich. All black people do is steal and murder. See, I can do it too.
Yep his blog and books are great. Incidentally I started looking into Dart yesterday. Seems like a comfy language, more so than Typescript in my opinion.
Awesome-lite-websites – A list of lightweight websites without all the bloat
Yeah, without the h1 tags the headlines don't stand out from all the other content on the page.
For one year...
Because I want to turn off the talk or music I'm listening to too?
The next great threat will take the destructive potential of the nuke and democratize it like the crossbow. Perhaps it'll be some sort of biotech. Maybe a "desktop 3D printer" for synthetic organisms. This could allow somebody with little more than a high school biology education to download a template and "print" some weaponized anthrax.

I have no idea how we'll survive that.
What's worse all the content is sent inline, just not as html :( Why complicate this so much?
Hah I do the exact same thing. Actually, out of spite I go to foxnews ;-)
The problem is the food you are storing is constantly going bad. So you need to recreate the entire massive food stockpile every year or so, in order to have it ready when the time comes. We'd have to find a way to efficiently cycle food through the stockpile and back to consumers before it became useless. But I doubt consumers are going to be lining up to buy old food. The food would be expensive to buy fresh, then wouldn't sell for much when it is old. It would be a crazy expensive program, and it would increase the price of fresh food for everyone.
I can't tell you why others don't do it, but OpenBSD has used a proper read-only rodata segment since long ago http://www.openbsd.org/papers/pacsec03/e/mgp00013.html
I just created an awesome-lite-websites list to be filled with lightweight and usable websites alike:

GitHub: https://github.com/mdibaiee/awesome-lite-websites

Hacker News thread: https://news.ycombinator.com/item?id=15212155
Seems like it'd be easier to just use the templates already there for the content on the server, instead of building an additional application.
I'm not a mathematician, so I don't know the significance of the ABC conjecture, but for those that are laymen like me, here's a quick introduction to the ABC conjecture:

https://m.youtube.com/watch?v=RkBl7WKzzRw
You have to return something. If you don't, the exit code is the value that happened to be in memory at this point.
100 steps forward is a crap ton of JS just to show text that doesn't change?
NeXT were hostile about open sourcing their Objective-C platform that was based on a fork of the GNU toolchain, indeed it was one of the early GPL enforement cases where lawyers got involved. But they still kept the runtime and li braries closed.
It is realistic in the sense that it has already been done! But it's still laborious in the extreme.

Kepler conjecture was stated in 1611 and had been unsolved since. Thomas Hales started a project to attack it in 1992. After six years of work, he announced the proof in 1998, in the form of 250 pages of argument and 3 gigabytes of computer calculation. He submitted it to Annals of Mathematics, one of the most prestigious math journal, for review. Reviewers and the author tried valiantly for five years, gave up, and published it in 2003 with a warning that while reviewers were 99% certain, it couldn't be completely reviewed.

Soon after getting this both rejection and acceptance, Thomas Hales announced the plan to formalize his proof to remove any uncertainty. It was enthusiastically received by automated theorem proving community. For a while Thomas Hales "shopped" for the prover tool to use and basically leaders of every significant provers tried to "sell" it to him. He decided on HOL Light, wrote the detailed plan for formalization, and estimated it would take 20 years. He actually carried out this plan, announced the completion in 2014, wrote the paper on formalization, and submitted the formalization paper, with 21 collaborators, in 2015. The formalization paper was published in 2017.

So there's that. The formal proof of Kepler conjecture is at the moment the most significant corpus of formalized mathematics in existence.
I'm not sure why you just put the registry line? Also this is the same registrar cnn.com uses.

Also, this registrar doesn't seem to provide _any_ whois contact information, is that allowed by ICAN?
> I believe that all EU has a similar approach

Not at all. At least Finland and Sweden do have a social security number assigned at birth (or immigration). They can be seen as a primary key in many contexts, not only when dealing with social security or the public sector. I guess there could be more such countries. In Finland the official recommendation these days is that you should be very cautious with your social security number, because it allows identity theft. But that is a bit ridiculous recommendation, because there are many cases where you have to give your social security number. Persons appearing to be 29 our younger need to show an ID when buying alcohol. So they show their social security number to every supermarket cashier. It would be illegal for the cashier to write them down and collect them, but easy to do for someone who trains a bit to memorize a birthdate plus 4 digits for a minute or 2. Nearly impossible to track.

In Germany on the other side having such universal primary key (a personal identifier) is deemed unconstitutional. Those who have been employed have a social security number, but it's not used for any other purpose than pensions. Probably most health insurances assign a number to the insured person, but it is meaningless outside of that insurer. A life-long tax number was only introduced a couple of years ago. It was quite much criticized by privacy activists that it is too close to a forbidden person identifier. Person identifiers existed in GDR (former East), but their usage was forbidden by law after re-unification (except in some cases where facts of the past need to be tracked).
All information is sensitive. Encrypt everything.
This format is ideal in this context, but the web is far larger than a digital ticker tape dispenser.

Some publishers are seeking to create a modern version of Life magazine. What do imagine that would look like? How about National Geographic?

I love, for example, what the teams at The New York Times are doing to enhance stories with creative uses of the modern web.

The web is not broken, it’s simply revealing that this is a better way to consume breaking news.
I'm curious though. What's the root domain going to be if this one is lite? Being a .io I'd like to think it will be an api site or something?
Best Emoji Apps for Android
Why should the government have it at all? Just let private citizens manage their own private key.
A café I go to sometimes for coffee injects ads to non-HTTPS websites. Full screen ads with a timer. It's a good reminder that HTTP sites can be and are being arbitrarily manipulated and surveilled by WiFi operators.
Some bitter conflict is referenced in footnote 1 of the 300 page summary.

"""
The author hears that a mathematician (I. F.), who pretends to understand inter-universal Teichm¨uller
theory, suggests in a literature that the author began to study inter-universal Teichm¨uller theory “by his
encouragement”. But, this differs from the fact that the author began it by his own will. The same person,
in other context as well, modified the author’s email with quotation symbol “>” and fabricated an email,
seemingly with ill-intention, as though the author had written it. The author would like to record these facts
here for avoiding misunderstandings or misdirections, arising from these kinds of cheats, of the comtemporary
and future people.
"""

I wonder if "I.F." is referring to the same "I.F." quoted in the original article.

[1] http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc_ver6.pd...

[2] https://www.maths.nottingham.ac.uk/personal/ibf/activity.htm...
> Traffic can only approach you from one direction

But from two axes in that direction; the entry-lane immediately to the right and then those already in circulation on the roundabout. And often two or more lanes on each of those axes.

When those in the nearest entry lane hold-back, something is approaching in circulation. Change focus to determine its lane, destination and rate of approach and if there is time to enter ahead of it.

For many modern roundabouts the view across the circle is deliberately obscured by vegetation for some reason.
Just look at history, or current conditions in some parts of asia: child labor, 16-hour days in overcrowded fire hazards etc.

But the more general point is: do you value an individual solely by what they can produce?

Extreme example: Late at night, Mr.&Mrs. Miller get in a car accident and die. Their 5-years old daughter survives. She is not capable of sustaining herself with productive work. Is it fair for her to die?

Yes, it's extreme. In any sane world, someone would somehow take the girl in and provide for her until she's old enough.

But taking in an orphan and caring for them is already altruistic. Continue down that path, you'll soon stumble upon a social safety net that canonises these instincts. That's better than individual initiative because:

- it can distribute the costs of caring equally, instead of burdening, say, one family with all the costs of raising little Amy Smith

- it's fairer: your survival should not depend on you being cuter than someone else in need

- it's dependable: there's value in knowing your child will be cared for should you suddenly be hit by a bus
>I think it’s precisely this level of hubris toward biology and the natural world which has led humanity to the state we are in.

You mean this awesome state where most of our children don't die before reaching adulthood?

You should really read a history book about how horrible life was before the dawn of modern industrial civilization. Our ancestors declared war on nature for a good reason and made our lives unimaginably better this way.

> Any loss of biodiversity is a tragedy.

I bet Africans disagree. Mosquitoes have killed more humans than all wars combined. Bill Gates and company are currently trying to wipe them out to save the lives of countless millions in Africa. I am pretty sure they won't miss the "biodiversity" which keeps killing them and the people they love.

By the way, the US used to have regions plagued by mosquitos and malaria too. The parasites were systematically exterminated through chemical warfare (DDT). Do you think e.g. Florida would be a better place with malaria? With hundreds of thousands of people being killed by it every year? I don't. And I am not ashamed of this "level of hubris".

> Once these genetics are lost, they are gone forever.

Not all genes are worth preserving e.g. the ones for horrible heritable diseases.

Also what you wrote is not really true, all life, all the biodiversity on earth evolved from the same archaic cells. So "gone forever" is too optimistic / pessimistic.
Normally, yes. But main() is special and implicitly returns 0, for whatever reason.
at least you did write them, I have respect for people suffering complexity when they don't know better
Woman of Letters: A Review of Jane Welsh Carlyle and Her Victorian World
"Iron ball paint" is another finish used on military equipment...planes, trucks, etc.

Supposedly, iron balls suspended at different levels in the paint scatters radar and makes whatever it's painted with more stealthy.
A tangent - but I live in Jakarta, Indonesia. Here around 2 years ago a local motorbike ride-sharing startup called Gojek so ago switched on a service called go-food. There legion of drivers would now pick up any food from any restaurant you wanted and drop it to you.

It killed most food delivery startups within a few weeks, they have since expanded the service to allow pickup of pretty much anything. Supermarkets, convenience stores, toyshops, pharmacies, pet-shops, hardware. Theres even a generic option to buy "something" from a shop at "address".

Its pretty easy to look at this and think this is the end-game in developed countries too. For at least those purchases where convenience and timing is a factor and cost not as much. All these disparate products are actually a very similar UX and solving the same problem.

Regular grocery shopping behaviour (or the startups running deliveries) hasn't been much effected, presumably as its a more bespoke use case.
It makes me pine for the days of Gopher.
My favourite HP calculator stories: Woz sold his to fund the development of the Apple I, and they were used in the later Apollo missions as a backup computer.

http://www.foundersatwork.com/steve-wozniak.html

https://hpinspace.wordpress.com/2009/07/16/hp-65-and-apollo-...
transfer is different from filesize

its more around 90% JS, 10% content

After the first page load (with scripts cached) its around 87% content (unfortunately they don't seem to be caching CSS)
It's still a significant order of magnitude more time consuming to write a formal proof as you can't gloss over any details. Proof automation helps somewhat but the search space is so enormous it's not going to be feasible any time soon that you can avoid doing the difficult parts yourself. The formal proof for the Kepler conjecture involved around 15 people and was estimated to take around 20 years of work I think. If the summary for this proof is 300 pages, the formal proof would probably be 3K pages at least.
I use uBlock Origin's element blocker to block these terrible news autoplay videos. I don't understand why news sites love them so much.
N1256 5.1.2.2.3 p1: If the return type of the main function is a type compatible with int, a return from the initial call to the main function is equivalent to calling the exit function with the value returned by the main function as its argument; reaching the } that terminates the main function returns a value of 0. If the return type is not compatible with int, the termination status returned to the host environment is unspecified.
One thing that has always befuddled me with HP calcs is their model numbers that don't seem to follow any rhyme or reason. How does the functionality of DM42 compare to for example WP34? And how does -48 compare, besides the relatively useless graphing capability? I see lots of people also preferring some other models (15, 16, 35, 41 etc), which I would have imagined to be strict subsets of these "juggernauts", but maybe that is not the case?
> we're rather experienced at handling the social aspect required to make such project take off potentially

I would be really interested in hearing what you guys do in that regard. I think a lot of worthy open-source projects fail not on their merits, but for their execution of the social aspect.
Honestly not much, but voter fraud is unheard of in the UK and the UK doesn't have a universal ID card. There is no legal requirement for a UK citizen to carry or have any form of official ID. Its just very impractical when trying to access some public and private services, but its not uncommon for poorer people to lack forms of ID. There isn't a mainstream racist/classist attempt to disenfranchise poor people in the UK by using imaginary voter fraud as justification (there are some accusations with regards to disenfranchising university students and young people that move around a lot, but that's an issue of ease of registration).

Also you need to consider:

1) Those kinds of people are probably not registered to vote. Voter registration is not automatic in the UK. It takes 5 minutes with an online form, but some people are just that disengaged.

2) The 'wards' in which you vote are often quite small and in close proximity, so it might be a little hard to figure out which polling place your friends are registered at if you haven't received their polling notification card. You can get this information, but its a small barrier.

3) The 'wards' have an average population of a few thousand, so there is a risk that an official might recognise you as trying to double vote, but I can't imagine how they might confront if they aren't 100% personally certain.

None of those are strong guarantees. If evidence of wide spread fraud were to come to light, party policy ID requirements might change, but to date no party is seriously considering introducing them. Past governments have repeatedly tried to introduce a universal ID that could be used in part for voting ID, but each attempt has ended in failure due to public backlash over civil liberties concerns.

https://en.wikipedia.org/wiki/Identity_Cards_Act_2006
Saving the Earth in long term is also more limiting people to one child max, preserving nature, etc..
7 Action Items for Introverts Starting New Ventures
I wonder how many HN readers would be unemployed if the world went this way. It's pretty interesting to think that a good chunk of the people you comment with are the ones coding bloated websites (most likely not because they want to!).
صور+خلفيات+2018+اجمل+خلفيات+شاشه+hd+اجمل+خلفيات+صور+روعه
Turbo C back in the day didn’t even give a warning.
HyperHTML
> were supposed to be kept secret

It's especially laughable because you have to give it to -everybody-. Phone service, cable service, schools, employers, etc etc etc.
Absolutely not. You can look at a crashing programs and see the return code is a random value. You can also make a program that doesn't return anything and see that it's also a random value, though some compilers on some platforms might initialize that to zero.
>Great so you just made it illegal or impossible to create a start up, congratulations.

All of this is under the context you'd be handling a lot of PII or sensitive information, in which case, yes, I don't want just any start up to work with PII without some kind of security team.
It is built on top of it.
Because not everyone needs NHS numbers, and not everyone needs NI numbers, and neither is a subset of the other
I was working at AOL Time Warner on 9/11 and our team helped out the CNN team to keep that site online. It was a crazy experience. I recall that Sun Microsystems had provisioned a huge datacenter room full of gear for another AOL project as a sort of "try before you buy" deal. We spent the afternoon kickstarting those machines and bootstrapping them as CNN content servers. It was a huge struggle just to keep everything online, given the massive surge in traffic that we were seeing. America had never seen an event like this since Pearl Harbor and most people didn't know what to do besides standing in front of a TV or--if you were at work--refreshing CNN all day. The idea of infra capacity to handle a news event of this magnitude wasn't something that had even been considered prior to 9/11.