skysight-inc/HackerNews huggingface dataset:
I'm curious what Apple has to actually gain by doing Maps?

Is it just about not wanting to share user information with Google as a selling point for their devices? Competition for Google Maps is absolutely a good thing to spur innovation.

At this point, I'm still using Google Maps because they still seem far more usable and feature filled. I'd love to see a viable alternative.
One thing I've found interesting in my very limited experience of Haskell is the connection to formally verifiable properties. Programs written in C or assembly very often have correctness and safety problems—among many others, memory corruption problems. Haskell and many related systems help provide tools to check programmatically that various large classes of error condition can't be present in a code base.

You might think that this isn't worth the mathematical rigamarole that comes with it and that it's grown up with, but as people have seen in a number of other HN threads, formal methods are having a renaissance now and the tools we have that engage with them can get us a lot further than they could in the 1960s.

I have written many bugs, of many different kinds, in other languages that could have been detected automatically by a type system like Haskell's. I'm not suggesting that that makes the other languages inherently bad, or that other programmers (or I) couldn't adopt other methods that would also help avoid these errors, but I think the ease with which Haskell's approach can do it is something interesting to consider.
I don't know if this is serious or not, but really these days learning to code and engineer software without college is extremely doable, and you can be ready to work in under a year (faster with boot camps and such, but the cost there may not be worth it). I know many, many highly successful developers that didn't go to school at all. They taught themselves to code and built something cool, then started working. By the time most people leave school with a mountain of debt, they are making 20 to 30k more than entry-level engineer would make. You really don't need college anymore.
> there’s no magic secret sauce IP or tech that makes WeWork special here

Indeed; they don't really have a moat. For customers who travel a lot, there might be some network effects, but I suspect they're the minority.
They all suck. C#'s Linq seems cool but I don't live in that ecosystem. Also Cypher fro graph DBs or better still Gremlin are nice and more elegant.

But I'd just want to write code like:

(employees * addresses)[employee.name, address.city.name]
| filter{address.city.name = "London"}

...that would match rel algebra notation nicely, and extend to complex cases more like:

( employees e *{e.id = a.employee_id} addresses a )
| filter{a.city.name = "London"}
| [e.name, a.city.name]

...you can replace operators with words of course. Or you could represent this as a JSON structure, even better imo. But the point would be to have a notation highlighting the idea of a "product", of restricting and specializing that product or specifying how it's made, and of indexing into its fields. The way I see it in my mind is like taking "a (maybe generalized) cartesian product" of different things, then filtering this, then zooming on each dot/point/object and filtering its fields etc. And obviously focusing on piping/chaining stuff.

Maybe the notation I suggest is not a good one, but I'd care more about making the concepts obvious and readable and composable.
I certainly think it's better to be stuck in a traffic jam and sit in your own car than stuck in a traffic jam inside a packed vehicle full of other (sometimes extremely unpleasant) people.
Four years ago in this case, the LA police said that all cars in Los Angeles are under investigation. [1]

[1] https://news.ycombinator.com/item?id=7434448
Who'd they steal it from this time?
This will come off as depressing thought but why so much focus on early death vs later death. What about how we leaved the life we leaved. It can be six hours of sleep but overall if the life is exciting and have enough money to support the family then how does it matter how late you die ?
No, remote control is not required. It would probably be implemented as every car having machine vision to recognise road signs, or a built-in sat nav with the map data including speed limits. Both of which are already available on production cars - the new "feature" would be linking those to a speed limiter.

Of course, whether this would be popular with voters or car companies is another matter...
Show HN: I am a high school student and I did research on 3D adversarial attacks
I don't disagree with the "no silver bullet" quote, but you can't answer every question with that phrase. I also agree re TDD, etc.

But your comment is still odd. Refactoring seems to be a core tenet of modern programming (regardless of TDD). In TDD in particular it's a central part of how you work, and so your remark sounds odd unless you also claim you don't believe in TDD :)
Shanghai is massive but that's just the sheer size of its population. It's the most populous city in the world on some measures; they've planning for 30 billion by 2030. It's built much denser than most US cities, which means it's much more walkable, and the subway network also makes it much more practical to travel by train because it means you don't need a car at the other end.

You have to start with getting rid of parking minimums and "green space" and building dense, walkable cities. Once you have those it makes a lot more sense to connect them with trains or similar.
No they won't drop Facebook. They will keep using facebook as long as it's useful to them or the next big thing comes along. 90% of people don't care if the government spies on everything they do.
Good points but these are outliers IMHO. The context was extreme and also rare.
Fair enough if it is useful for you. I am curious what makes it useful, as it seems to be a very negative and destructive way of thinking. At least I have never met an adherent to that philosophy with a positive outlook on things.
I could pull that off in my early twenties while studying and working full time and still have energy for other activities.

