skysight-inc/HackerNews huggingface dataset:
In the off chance you're reading this 9 days later, I'd like to push back against this response (working on an OCaml project at work, actually).

> AFAIK, OCaml also got this issue right while keeping static type checks - they decoupled classes from types.

If you mean that the types correspond with OCaml classes themselves and not the objects that classes create, yes, that's correct. But it sounds like you might mean the opposite of that. In any case, people rarely use the O part of OCaml much. Most people find they prefer the first-class modules for almost everything that needs greater modularity than what functions provide. I've found that the only thing that OCaml object system is good for is modeling/wrapping existing OOP or prototypal APIs, like certain XML ones, or some web APIs.

>You will have a jungle monad containing gorilla monad holding hostage the banana data structure the user actually cares about.

While it's true that monads are a way to make normally explicit environments implicit, monads aren't really what the book I'm talking about is about, nor this article.

Yes, monad-heavy code could (with effort) end up with an application monad displaying problems similar to the banana-gorilla-jungle problem. I've frankly never seen monadic code like that, but perhaps you have.

Instead, what this article is advocating for is simply modeling your data correctly. Really, this is a universal programming theme, that helps a lot regardless of programming language. But the structures available in statically-typed functional languages are more powerful and able to model domains with greater granularity. If you're familiar with the saying "make invalid states unrepresentable", then you understand what I mean.
They are probably getting mixed up with shale oil, which isn't price competitive at the moment. Geopolitics has more of an influence on the current oil price.
"... the web browser is a mess."

s/web/graphical &/
Given the trade wars, would the US be ok if China were to hold onto American company private keys so they can "monitor for lawful activity" of Chinese users?

Let that sink in and show that the government arguments are not workable in the slightest.
Chatwoot Co-founder here:
Thanks a lot for the support. A hosted version will be up by end of this month. Meanwhile, you can deploy the repo easily to heroku. Will be happy to assist if you face any issues.
They built Ottawa in the middle of nowhere

And on the fringe of nowhere, they built their hockey rink.
Nissan Leaf supports that.[0] Not sure if other cars do too.

[0] https://www.nissan-global.com/EN/TECHNOLOGY/OVERVIEW/vehicle...
Movim 0.16 – A federated web-based social XMPP client
Oh, I’m also not claiming anyone is choosing gender dysphoria, but they are choosing their responses to it. I’m sure there are ways to superficially suppress the mental side just as we can superficially suppress the physical side. One is, in this day and age seen as preferable, and the other is a seen as caving into social norms, and denying your true self. But why is perception, one that is not shared or independently validated to be true or measurable in any way the one to follow?

I’m not saying these are easy questions or that I even understand the experience. But simply that there are many people who view themselves or others in a way that contradicts quantitative facts, but there isn’t a large social movement to have the world at large support that perception.

But as I said originally, inasmuch as it doesn’t require anyone to do anything and doesn’t have a cost to anyone else, what do I care?
The author specifically differentiates between personal (neighbour-owned and not ok to trespass) and private (corporate-owned and fair game) property. Presumably his office is in the latter category.
An interesting observation: if you go on https://h1bdata.info/ and search for "senior software engineer" H1-B salaries in in San Francisco, sort by descending - you'll see WeWork pays senior software engineers more cash than almost anybody in SF.
Indeed. It would appear all the necessary components for encryption are impossible to ban, by simple common sense if not by guarantees of very basic constitutional or charter rights.

1. public and private keys (criminalize the possession of large integers?)

2. transmission and reception (criminalize freedom to speak or write or read or hear large numbers or random-appearing text?)

3. encryption and decryption (criminalize, as you say, some relatively simple math operations?)

Anti-encryption governments and law enforcement don't want this simple breakdown understood by voters. They'll emphasize fear (<insert_threat>) and shame/virtue ("what do innocent people have to hide?") Weak arguments but they seem to press stronger emotional buttons than the more principled (IMO) philosophical math and speech arguments that should guarantee freedom to encrypt forever.
It could happen that the US blocks services from China the same way China blocks services from the US.

