skysight-inc/HackerNews huggingface dataset:
> The future is mechanical proofs.

That almost sounds like "the future is mechanically composed novels" (or music). Understanding why something is true is just as important as knowing that it is. Mechanical proofs will be impossible for humans to understand, so the value of such proofs will be rather limited (in that people will still continue searching for a "real" proof).
I loved the article. On interesting point:
"For the first few days I wallowed in freedom: no phone calls, no emails, no neighbours."

Maybe she is talking about email notifications, because most email are text, so silence. But if you stop to think, when you read email, your brain can process this as an audible memory, so noise. Much like you read some author famous quote, and you can "hear" in your mind his voice. :)
I'm quite thankful that we don't have to worry about the syntactic position of comments, and the wise folks of CL, as you may know, made it so that saving comment text can be as easy as:

(defparameter *comments* nil)

(defun comment-saver (stream char)
(declare (ignore char))
(push
(list
*load-pathname*
(stream-file-position stream)
(with-output-to-string (str)
(loop :with c :while (char/= #\newline (setf c (read-char stream)))
:do (write-char c str))))
*comments*)
(values))

(set-macro-character #\; #'comment-saver)

With apologies for boring the non-Lisp infatuated.
I think they dropped the ball on it, quality-wise. But that's not a RN thing, that's a Skype team thing. Instagram works just fine and it runs a significant chunk of its code on RN. For that matter, so does Discord, which also runs great.
There's no reason we can't have national IDs.

I don't have a drivers' license, but I carry my Passport Card around.
The problem is that housing is not a free market, and there's an uncanny valley effect: free markets are great, socialism is not without its own benefits, but a non-free market has the advantages of neither and the disadvantages of both.

That is, housing is not a free market because it's illegal to build enough of it to meet demand. Employment is not a free market for a variety of reasons, which means employees don't have enough bargaining power to get remote work. And the U.S. has the special problem that Internet access is not a free market either, political corruption has crippled the ability of rural areas to provide it for themselves, which in turn damages the ability of the economy to provide jobs in areas where there is enough housing.

And as long as all that is true, saying housing can be allocated by the market is just saying 'let them eat cake': an abdication by government of its responsibilities to safeguard the most basic rights of the people.
This is probably a really stupid question -

This is the second time I've looked at this, and I still can't work out how to create a notebook.
Privacy--: Yahoo is now a part of Oath
Haha, I did not, though that is a fairly common refrain. As a New Yorker, I do not believe it’s the best city in the world, but I think it’s the best in the States.
Wealth and Morality
Starting with C has made me consider it a travesty whenever seeing a language where "main" is forced into being a method on a class.

OOP as a technique is fine, but any language disallowing freestanding functions is perverted, I tells ya.
> And signatories to the UN should be compelled to adhere to a set of clearly defined moral principles, to open the way for action to be taken immediately against violators.

You mean like a legal system?
Maybe not value on a material level, but there is definitely value lost in the relationships and sense of community that would disappear from forcibly relocating a large group of people like this. Maybe if they moved everyone to a new area together, but I'd guess they would just be distributed across the district.
If you want to use a historical metaphor, r/coontown backs Nazi Germany, and r/latestagecapitalism backs the French Revolution and the Bolsheviks.

I hope you can recognize the difference. One is irrational hatred, the other is justified.
To be clear, regulatory capture is when the regulator advances the interests of the industry rather than of the public. Revolving door is a separate issue.

There's an interesting argument that the revolving door actually prevents regulatory capture through encouraging regulators to be more strict. The idea is that the more onerous the regulations, the more desireable it is for corporations to hire former regulators who know the system. "Keep your friends close, and your enemies closer."

Matt Levine's take on it: https://www.bloomberg.com/view/articles/2014-06-26/strict-re...
In the US it went up to 90% in the early part of that timeframe.
As long as they're paying more than the investors offered, it seems fine. Article makes it unclear how the price they paid compares to what the sell price would have been.
So let's say you want to apply for a bank loan or credit card online, or look up information about yourself on a government website - how do you prove you're you?

Or is this simply not possible in the UK without visiting a bank branch etc.?
It's a new implementation of the GNU Social spec.
If they can punish those Sumo Me fullscreen popups that ask for your email everytime you're 2 seconds into the page, that would be great.
That could be true. But I'd like to hear what the Franz people have to say about it before I accept it as the whole truth.
I primarily use Python scripts in my day job to parse data, automate job runs, analyze data...etc.

Rarely is anything complicated enough to abstract without making the code longer and more complex. Anybody can follow imperative code. OO is more difficult.
> Well, about offline availability, a large number of instant answers [...] can't work offline

Sure, but there are a large number of instant answers that can and do work offline because they're simple, static tables, or are self-contained—existing only to apply transformations on the input (e.g., cheatsheets, natural language unit conversions, and calculations).

> DDG does have official(and unofficial) browser extensions and apps for iOS/Android

A browser extension that just sends the query the same as it would if you hit their homepage is in the "what's the point?" category, just like mobile sites that nag you to install their app when all it does is show you the same content that is (or could be) on the mobile site itself. The "is a browser extension" is not the interesting part. "Doesn't send data to a third party" and "can operate without being connected to the network" are.
I mainly write in Go. My adopted approach is to be pragmatic about how I approach my problems.

I kinda tend to start with a OOP style for the data models and a small shake of FP for the functions but change this according to my needs.

There is no one true style for programming, there is only tools for a task and using the best or good enough tool is the only important thing. (Though sometimes it's fun to use the wrong tool and see how it goes)
The supply of housing is severely limited by non-capitalist forces. It's hard to take it as an example of anything in isolation. If there was enough housing for all the people who wanted to live in Berlin, then it wouldn't be possible to buy a building and raise the rent.
Do you mean something different from ELF's bss segment?
FP. Because it makes most things easier while resulting in software that works more consistently.
My preference recently for side projects has been imperative/procedural style of programming. I prefer it to OO and FP hands down. To me code is so much easier to read when you don't have clever abstractions everywhere, most code reads line by line and isn't trying to hide anything. I think there is a tradeoff between concise terse code you find in OO/FP that reuses other code vs the long step-by-step procedural code. For me personally I'd prefer longer code that is not reusing a bunch of other functions.

It's almost a weird paradox: OO/FP focuses on reusing code yet imperative/procedural code (ie: C) does not reuse code but is itself the most reusable code. You can't have your cake and eat it too I guess.
The point is that if it was a head-fake to provoke the Soviet Union into destroying itself by defense spending (which is NOT the reason the Soviet Union collapsed), then 'zapping incoming missiles' was a lie. And if it really could 'zap incoming missiles', then it wasn't a head-fake.

The fact of the matter is SDI was a fraud on the American people, the United States wasted huge amounts of money on it, it couldn't 'zap incoming missiles', the defense contractors cheated, took the money and ran, which could have been used for much better purposes, because the Soviet Union collapsed for completely different reasons than overspending to compete with SDI.

http://www.nytimes.com/1990/09/18/science/technical-failures...

Technical Failures Bedevil Star Wars

>For the first time, after years of level financing at around $4 billion, opponents are on the verge of pushing through deep budget cuts in the program, which so far has cost $20 billion. The House leadership is moving to slice in half the Bush Administration's request of $4.7 billion for Star Wars for the fiscal year 1991, to $2.3 billion. The Senate voted to set aside $3.7 billion.

>[...] In a dozen or so major tests conducted this year, half have experienced problems, ranging from runaway rockets to warhead explosions to satellite malfunctions. The failures have marred the most ambitious and costly agenda in the program's history, intended to be the first broad demonstration of anti-missile technologies that have been incubating in laboratories, often amid great secrecy, for more than seven years since President Ronald Reagan started the program in March 1983.

http://www.independent.co.uk/news/world/reagans-great-lie-in...

Reagan's great lie in the sky: Star Wars scientists may have deceived Moscow and Congress about the project, writes David Usborne in Washington

>Now, however, allegations are being made that the entire experiment was a scientific fraud. According to a New York Times report based on interviews with four unidentified former Reagan officials, the two missiles had secretly been fitted with radio beacons to guarantee their meeting in space.
What do you miss about Gopher?
Yes, it is a little odd. If a polity thinks that long term residence should covey property rights maybe it should pass laws that encourage or require rent-to-own schemes instead of layering confusing quasi-property rights on top of the rental/ownership dichotomy.
"identical sized piles of money" is a strawman, but lots of people support, and would like more of, tax-financed income transfers and high quality public services to reduce economic inequality.
Depression might be a physical illness treatable with anti-inflammatory drugs
Exactly. You can't have perfect trust in every citizen to keep track of these things. And if it's a government issued ID in the first place, I see no trouble with them having your private key as well. Just don't reuse that key.

This would take a lot of solid investment politically, and technically, to make it even slightly feasible to work for the average Joe.
> Still I am surprised to see why many ppl don't cook

Many people don't know how to cook and I assume that a lot lack basic knowledge about what food is healthy too. I wonder why this isn't taught at school.
I feel like this might be better titled as a "Pixel Art Advanced Concepts Tutorial" - this seems to assume you're already extremely proficient at making figures out of pixel art.

I definitely clicked this excited to see a "Pixel Art 101" tutorial.
Reddit open source: Raddit
> Isn't supply-and-demand nebulous?

Supply and demand are concepts we invented to help us better understand how markets work. They are purely descriptive (as opposed to prescriptive).

They are quite effective at describing important aspects of market dynamics, which is why they are used so much.

Of course, they are far from capturing all of the complexities of human commerce, but they are still incredibly useful.
Right. This is probably one reason TADDCC was omitted from SPARC64.
Berlin is lead by a left-far left-green coalition and gets billions of € every year from the Länderfinanzausgleich. Basically, other germans pay for their citys reckless spending on questionable projects. High rents need more living space, not payed-by-other one
i don't know react. Can you elaborate what you mean using React as a templating language? Are you saying react can be used sans any business logic and purely for template interpolation?
A bright and shiny hell
A Nanopass Framework for Compiler Education [PDF]
BMW did something with the 116d, 118d and 120d. All had the same 2 litre diesel engine - and there was considerable sharing of all power related components, including the brakes. Not 100% identical across the board but pretty darn close. The 116d and 118d were detuned via ECU.

https://www.whatcar.com/bmw/1-series/hatchback/review/on-the...
> My personal view is that nobody needs billions of dollars to lead a happy and fulfilled life

I think having (needing) that much money is generally an indication that you don't lead a happy and fulfilled life.
It is definitely true that cities require many income levels to be sustainable -- preventing monoculture is not just a kind of cultural bias but it is sound economic strategy to keep your city vital and desirable over the long term. There is so much accrued capital into wealthy hands across the world with need to find profitable parking -- allowing your city to become a real estate bubble in service to investment funds is trading short term gains for long term losses.
It's also interesting that people genuinely believe this is going to solve the problem rather than exacerbate it.

There is nothing any politician can do to change the laws of supply and demand. If this district in Berlin is in high demand, they're not going to fix the "problem" of high rents by keeping the supply fixed.

The only solution to this "problem" is to let people build additional housing to increase supply.

Instead of keeping the same people in their current units, overtime what will happen is people who currently rent apartments in this district will start to sub-let their apartments to the people who are willing to pay higher prices, acting as a wealth transfer from landlords to current tenants. And yes this will occur even if it's made "illegal" to sublet these apartments (this exact situation exists in NYC with people who have rent controlled apartments and people still do it all the time).
The link to the full CNN experience at the bottom of each article doesn't deep link to that article's full experience. It just goes to the cnn home page. big fail
https://duck.co/ia
This Is What Machines See When They Look at Us
Any idea what would happen to chat boxes that pop up on companies websites? they don't block the content and are there to interact with customers (think olark).
Does anyone know if that would lead to lower search ranking as well?
IE, the EPA at the moment.
Xu Shoulan V. Peng Yu
Very interesting! I explored this method and compared it to Newton's method, you may like it: https://github.com/sharnett/point_to_ellipse/blob/master/poi...
Whatever information is at that public link is info posted by the guy or his employer. It's not doxxing him. It's merely linking to a public webpage that the person themselves approved.
The other option is to decentralize. As long as there are no major population concentrations, there are no super desirable terror targets. That could keep the casualties small and containable. I suspect the million-plus metropolis will be going out of fashion once the threats are better understood.
This one is a bit more informative: https://www.youtube.com/watch?v=XYisYYhKKYA.
Talking about mentioning people and retweets (ie forwarding) like they are grand monolithic features just blows them up to insane proportions. These aren't anything new or special, if you list them as core "features" then you have a terrible product with more marketing bullshit than quality
Well, I think if you compromise the identities and credit files of 150m+ Americans, "full disgorgement of revenue" is a fair punishment.
quick practice explains the idea - listen to cards. there are strategies https://oigovoz.com/strategies and user can also configure favorite voices (speed and volume) I encourage people to sign up and give it a try.
I'm interested to see how this plays out. Some cities have opposite approach. These are older articles, but it might be a reason why Berlin decided to try new approach:
https://www.theguardian.com/society/2014/jan/31/inside-londo...
https://www.theguardian.com/uk-news/2015/jan/25/its-like-a-g...
Super Mario 64 Online Release [video]
That's too bad, the Kreuzberg part of this dual district really needs a lot of improvement. One may risk saying needs a bit more gentrification.
Mechanical proofs and understanding are not mutually exclusive, that's the whole point! Just like mechanical processes [aka software] are still understandable. A stronger conjecture is that mechanical proofs will enable _better_ understanding, as tools and metrics are developed for tackling "understanding".
I'm glad that NYT removed Austin from the list for mass transit / transportation reasons: the roads are full during rush hours. The only reason I make it is because I commute against traffic, and even that is becoming worse.

Plus the water situation when there's no hurricanes around to refill the lakes is fairly dire.

Nope, Austin's full.
Similar case here as a cognitive science PhD student... analyses (Jupyter notebooks) are basically imperative but if I need to write a library to support the analysis (which I almost always need to do) then OO.
> It seems by now it should be possible to run a community supported completely transparent search engine with relatively limited means ($X00k/year).

I'd argue the opposite, the time when such a thing would have been possible is long past. If you want to get anywhere near to the quality in results that the big engines offer then you're going to be spending some pretty big cash.
there is no reason to believe the others are better.
One possible future we should think about is one where humans are more capable (through technology) and can provide for more of their needs. So work would go back to being owned by us.

It would be a more self-sufficient life style, but on a higher technology base than farmers.

I'm blogging about it here at https://improvingautonomy.wordpress.com . My post on universal basic income is probably the most relevant.

https://improvingautonomy.wordpress.com/2017/08/05/what-afte...

I hope this line of thinking can be part of our discussion about the future of work.
> The magic is the automatic saving of subexpressions on a stack. Once you got the hang of it, you would never want to go back to an infix calculator

I was one of these smug HP calculator owners back in high school and college. I loved it and spent hours hacking on it (and also secretly enjoyed the fact that nobody borrowed it since hardly anyone knew how to use it).

Years later, I started realizing that the reason why these calculators do take fewer keypresses to make calculations is because they borrow your brain to assist them.

For example, you see `3 * (2 + 4)` and your brain has to identify the most nested parenthesis expression, type that in and work your way out. It works well enough for simple expressions but doesn't really scale very far beyond that.

Remember this SETI program that used people's idle CPU's to scan sky pictures? I felt HP calculators had been pulling the same trick by borrowing your brain to calculate their expressions.

I felt that I had been cheated but I wasn't really mad about it because I loved these calculators so much.
Posting the document is fine. Posting a link to his contact page while calling him a sellout is probably overstepping. The sole reason for posting the second link is to say "Look at this person. Isn't he horrible? Here's his name, phone number and email address."

HN is almost a top-500 website by traffic. A lot of people come here. How likely is it that people here will start harassing him just because it's easy? His info is right there.
Why LA 2028 will be the first truly digital Olympic Games
And if you make a mistake that costs the company $10k is it also okay to withhold $10,000 from your pay that period too? You seem to be tying reward _directly_ to profit, while ignoring the risk involved. Usually the higher the risk, the higher the opportunity for reward - but if it fails, the business needs to absorb the risky loss and insulate the workers as much as possible. This means that when there IS a big profit, part of that profit needs to be kept for future losses too in order to smooth things out so they don't have to do layoffs if they have a bad month.

If you fly too close to the sun and your weekly pay directly relates to the value you put in that week you'd might have job security but you'd have absolutely no income security!
Varnish is an in-memory cache that sits in front of a site.
Some things can't be easily fixed. It can take years or even decades to restore damaged wilderness to something approaching its natural state.
I have one of the new HP 15c's they created 6-7 years ago. It is the exact same as my dad's from ~1985, but much faster due to the new chip. As great as it is, the Voyage-200 (TI-89 with more RAM, more buttons..etc) would run circles around it for usability. A HP might be able to get the answer first, but with my Voyage the full equation was pretty-printed on the screen and i could adjust each variable without retyping everything.
You could do worse than to start with those items listed in the Universal Rights of Man and assume that anything associated with those should never be in any way be something that you'd have to pay for. After all, if they are universal rights then you can't put a $ figure on them.

And then you read that list and you realize that those are exactly the things that are being milked for all they are worth, and often more.
You're right. I'm a moron. However, I'd like to point out that Texas state gov't doesn't send a big "welcome" message of tolerance and inclusion to LGBTQ community.
Has the Voynich manuscript really been solved?
Show HN: BuildBootstrap – responsive grid layout builder for Bootstrap 4
Not to mention, there's a non-insignificant portion of the population that's allergic. Generally it's not life threatening but most commonly it'll lead to cold like symptoms (nose/head congestion, trouble sleeping).
The Swift Compiler's Build System
Spotify’s Web Player no longer works on Safari
Inaudible Voice Commands Can Hack Siri, Google Now and Alexa
I can't speak for the grandparent poster, but it seems he was making a case for Denver being great for Amazon, not necessarily discussing if Amazon would be great for Denver.

That said, I wouldn't mind seeing Amazon HQ2 locate here. While I doubt I would personally want to work for Amazon due to its reputation as being a lousy place to work, it would probably boost the tech scene and salaries. I think Denver's cost of living is going to continue its steep trajectory with or without Amazon.
Not forming new social bonds is an entirely different thing than breaking existing ones. Yes, it maths out to "these social bonds don't exist", but the latter is far more painful to actual humans.

It's also why there's a significant ethical difference between murder on the one hand, and abortion and birth control on the other.
I don't believe Twitter is doing as much algorithmic targeting as Facebook is for sure, but I believe the likelihood of that changing is very high. They need to justify that $13bn market cap.
I'm an idiot cuz I forgot about the SC decision.

However, I meant it's relevant between Austin/Dallas and other cities nationally.
Didn't google+ do just that with circles?