Now at 30, if I get less than 8 hours of uninterrupted sleep a few days in a row, I'm a zombie and I feel the negative effect in all my activities: brain fog at work, depressed, no lust for social gatherings, sports or sex.
You might like https://www.reddit.com/r/UrbanHell/

But whenever a Soviet style building is posted there, someone who lived in that type of building posts that it wasn't so bad.
Bakersfield and Fresno metro's are about half a million people each. And also the current planned route is close to Santa Cruz and Monterrey Counties which adds another 3/4 of a million people.

No matter how you slice it the original route is going to leave some people out.
You will get more depressed if you visit Shanghai and compare it with Manhattan.
Actually your usual backyard lawns are not much better than concrete slabs as far as biodiversity goes. [0]

https://earther.gizmodo.com/lawns-are-an-ecological-disaster...
1x Programming (1999)
Getters/setters may be seen as anti-patterns in the functional paradigm. They are seen as pattern in the imperative paradigm.

Of course I am making trade-offs, but so are you. It's just another word for making choices.

What I mean is literally being able to evaluate P ∧ ¬P as True, as an empirical test for a language's expressivity.

You can't do that in Haskell - it won't let you. The language is in control, not you.

In my problem-space not being in control is an anti-pattern.
During WW2, American federal government established Office of Censorship whose sole purpose was to review and censor all communications coming into and out of the country. Now imagine them finding that someone is mailing letters written in an unbreakable code. How long do you think it would take for the FBI to break down that person's door?

It wasn't done that way. Envelopes were opened, and stamped "Opened by Censor". Material was cut out of letters. Censorship was not concealed at all.[1][2]

[1] https://www.archives.gov/publications/prologue/2001/spring/m...