Oh well, the Internet was cool I guess.
I had a red JVC PC-30 single deck that took something like 8 D-cell batteries... it had touchy volume controls that needed cleaning all the time because any dust or oxidation would sound like white noise mixed with nails on a chalkboard when changing the volume. It was kinda cool because the speakers detached. I often plugged in a $300 Sony Discman with crazy skip buffering and anti-skip tech (D-828K).

I was lucky.. there was a Tower Records 1/2 mile (1 km) from my house, the one where Metallica played that concert in the parking lot. And somehow I acquired a 1990 West German The Doors - The Doors CD.
Technically the Sun is moving as part of the arms of the Milky Way galaxy, which itself is moving through space on a collision course with Andromeda, so where you point at will be off.
I realize he's no longer in charge of Paypal, but less than a week ago: https://www.vice.com/en_us/article/d3abgv/paypal-pulls-out-o...

I have very little sympathy for anyone behind Paypal, even past founders, having their accounts frozen now. I should be better, but I just don't have that kind of charity in me at the moment.

May you reap what you sow.
... that's exactly what's inaccurate. It's not just some ordinary black hole, it's the unique one in the Milky Way galaxy.
Show HN: I built a website with productized service case studies
Vending Machine Design – A State Design Pattern Approach
But we are talking about Sagittarius A*.
Airplanes generate an extreme amount of pollution, its not going to be a sustainable source of travel soon i think.
>the answer is to fix the government and the laws, and not to sneak around

It would be nice if someone “fixed” some governments (and some crimes as a side quest), but 1) condemning privacy only makes this harder than de-facto almost impossible. 2) “prove someone said something” is not how our earth-wide culture works. We are basically based on the fact that conversations are private to some extent.

Did you find yourself in a situation when your opponent knows your every step and thought and you don’t? Play any game that way and see where it goes.

>We need more immutability and also work hard to make governments not punish people for victimless crimes.

That’s cool, but something hints me you’re not living in one of these countries where hard work is required. Swap with one of its citizens, make a change, then we talk.
Why millennials never want to leave their apartment anymore
Have you played Obsidian's new game, The Outer Worlds? It's being regarded as something of a spiritual successor to New Vegas.

https://www.theverge.com/2019/11/12/20959758/the-outer-world...
A pair of tweezers defeated security on the Nintendo Wii
Thanks. This is really comprehensive and well documented.
Cool! I'm just setting it up now. Please hold on a little bit.

Edit: Okay an instance in East Asia is up and running!

https://hk.cloudbrowser.xyz
Fwiw real breaches don’t care about parameters. I know the law doesn’t see it that way, and the pentesters probably should have cared a bit more but most contracts I see basically caveats reports to say ‘and any related systems’ which gives something that will cover basically anything that would be considered ‘reasonable’ in the court of law.

The purpose isn’t to be an asshole, it’s to actually raise issues when you’re otherwise limited by sleazy performance-paid project managers trying to limit your scope to basically nothing.
I guess he meant: browsers shouldn’t need features. It should be a network effect. It’s good to make a distinction between design principles and their resulting effects. Most of what I described before were effects of bad design.
Something like "invisible ink"!
Ford has started making Teslas.
https://www.bbc.com/news/magazine-13359064

British intelligence used overlapping photography to create a 3D map of occupied Europe during WW2.
In more recent times, the maps were used to identify possible archaeological sites in Scotland.
Great website! Much better than memrise and duo.
You are attacking something the author did not say. I will assume that this strawman was unintentional (if I were to instead assume that you were acting in bad faith then there would no point responding to you; if you are in fact acting in bad faith, please take a moment to consider why it is that your argument requires a distortion of the truth to be defensible).

