skysight-inc/HackerNews huggingface dataset:
I don't think car ownership will drop by 90%. People like their personal space and think about a family who needs to put a car seat into the self-driving vehicle every time they use it. What about all the other junk you have in your car?

People who can afford their own self-driving vehicle will probably have one (but maybe not multiple cars per family). Cars will likely still be seen as an expression of personality or status symbols.
Show HN: Moon – fast 7k Vue alternative
Shark-detecting drones to patrol Australian beaches
IPCC disagrees
99% of crypto is about speculation, not investment; there's less and less talk about real utility as the bubble inflates and the need for real code (or even real ideas) to support the narrative decreases. I'm reminded of 1999 when the proverbial shoeshine boys were buying every IPO with ".com" in the name, driven by the reliable twin engines of fear (of missing out) and greed (money for nothing). Look at the bright colored icons and fun-sounding names on coinmarketcap: it's a 24/7/365 global penny stock arcade. When you view coins and ICOs through this lens the current state of the industry starts to make a lot more sense.
Racket is more an ecosystem of languages and includes DrRacket, the Racket programming environment. There's a ton of documentation: https://docs.racket-lang.org/

For instance Racket can take on the personality of R5RS, R6RS, or R7RS (among others) say.

Edit: Maybe I misunderstood your question?
The politics of cities will trump the politics of self driving cars, and the politics of self driving cars sits a very long way from a future where enough cars are self driving that removing super arterial roadways will be a reasonable consideration or the costs of going underground are palatable...the Big Dig replaced one form of transportation infrastructure with another.
Having a Best Friend in Your Teenage Years Could Benefit You for Life
Inspector Spacetime from Google: Inject motion specs into reference video
Cool link.
Im stating to use signal. Except network effect is strong...
Great post. As a consultant I've seen my share of shady stuff and plenty of privacy violations, tos violations and questionable security practice. Untill I see something actually illegal (hasn't happened yet) I have a policy of documenting what I see in writing to the management, along with why I think it is innapropriate or in need of fixing, and calling it good at that point.
Unfortunately for the author of this amazing (and cringeworthy) exercise, skeptics often put in a lot of effort, but receive practically no reward compared to the con artist.

Even the people who agree with and appreciate the effort of the skeptics are few compared to the number of irrational people who gladly follow the cons.

This is a bit radical (and probably outside the interest of HN), but if we somehow could remove personal financial need from society, imagine where our technologies might be driven?... instead of where they typically get hijacked and driven.

Television was once lauded as the future best thing to ever happen to education, but we know how that turned out. Same with the internet and web. And so on. Blockchain technologies are now the hottest and most ideal way to build a scam, because the audience is greedy and the technology is well beyond the comprehension of the average person.
Thanks, very helpful perspective. Once a paper is reviewed and approved, are there any rights around being able to present that paper at a conference?

I'm trying to understand what kind of legal transformation takes place one a paper on a non-patented methodology is released. I've skimmed the dynamo paper and it seems a good analogy in that it's about general database architecture concepts, rather than the specific implementation at Amazon. I might be wrong though as I haven't read it deeply.

For example, let's say you're the primary author of a paper and then later leave the company. Can there by any legal restriction preventing you or others who have never worked at the company from giving a conference presentation on that paper once published?
400 Bad Request Bug Caused by Airplane
>So when someone goes down and the police want to know who brought the offending snakes or jar of poison, just shrug and say, “pastor’s privilege.” That, Jamie said, should be enough to get the police to leave you alone.

Very interesting to read further .. https://en.wikipedia.org/wiki/Priest%E2%80%93penitent_privil...
GE share prices have mostly been in decline since Immelt took over from Welch. Just saying.
This firmly points to his imminent appointment as the next CEO of Uber.
Well, yes. But at the same time what other mechanism would you suggest to educate the large segment of the population that has absolutely no inkling of the mechanics of security? I don't see any and stories like this illustrate in a way that is accessible to all what the consequences of lax security could be. As such I think it serves a valid purpose, even if to those more knowledgeable like you it comes across as FUD.