[2] https://sparks-auctions.com/SAN/28/281401a.jpg
Huh? They absolutely were. Cities that look close on a map can easily take 3x long as you would think to get to by train because the high speed line goes a long way around (or, in the case of e.g. Nagasaki, because there's no high speed line there at all).
Here are some articles with examples of false convictions caused solely on DNA test results:

https://gizmodo.com/when-bad-dna-tests-lead-to-false-convict...
https://www.theguardian.com/law/2012/mar/09/forensics-firm-i...
https://www.sciencemag.org/news/2016/03/forensics-gone-wrong...

That being said, there are also many false convictions where the innocent accused people were exonerated after DNA testing became available.
>Can you imagine the impact of being able to train from San Diego to LA in 30mins? LA to San Fran in an hour and a half?

well, that train railway and its stops and other infrastructure would have to be build over somebody's lands/homes - the somebody's lives would have to be significantly impacted against their will. "The Needs of the Many Outweigh the Needs of the Few"? Especially that in practice those "Many" are frequently just some other, more influential, "Few".

>an autocratic and repulsive Government

that is a one [brutally] efficient way to outweigh the needs of the few ...
Matt Levine wrote a lot about WeWork in his Money Stuff newsletter. Start with the one from Sep 3.
To be honest I don't think the article highlights very well where this applies. I am a SQL Developer with SQL Server right now and in the past using Teradata I vaguely remember an aliased column could be referenced in the where clause if you didn't use the AS keyword.
The only Foucault I can claim to have read is 'Discipline and Punish'. In particular, the idea that stuck with me most was his description of the Panopticon, the building model developed by Jeremy Bentham - primarily for use as a prison.

For those that aren't familiar with the Panopticon, the simple explanation is that it's a circular building with a 'watchtower' in the middle. The watchman is at the top of the watchtower and the windows of the watchtower are slatted such that those being watched cannot tell if the person inside is looking at them. This means that they essentially must assume that they could be monitored and watched at any given time and have no way to determine if they are not currently being watched.

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

Short bit from the Wikipedia page for the Panopticon related to Foucault:

> Foucault first came across the panopticon architecture when he studied the origins of clinical medicine and hospital architecture in the second half of the 18th century. He argued that discipline had replaced the pre-modern society of kings, and that the panopticon should not be understood as a building, but as a mechanism of power and a diagram of political technology.

This idea to me extended to the modern age of digital technology and the fact that (especially after the documents that Snowden revealed) practically whenever you are using modern technology, you could be watched and you wouldn't know it. This according to Foucault is an astounding amount of power that is being used as a lever against you - it in essence ensures that people will always behave as if they are being watched, even if they actively are not. And I believe studies have shown that people will act differently if they think they are being watched. I find the idea so fascinating that I strike up conversations in real life with people about the Panopticon every chance I have.

Perhaps fortunately, this model has only ever been used in one real prison in Cuba - slight aside, Fidel Castro and his brother Raul were actually imprisoned here for a period of time.

https://en.wikipedia.org/wiki/Presidio_Modelo
I thought the name was pretty clear; when I saw it in some list of different kinds of Rust pointers, I knew what it was immediately.

It doesn't matter if some people are confused, because you can just explain what it is in 3 seconds. What's important for such a ubiquitous type is that the name is short.
I love the idea and like lisp but the lisp syntax seems worse than both cron syntax and natural English.

Given the narrowness of the domain is there a good reason not to use English?
That's only partially true. Of course a Haskell program needs to do IO to be useful. The IO Monad is also not a deterrent, where did you get that idea? Haskell is very much IO focused, in fact it's been jokingly called "the world's best imperative language"!

Even then, in Haskell you can say "this doesn't do IO" which you cannot in most languages!

It's also just an example of the expressiveness of the type system, which "most statically typed" cannot enforce or sometimes even express.
> > functional features are too complex and we're making a simple language. Haskell is notoriously complex

This is a true statement. (Opinion yada objective yada experience yada)

> In my opinion, the `res, err := fun(); if err != nil` (for example) pattern was much more complex than the alternative with pattern-matching.

This is also a true statement. (yada yada)

The insight I think you're missing is this piece right here: `we're making a simple language`. Their goal is not necessarily to make simple application code. That's your job, and you start that process by selecting your tools.

For certain tasks, pattern matching is a godsend. I'm usually very happy to have it available to me when it is. And I do often curse not having it available in other languages to be honest.

But Go users typically have different criteria for what makes simple/reliable/maintainable/debugable/"good" code than Haskell users have. Which is why the two languages are selected by different groups of people handling different tasks. You're making a tradeoff between features and limitations of various languages.

And the language designers have an even different criteria for those things. In this case, adding pattern matching would absolutely make the language itself more complex, and they apparently don't believe that language complexity is worth the benefits of pattern matching. I think that's a perfectly reasonable stance to take.
Not going to lie, went for the clickbait, left happy I visited. Definitely good to see the tail of someone standing up for what they believe is right.
I would much rather use stablecoins such as Dai for spending instead of trying to tweak Bitcoin's monetary policy.
But are your suggestions a "Code of Conduct"? Like would anybody be expelled from a community for "not thinking about people who may be up at 3am trying to figure out their code"?

They are good suggestions, but I would put them in another category than CoCs.
Chinese airspace is already incredibly congested and unreliable. They just had to build a new 100-million capacity airport for Beijing because of a lack of capacity at the existing airport.

The alternative to not continuing to build up rail is that people start not making trips within China due to the difficulty. (Obvious grandstanding projects like HSR to Urumqi and Lhasa not included.)
Maps is a required feature of smartphones. If Apple does not have Apple Maps Google has leverage over Apple.

The reason Apple started Apple Maps was that Google refused to allow turn by turn navigation and vector maps on iPhone and required location data from iPhone users. Only when Apple Maps was introduced did Google release these features and they lost access to most location data.
Yeah, I exploded a bit. Sorry about that :(
Electric improves the flexibility of BRT, for one - you can run buses underground with lower ventilation requirements and without running overhead cables. Extrapolate "better BRT" to whole highways and dedicated streets running articulated self-driving buses(a far easier task than open-road self-driving) - and you can achieve a lot of the things that rails do, for cheaper. The things that can't be done with that model, the biggest capacities and the highest speeds, are the things that are most in need of a huge subsidy anyway.

Electric is also giving ferryboat transit a new lease on life in terms of energy cost/emissions impact. The SF area fleets have ordered a few electrics already - and they've been expanding service, adding new terminals. It's a return to an older model for regional transit and it has plenty of upsides, with the big caveat of needing a viable coastline.

Between those two, I think you have the model for a lot of future transit infrastructure. Regardless I would also not claim rail is "doomed".
Running the numbers here. WeWork has 12.500 employees with 500 locations. That means on average 25 employees per location. That sounds absurd for workspace management, especially since construction / renovations / cleaning are most likely outsourced.

Let's cut them some slack and assume that half the workforce is focused on expansion (6250 employees) and that one in 25 are secretarial or HR (i.e. not related to daily operations of a workspace). That STILL means >10 workers per location full time.

No wonder the financials don't add up.
I don't see them on Home Depot's website any more, but they weren't pre-drilled, pre-hung, pre-primed, or mortised for hinges, none of which matter for desk tops, but perhaps that's why they were that cheap. I thought about replacing some of the hollow core doors in my house with them, but I don't trust my ability to install anything more than pre-hung doors. I already had a motorized standing desk, so I wasn't in the market for a cheap desk top, either.
Everywhere! 3rd gen factory robotics, and manipulator control. Movie cg renderers and asset transformation pipelines (heck, get busy and finish inkscape!) Ehr systems. ERP systems. Risk management systems. Decision support systems. Trading systems. Field service support systems. Scheduling, packing, routing systems.

Now everything has an ui, and data innies and outies, but gosh! That's just connectors to the diamond!
Rail yes, highspeed rail maybe not. Whether china has the market and will to sustain widespread 1000kph rail is untested.
Those jobs exist, but are few and far between, since cool ideas tend to be packaged up into reusable libraries, and don't need to be redeveloped, while everyone else uses these reusable libraries differently, so you have a constant need for "sanitation engineers". Tensorflow or OpenCV or UnrealEngine get written once, then everyone uses them to build whatever they're building. You write some cool glue around these, that's the interesting code, then spend most of your time wiring everything together into a larger package that actually does something useful.

Once you've wired everything together, now you need to track version, build artifacts, manage release processes, test them and qualify them, etc, so you do a lot of QA and DevOps work.

QA, DevOps and sanitation engineering is so product specific that it can't be packaged up, it's a craftsmanship position, and that's why all of us spend most of our time doing this kind of work.
I'm aware of c++ memory models, but this is exactly what I was talking about. The actual behavior is defined by the hardware, in the programming language is an abstraction on top of that. For certain sizes, you will not get a load or a store that is only partially there. So on x64, you can safely share data between threads knowing that the observed order of that data is completely undefined. But in cases of looking into a view of statistics, that may be perfectly acceptable given the trade-offs.
My questions for Attorney General Barr would be after revelations about warrantless wiretapping, the FISA court, and National Security Letters, what did you think would happen, and given the US government's gripes with Huawei, isn't the only difference that this backdoor is for the Five (or Three) Eyes?
But what if the rest of the world doesn't want the rules of the USA applied to them? Perhaps only do this to USA-users in the USA?
I wish more government agencies provided write ups like this that are easy to understand. Given the lack of trust that exists in so many parts of society, it's great to see them attempt to provide a fair minded review of the research while also adding important context for the public.
Haskell is lazy by default, and sometimes builds up large unevaluated expression trees that need to be forced. Other languages are eager, but litter the code with abstractions like Callables and Futures and channels just to not do something.
Cities are dense, unlike American ones
> new minigolf place

Urban Putt has been around for at least 6 years
When I read Crime and Punishment, I realised many of what I saw as flaws could be explained by the fact that it was published as a serial. You can't retcon what's already released.
Doing FP makes you a better programmer because you're writing programs. I'm taking the null hypothesis that after a year of writing functional code you would have improved just as much as you would have writing non-functional code. I have literally never seen anything to demonstrate otherwise other than hand waving and personal anecdotes.

> Pure functions by definition adhere to dependency injection and single responsibility principle.

Dependency injection and SRP are other man-made constructs with dubious utility in the same vein as functional programming.

> There's a reason that lambda have become table stakes for new programming languages, and that's because composing functionality is a generally useful feature

Lambda in functional programming is supposed to be a primitive you use to do everything ahem y combinators ahem. In Java 8/C++11/Swift, the lambdas you speak of are used only as embedded subroutines.

Functional programming selects for better than average programmers to begin with--the "programmer's programmer" that writes code for fun and probably visits this site. You're unlikely to convince to learn Haskell the person who writes enterprise .NET, never used anything but Windows, and who never opened a text editor after work. The functional programmers were already good before they became functional programmers. Then you get the cargo cult type of intrigue. "X writes really good code. X also uses $FP_LANG! Be more like X!"
Unless I have the whole query in my head by the time I've typed "$db->query(", I will indeed start with the FROM by just typing the placeholder SELECT * and then revisiting the asterisk when I'm done with (most of) the query. Somehow that makes it easier, especially with complex queries.
Exactly. You see the high speed rail in Italy, Japan or China and think about just how old those countries are. All have excellent high speed rail.

It isn't limited just to the outskirts either. For example, Rome itself has an amazing metro train system.

The problem isn't the age of the country. The problem is bureaucratic dysfunction.
Halloween makes a lot more sense. Steampunk searches don't spike in september/october; they begin in june/july and trend upwards, reaching a peak in october before abruptly dying. This is very clearly a halloween trend.
As someone who takes sublime pleasure in writing types around a domain, Rich Hickey's rightness on this issue makes me profoundly sad.

Here's an article I read a while back (from the same author it turns out!) which nearly converted me to the dynamic-types camp: https://lispcast.com/clojure-and-types/
What other advice do you have?
The problem is that during the last major American infrastructure buildout, the Interstates, experts basically rammed through projects without considering local impacts or local objections, and highways ended up gutting a lot of the neighborhoods (often poor or minority ones) that they went through.

Eventually the pendulum swung in the other direction and people gained the ability to stop urban freeways, but now the pendulum has swung too far and people will sue projects out of existence.

China's land rights (or lack thereof) are not uncontroversial, and I would be surprised if they don't become a flashpoint in the future.