The author does say that trespassing on private property, owned by corporations, is not wrong like other forms of "trespass" may be. His argument has one critical nuance that you ignore, however: he says that trespass is not wrong when it is an act that reclaims fundamentally public spaces from private ownership to make them accessible to everyone. A park, a corner between two buildings, and even a view of the city are deeply public things.

Your office (especially the specific area in which you work and the items there) are not, and have never been, public spaces. These specific areas and items are also (by most interpretations) private property, which is another criterion that author has for property that should not be violated. To say that the author suggests that your office should be trespassed upon is an assertion ignorant of these components of the author's argument.
Musk could help with the back end of the problem. The TBM up front gets all the attention. Behind the TBM is usually a temporary two-track narrow gauge railway line, with muck cars carrying dirt and rock out, segment cars carrying tunnel wall segments forward, plus tool cars and worker cars now and then.[1]

Hanging off the back of the TBM is all the machinery to move all those heavy items around.[2] Including the machinery for laying more railroad track behind the TBM.

Self-driving electric muck cars, segment cars, etc, might replace that temporary rail infrastructure. That's something Musk's company could address.

The back end of the process seems to get less attention than the front end. Most of the length of the TBM is devoted to material handling, though, as is the rest of the tunnel all the way back to the entry. A big fraction of the cost is in moving all that stuff around.

[1] http://www.zslocomotive.com/products
[2] https://youtu.be/SY3Q9GqUYro?t=115
Programming in elixir with vscode and elixir-ls is a fantastic experience.
The weirdest part of this argument is that law abiding people get no encryption while people who break the law will still have access to encryption, so how does it help you catch pedophiles?

I don’t really understand how this will work in reality for things like SSL or ssh.
I'm a West-Coaster so am not sure why that would be so impossible a task. What stops us in the Bay Area is heavy diesel trains and lots of stops with no passing tracks, and I understand we're working on fixing all of those issues, slowly though we may progress.
Instructions acting on types or interfaces in the purest sense are just actions and verbs... it is not state. The technicality arises when you consider the fact that for the instructions to even exist you must write the instructions down... the result of writing something down is the creation of state.

So to address what I think will encompass what you're referring to and a lot more than that... anything that is written down as code is in itself state, including types, interfaces and the function body. But as I mentioned before this is a technicality.

We pretend that the computer is executing functions when it is actually executing assembly code that imitates functions just like we how we can pretend functions are stateless even though their very existence implies state.
More details about IRS mainframes? Sounds interesting. (Dare I say promising...)
Windows will improve user privacy with DNS over HTTPS
Thanks for clearly articulating why the actor model is poorly suited to model data and control flow. In practice, the complexity of the control flow also amplifies the challenge of managing schema and control flow evolution. Particularly challenging when mixed with persisted messages, for example when using https://doc.akka.io/docs/akka/current/persistence.html
"Aborts early", in this case meaning before any network calls are made.
The weirdest part of this is criminals making child porn already break the law, why would the law stop them using encryption? It doesn’t actually make sense.
Scientific Analysis of The Game Changers
I mean, absolute statements like yours can be easily disproven. If carbon is taxed, gasoline or kerosene becomes expensive, a rail system is justified for cost.

So you’re just saying give up on the dream, its too Late. Commercial rail is expensive, too slow.

Several big cities can be interconnected in a profitable way if NIMBYism changes. Why argue about an extensive rail network if even big cities like Houston and Dallas don’t have rail?
They're in the same lifetime. I don't think that a few decades here or there matters to parent's point.
Windows Containers and Rancher 2.3
I doubt it. Well, I can look it up. Land area of Australia: 7,692,024 sq km. Land area of earth: 148,940,000 sq km.

OK, it depends on whether you consider 20.66% a decent proportion or not.

Further: surface area of the moon: 37,930,000 sq km, or 25.47% or the land area of Earth.
One odd thing is the claim that it's just as cheap to bore a much larger tunnel. Yet no one is bidding a much larger tunnel boring price anywhere close for either the short Las Vegas tunnel or the much longer Chicago one.
That's what Pony was trying to do, but sadly it's lost most (all by now?) of its momentum.
Yeah, this article is pretty representative of a general trend to say alot without actually saying anything intelligible.