And even within the security community there is a shift in the last couple of years with sexy names and bespoke websites for specific vulnerabilities. Apparently there is a need to get security out of the technical realm and into the public eye for reasons that transcend FUD.
Perhaps it's well known in the HN circle, but essentially all FB users are just free labor, helping give signals to the machine learning algorithm.
Hahaha ... for me, it's my iPad stealing the connection from my iPhone.

My wife would be on the iPad in one room turning on her music on through Slackr Radio or iTunes. When she hears nothing, she starts cranking up the volume and then she hears me yelling at her from another room to turn it down!! It's happened a number of times ... ""face palm""
Well... but usually those are actual errors that you would need to fix anyway.
As long as the manufacturers of the teleportation devices won't do OTA updates, otherwise there will likely be a sudden drop in demand for real estate, before or later ...
This is an open question. The GPL itself does not define what constitutes a derivative work. The FSF does, however, promote the view that linking does create a derivative work, while simply calling an external binary in usual cases does not. But that can't function as a hard rule. Because I could just make a wrapper binary that handles all of the scenarios I need a GPL'd library for, and then call my wrapper executable from my proprietary code.
This is fantastic. I have played around with Clojure and Haskell a bit, but really want to get into functional programming more. Not to hijack the thread, but I guess I am having trouble getting started. Any good resources for novices out there?

Edit: for the record I have Googled the topic and am overwhelmed by how much is out there. Looking for personal recommendations.
> but IMHO the best formalization of overfitting is in the literature on minimum description length