Should Michael Jordan have been paid equally as high as a baseball player as he was when he was on the Bulls? Same person, same intelligence, same measurable traits.
An invisibility cloak makes a much better analogy for encryption.
Safari doesn’t block ads currently; that’s true.

Safari’s Intelligent Tracking Prevention stops the cross-site tracking, fingerprinting, etc. by ad companies.

The ability to block content is built-in to macOS and iOS for 3rd parties to use.
Get ready to be hired by Mighty XD.

Liked your product from your previous submission and liked this one as well. I think it can help some people where censorship is present, but not particularly for me.
That's some serious archiving fu. The commercials would be interesting also.
What if they now become poor? Would you subsidize them?

What about police services and ambulance services for a poor versus rich person visiting that neighborhood?

This already happens in some places, but I don’t think it’s practical or fair.
I guess I could say that when I was born computers started happening. My, I am so disruptive.
You know one way the situation would be way different?

We'd less need for the police.
I think you're very confused. Systems like Elixir are powerful because with care they make it easy to design reliable systems where state is marked off in handleable places where state - the source of the trickiest errors - is contained and process faults are segmented and do not cascade.

You talk about supervision trees as if they are an avoidable source of complexity. Well if you're going to design a stateless request system you'll still need systems to manage dns lookups, elastic load balancing, and what is going to happen when a backhoe cuts the fibre to the data center where your code resides. That complexity will exist no matter what, it's just that when you use the beam you do it mostly in one language instead of having to wrangle reams of YAML with a tee ruler.

Have you ever deployed anything in Elixir? Your commentary makes it seem like you only have a superficial and incorrect understanding of the relationship Elixir has with statefulness and statelessness.

Hell, your primary complaint, is addressed right in the Elixir Documentation: "When not to use a GenServer" https://hexdocs.pm/elixir/GenServer.html#module-when-not-to-...

> If you don't need a process, then you don't need a process. Use processes only to model runtime properties, such as mutable state, concurrency and failures, never for code organization.

I strongly recommend you watch "boundaries" by Gary Bernhardt. This talk (which precedes elixir) exemplifies the programming philosophy that elixir has attained, though I don't know if that evolved organically or not. The point is, you have to accept that some parts of the universe are going to be stateful. You model those parts carefully, and then encapsulate it in a stateless core which precisely does only data transformations.
That reminds me of a very important aspect of distributed systems (computer science) - there is no global clock!
Did the black hole impart any energy to the leaving star? It sounds more like there were two stars each under the other's influence and the black hole removed one star, freeing the other to go off on an adventure
Space Momentum Tether
Got me curious enough to look this up:

Total surface area of Earth is ~500,000,000 km^2
Total land area of Earth is ~150,000,000 km^2 (~.29 Earth)
Australia's land area is ~7,500,000 km^2 (~.015 Earth, 5% of land area)
Moon surface area is ~38,000,000 km^2 (~0.074 Earth, 25% of land area)
people got together and conspired

Hence Charles II's claim that London coffeehouses were nurseries of sedition and rebellion.
> unless the tunnel is exactly following existing roads

I mean, a lot of subway projects are specifically planned to follow a main road simply because cut and cover is cheaper.
Bill Gates: Paranoia on China is a 'crazy approach' to innovation
> if there was some specific target they could throw a lot of computing resources at it

1. Yes, for many (too many) values of they. "Your" government, all governments, so essentially any corporation, or any private individual that can afford time or computing resources and is interested in a target.

2. This scheme doesn't age well. Targets' mandatory low-grade encrypted communications today could be saved as blackmail time capsules, much more easily decrypted with cheap resources in the too-near future.
The author also singles out a corporation for owning a large number of prestigious offices (quote below). Why do you think that is?
Yeah just trying to connect how this would look visually if this star were to fly across the night sky like a comet.
Yes, we all like breaking into places in ways that 'nobody cares about', and we all like beholding beautiful scenes which a majority of people don't think to look for.