It's always surprised me how few people know about MDL, considering it's pretty darn close to what we might consider a "universal predictor" (granted, the difficulty with MDL is that it's uncomputable in the general sense). Even among most data scientists I know, very few understand what overfitting really is (and thus cross-validation and regularization are merely tools to what seems like the blackbox "art" of model selection).

But the concepts of MDL/MML and Kolmogorov complexity are very deep and fundamental—to such an extent that I think the path to true AGI will rely much more heavily upon algorithmic information theory than neural networks in the future.
But if living further from work costs you $300/mo extra, then it won't actually be cheaper to use a subscription-service model than to own the car yourself, and therefore people won't do that.
For some reason I am reminded of this section from Sam Harris's Waking Up:

See if you can stop thinking for the next sixty seconds. You can notice your breath, or listen to the birds, but do not let your attention be carried away by thought, any thought, even for an instant. Put down this book, and give it a try.

Some of you will be so distracted by thought as to imagine that you succeeded. In fact, beginning meditators often think that they are able to concentrate on a single object, such as the breath, for minutes at a time, only to report after days or weeks of intensive practice that their attention is now carried away by thought every few seconds. This is actually progress. It takes a certain degree of concentration to even notice how distracted you are. Even if your life depended on it, you could not spend a full minute free of thought.

The vast majority of us do not even know what we are thinking. I'm not sure there's much correlation with intelligence, either. If this sounds absurd to you, I can only recommend you try out meditation for a while until you see how disconcertingly true it is.

One day I hope the Economist publishes:

Can we know what we are thinking?

The inner lives of our species may be a lot richer than science once thought
Gordon Hall quit the team shortly after the funding completed. Same with several other Storj engineers, and their COO. A few days before the sale the CEO was demoted and kicked off of the board. They still don't have a replacement.
If VW is forced to make all regulations-breaching cars to be compliant and compensate the owner for down-time and loss in fuel-efficiency or performance, that might mean the end to VW. VW is touched softly, just like Intel, for example. I think both the car and the IC industries should be more regulated, and the regulations should be effectively enforced.
If non-FB/shadow profiles can be derived from phone numbers, or assumed relationships (e.g. "this person probably has parents"), might they also be derived from the contents of private messages?
You don't know why people want 30 million dollars for nothing?
You don't have to be German. Anyone outside the US and Canada has the right to access their FB data. See http://www.europe-v-facebook.org/EN/Get_your_Data_/get_your_...
Are you saving towards a downpayment?
Actually, the complexity of Graph Isomorphism in general is still unknown, and any definite classification would have interesting consequences. https://en.wikipedia.org/wiki/Graph_isomorphism_problem

I agree though that control flow graphs are probably easier to align than completely random graphs, although there might be pathological cases e.g. if you have lots of identical subgraphs like if err != nil { return nil, err }.
In that case you could just boot up a VM and run Chrome with WR from there.
I wanted to build something similar for surfing forecasts a couple years ago, but couldn't find any decent data source... Where is the data coming from? Is this publicly available?
You ignore places like china with severe traffic problems in their cities and an autocratic government that can push things through. They'll make self driving cars mandatory inside the fifth ring road just to optimize road and parking resources and ignore the western habits you describe above. That will be a huge deal for megacities, and not much of a change from personal habits where taxis are already ubiquitous. Also, see Singapore, Hong Kong, Tokyo, Bangkok, Manila, ....
Facebook do maintain shaadow profiles:

https://www.dailydot.com/news/facebook-shadow-profiles-priva...
It's at least plausible that the current infatuation with mostly a handful of dense urban cores by mostly a certain young educated demographic will end up being a short-term blip. It's pretty recent--which is one of the big reasons for all the issues with housing and transit infrastructure in those areas. It wouldn't surprise me at all if people look back in 20 or 30 years and see migration to the densest urban areas in the US as this temporary aberration.
"Cache-Conscious Collision Resolution in String Hash Tables" Nikolas Askitis and Justin Zobel, SPIRE 2005

The most simple and most effective hash table scheme, and nobody is using it, or even knows about it. Fastest and least memory, but not thread-safe. After 12 years there's still nothing better on the horizon.

Though the CheneyMTA paper is also brilliant, a typical Baker paper.
Coq isn't very good for developing with properties encoded in the types. Such properties are defined seperately from the data structures involved.
iOS SDK for single click uploads of the app's UI to the web browser
Is it possible that neoliberal policy is one means by which the modern day Marxist and their watered down derivates seek to emanticize the eschaton? What's the end game?
19 Books About Blockchain and Bitcoin You Might Want to Read
> That means a 10 or a 50 mile commute are really just a question of your personal time, they don't have much price-cost

Maybe in the united states, but in most Europe the highest cost for owning a car is gas.

10 miles a day or 50 miles a day can make easily a difference at the end of the year of thousands of euro.
This is a very American mindset. I agree with what you said if we restrict the world to the USA.
thanks david, if i could rewrite git history for the sole purpose of not being associated with it anymore, i think i would. i think a few of us would.
Long ago I had a large orange cat. He would sit on my chest to wake me up. If I didn't wake up he would hook the end of one of his claws into that sensitive piece of flesh the lies between the nostrils, and pull hard. I'm pretty sure he would have eaten me too if I didn't respond to that stimulus.
Relational Programming in Libra (1999)
A blockchain is necessary for decentralization, which brings 3 main benefits:

1 - Censorship resistance. There is what I call big and small censorship. It can be an authoritarian government seizing the bank account of a journal supporting the opposition, or it can take the form of Paypal freezing someone's account for the wrong reasons (a few examples: https://news.ycombinator.com/item?id=1803488 or https://www.dailydot.com/layer8/paypal-protonmail-freeze/ or https://news.ycombinator.com/item?id=11048131). Cryptocurrencies solve this by allowing users to be in absolute control of their cryptocurrency addresses and keys.

2 - Irreversibility of payments. This helps merchants avoid fraudulent credit card chargebacks: once funds are received they are spendable right away. No one can reverse payments. No system other than blockchains offer irreversibility.

3 - Permissionless. You don't need anyone's permission to participate in Bitcoin or other cryptocurrencies. Banks sometimes refuse to let people (especially the poor) open bank accounts. Because they don't have enough for an initial deposit, or have a bad credit history, etc. By contrast, anyone can be a cryptocurrency user as long as they have a $20 Android smartphone.
> Requiring OCaml in the base operating system

I'm not sure I understand this concern in the majority use cases. Why would you need an OCaml compiler installed?
Gotta pay rent.
Until people find out the teleporter is really just making a copy of the person at a remote destination and then killing the original.
> Yes, I'm more likely to have incorrect code, and it's probably going to show up while the code is running, and not before. Many times, that's a tradeoff I'm willing to accept.

I find the runtime errors I get from dynamically typed languages typically much clearer (and easier to debug) than many compile-time errors from C++ or Haskell.

I do like C's static type systems because it's needed for efficiency at runtime. (Re-) Compiling C can be close to dynamic execution for not-too-large applications. Often also C++ is needed for easy to use containers, but as some else said here it's really a tradeoff because compiles are much slower (I don't know why that is, but part may be because containers are re-compiled for every compilation unit that uses them).

And the overwhelming majority of bugs really appear on the first run of the dynamically typed code. The bugs that remain would have very often been also bugs with statically typed languages, since these are so ridiculously bad at expressing the simple invariants... They get unusable much faster than they get good at helping with bug-discovery.
" and GNU Make is readily available for Windows, e.g. as part of MinGW."

... I don't think we have the same definition of "readily available". First you have to choose between two dozens MinGW distros, some up-to-date, some not, choose if you want to use Windows or Unix paths, etc etc.
There are roughly 300 million people in the US. A given person has, let's say, ~10,000 tenuous connections.

How often would a random selection of 1000 people from the 300 million be expected to intersect with the 10,000?
This doesn't seem easy at all.
The history of Jews in the Netherlands during the Nazi Holocaust, many of whom were identified through census records, comes to mind.

https://ww2gravestone.com/holocaust-in-the-netherlands/

For contemporary instances, consider that the present U.S. administration openly supports racist, neo-Nazi, White Supremecist, and similar organisations. Social-graph association of undocumented immigrants, Muslims, gang- (or non-gang-) members, or similar inferences, all come readily to mind.
According to Parks herself it was a spontaneous act:

"I did not think about [being the test case for the NAACP] at all. In fact if I had let myself think too deeply about what might happen to me, I might have gotten off the bus. But I chose to remain."[1]

There's a lot of propaganda chaff around Rosa Parks. It seems that it was neither carefully planned, nor a completely spontaneous act of rebellion. She and a great many other people had been seething about the buses for years, and on that day she had simply had enough. I suspect the "carefully planned NAACP sting operation" narrative arose as a backlash to the equally inaccurate "totally random uninvolved old lady stands up for herself" narrative.

[1] https://contexts.org/articles/telling-stories-about-rosa-par...
> Double press the system button of any controller or the left of the HMD. There's also a button in the Steam overlay. Make sure the camera is enabled in the settings, and you may lower the refresh rate if there are USB issues. It's a very shitty camera but it's good enough for finding the controllers, obstacles, etc.

Okay, you have just blown my mind. This increases usability a lot! Months of owning this and I had no idea... Thanks!
New Record for the World's Strongest Resistive Magnet (41.4 Teslas)
If you want space - perhaps you have children - you'll easily trade commute time. Don't forget big houses are way more expensive in dense areas, dwarfing transport costs. Mortgage on a central house vs suburbs is in the region of 5x to 10x more expensive (London prices), not 50 bucks.

The reason is simple. You can fit 5 to 10x more people in the land area of a big house in a city, at least.
You're coming to this discussion with an unjustified assertion that thinking is very narrowly defined and then circularly showing that other kinds of things that neurons can do are not "thinking" because they don't fit the definition.