But there's a reason why most places discourage this sort of freewheeling exploration; when you visit a place and disrespect its boundaries, you often end up damaging it for the people who come after you. Even footsteps will eventually wear away stones, knock things loose, and disturb delicate habitats/ecosystems such as fungi. As the old saying goes, "plants grow by inches, but they die by feet."

And if you play confidence games like the author, you're making it more likely for other people seeking the same location to get caught and punished.

Yes, the sunbeams that cut through the jagged broken windows of an abandoned train station are gorgeous, and the view from the top of a palatial tower is hard to beat. But it's also sort of like driving through a wetland or ignoring 'please stay on trail' signs in the wild; if we derive pleasure from these places and consider them special, showing them off and visiting them regularly without regard for conservation seems like a poor way to honor them.

Honestly, I have trouble seeing the views espoused in this article as anything other than selfish. Even publicly-owned lands have limits on their use, because we all share these spaces. They don't belong to you, they belong to all of us, and that includes future generations who will have the same yearnings that we do. I'd be interested to hear other takes, but as an occasional trespasser, this manifesto feels disrespectful and I feel like it might paint the community of urban (and natural) explorers in a bad light.
More precisely a quarter:

38 million km2 (Moon area) : 150 million km2 (land area of the Earth) = 25%
The vertical shaft sinking machine process is basically just an automated form of the old-school manual method of digging a well with men and shovels.

Laborers excavate at the bottom while new bricks are laid incrementally forming the casing at the top. The whole column of bricks slides down as a cylinder whenever progress is made at the bottom.

I've long wanted to dig a well that way, it's gotta be surreal to be at the bottom digging away with a little shovel and seeing a towering column of bricks move as one to fill in the progress.

It can't be terribly safe :)
I was totally aware of both back then, and I knew I won't be a candidate for newer stuff afterwards, and I am absolutely fine with it.

The way I see it, my vision was really bad before LASIK. It got perfect with LASIK. Yes, it might degrade a bit with time, but definitely not even close to the level it was before. So either way, I am ending up in a better spot that I started from.

Also, additional therapies aren't completely ruled out. The clinic I got it at provides lifetime corrections for free, if I end up needing it in the future.
> Very few, really. Maybe you can come up with a few (besides the Ericsson router), but they are a tiny, tiny minority of how we build scalable systems today,

Yeah, it's a small fraction because it's a rare language, but it's responsible for an outsized number of highly-scalable systems: WhatsApp, several massive ad companies, several massive trading systems, several large analytics companies. Plus most of the production XMPP systems that have been used at scale.

Look, I'm not even an Erlang/Elixir programmer, but it's pretty clearly a great technology for building scalable, fault-tolerant systems.

> I also happen to think the actor model is terrible to debug, deeply violates encapsulation, and often forces developers to forego static typing, but that's more of a personal opinion than an observation.

I mostly work in statically-typed functional programming languages at work, so I'm sympathetic to this complaint. But Erlang has the concept of fail-fast and fault tolerance that make the lack of type safety not as big of a deal as it normally would be.
Honestly, the problem with Anki is manifold:

1. It needs parameter tuning. If you get everything right, you were re-shown cards too quickly. There's a variety of ways to tune how that happens, some by showing you cards further apart, and some by introducing more cards. Either way is fine for language learning, IMO.

2. Users hate the experience when the parameters are tuned correctly. It should be something of a struggle, and you should be failing about 20 percent of cards you see. When every card you see is on the cusp of forgetting, each card is legitimately cognitively taxing.

3. Flashcards don't really fit into society. College classes tend to be a series of topic focused exams, and once the exam has passed, any time spent on retention of knowledge gained competes with time for acquiring knowledge for the next exam. Also, folks tend not to like the idea of failing 20 percent of their exam questions due to forgetting.