In the huge space of all possible kinds of cognition, humans have only ever occupied the tiniest sliver. There's modes of thought out there that we can't conceive of.
The only good thing that can be said about the system of "income taxation" is that it gives people a large-ish chunk of money to spend once a year. One of my passengers blew a good chunk of her refund paying me to chase after her boyfriend....

Otherwise, the system is essential for establishing and maintaining the country's unequal distribution of wealth. Why is it that unearned income (investments) is taxed at 15%, while labor (survival money) is taxed at 25+%	($37,651 to $91,150)?

The most important tax reform we need is to eliminate most people's tax burden. I think the 'negative income tax' is a reasonable proposal.
Get More Sales, Clicks: 9 Proven Headline Writing Techniques: (Part I)
And this is my favourite part:

"And how strong is 41.4 teslas? Going back to the fridge magnets, you'd need more than 4,000 of them to achieve the same force."
Gitlab and graylog
Cool. If someone figures out the process let's all do it. I quit FB yeaaaaaaaaaaars ago (~2008?) but would be keen to check the shadow profile. I wonder if you can do that? Incidentally I am German by third citizenship.
Unfortunately OCaml itself has its own weird licensing issues being distributed under a combination of the QPL and GNU licenses.

Every few years I take a look at it, notice the license and move on. There's no reason whatsoever for a language not to have an implementation under a permissive license.
windows not being able to mix and match object files compiled in different ways is really disastrous. On linux and windows I always work in release mode. If I have problems on the linux side I can target compile 1 or 2 object files debug, relink, run and get stack traces if I need. That's all totally independent of programming environment.
No, Nazis, Cyber Genius Claude Shannon Can’t Be Your Hero
Ask HN: What software (desktop or SaaS) can you not live without?
An alternative would be have the pigouvian tax on power stations, but at a rate where it is cheaper to buy from the line than hook up an ICE to a generator.
Tax regimes should always take market effects and enforcement into account.

Thermal efficiency of a good ICE: 38%

Thermal efficiency of a good natural gas plant: 54%

Average power line losses: 8-15%

http://www.greencarreports.com/news/1091436_toyota-gasoline-...

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

http://blog.schneider-electric.com/energy-management-energy-...
There's a great list available here:

https://github.com/Kickball/awesome-selfhosted
IMHO if you look at the history of how computers were programmed, then you will see that functions/subroutines/procedures/callable blocks/etc., as well as other abstractions, were basically invented to serve a very obvious and utilitarian purpose: to reduce duplication of code; and anything beyond this is dubious.

I find "straight-line" code, perhaps in one long function, with comments to provide commentary and "navigation", far easier to read than the dozens-of-tiny-and-verbosely-named-functions style too. The "readability" argument is commonly used, but it's focusing on the wrong thing: a single-line function is certainly going to be easier to understand than a 512-line function, but understanding a single-line function does not make it any easier to understand the system/algorithm/etc. as a whole. The latter is extremely important, because not knowing "the big picture" can lead to very bad decisions overall; I've seen many cases where bugs or accidental and severe inefficiencies (e.g. unnecessary allocations, high-polynomial complexity, multiply duplicate accesses to data, etc.) were created because the author of the code only focused on a tiny piece and neglected to consider its application in the whole.

There are some very insightful posts by an APL(!) programmer here, discussing the topic of complexity overall vs. complexity in parts:

https://news.ycombinator.com/item?id=13565743

https://news.ycombinator.com/item?id=13797797

I suspect part of the motivation for producing "microfunctions" may have come from a misunderstanding of the "decompose the problem" principle --- which is intended to mean that you, as a programmer, decompose the problem into simpler steps --- but not that each step necessarily warrants a function.

The same problem and principles apply to other levels of organisation: classes, structures, files. etc. --- they are intended to reduce duplication and simplify code, but will have the opposite effect if used to excess.