skysight-inc/HackerNews huggingface dataset:
> I find it hard to believe that anyone who’s really used both prefers OCaml over Haskell.

I've actually used Haskell, Ocaml and Purescript for several years and a lot of locs, and I actually like Ocaml better. Reasons:

- The module system -- a very intuitive way to structure code

- Poly variants

- Strictness -- predictable performance and easy debugging

- Allowing side effects

- Private types -- better than newtypes imo since you can upcast to it's structural counterpart

- Really good type inference -- you never have to write type signatures. Haskell and Purescript type inference is ok-ish and sometimes craps out, which is part of why type signatures for each function is recommended.

- Stupidly fast compiler -- yes it matters, try contributing to the Idris codebase. It's like trying to contribute to the linux kernel, you'll wait 30+ minutes for it to compile.

- Very fast programs

- An actual package manager (stack uninstall?)

It is an overall better experience for me. And the language features that are coming down the pipeline are looking great:

- Modular implicits - a more sound ad hoc polymorphism system than typeclasses. Typeclasses can't handle simple things like if half of the Haskell ecosystem uses one Filterable typeclass and the other half uses a different Filterable.

- Algebraic effects - a strongly typed system for writing effects that will be part of multicore -- delimited continuations / conditions and restarts

These days I'm more interested in Erlang/Elixir though. I just don't think static typing is all that after having spent so much time with Haskell/Purescript/Idris/Ocaml. There are really nice benefits you get with dynamic typing that you don't with static, and there are better ways to deal with those problems that won't be noticeably worse in most business applications with just a little bit of coding discipline, such as good testing habits and having good fault tolerance built into the language.

I do like Haskell though, it's definitely really fun to program in. It's just not something I'd use for anything. If I really needed something with strong static typing I'd either go with Ocaml or Idris.
tldr: the original idea came to me while studying homeomorphisms of various topological spaces embedded in R^3, thus the name.

My original goal was to visualize homeomorphisms in R^3 and verify closed forms for some of them. I'm used to calling it R^3 because there are many 3-dimensional spaces (C^3, {0,1}^3, etc) and there are many embeddings into R^3 that are homeomorphic (e.g. D^2 is 'z==A and x^2 + y^2 < 1' for every A). So the context is a bit academic. Visualizing a continuous deformation ended up being pretty cool -- I ended up "inventing" a traversal in a metric space that is very similar to BFS, but works for metric spaces, by repeatedly selecting a subset of it fitting in a progressively bigger open ball. You might know a concept pretty similar to this as filtration.
The Brontes originally had to publish under male pseudonyms (or rather, pseudonyms of intentionally indeterminate sex). George Eliot is a male pseudonym. Jane Austen arguably wasn't considered serious literature until recent decades; previously her status was more similar to, say, Miss Read in that she was a writer of rather lightweight tales for mainly a female audience.
Most universities have access to supercomputers, including GPU clusters. But that's not the point, not every NLP problem requires experimenting with 175B parameter models.

Academic researchers shouldn't try to compete with Google or OpenAI in scaling up models. They should try to come up with new approaches. Our brains have been evolving under tight constraints (size, energy, noise, etc). Maybe a good academic problem to solve is "how can I do what GPT-3 does if I only have an 8 GPU workstation?" This might lead to all kinds of breakthroughs.
those gifs are huge, but the author in me really wanted eye candy on those pages.

aside: it's surprising that a browser requires 3GB to display 16MB of gifs. sadly, wouldn't be surprised if the same phenomenon plagues every browser.
Elon Musk confirmed on Twitter that they were testing the "quick disconnect."
You can set a reminder on your computer or phone to stand for 5 or 10 minutes per hour. I think fit bits a d smartwatches can do this based on activity level.

You could also use an activity to indicate when to stand. For me, I would stand for any online meeting (if back-to-back then I alternate).
I agree. Also, he described Facebook as "an institution committed to free expression". That seems like it's pushing things a bit.
My answer is probably a bit cynical, but I believe it's accurate. The average when it comes to security and patching is pretty low, so on average, a hosting company probably doesn't find out about it, or patch it.

The majority of companies I've seen operations at didn't have people trawling the web looking for these kinds of issues. In theory you can sign up to get CVE notifications, and hopefully the software vendor will put a message on a mailing list. Whether anyone subscribed to that list is another question, and whether anyone reacts to it is another matter.

The challenge for most orgs I've seen would be even determining what tools (and versions) they need to keep on top of updates for. In a case like Salt however, I imagine short of being on their list (if they have one), most people's best hope is that one of their team sits on hacker news all day, and monitors relevant security resources, and knows salt is used.

Even big CAs don't get it right - the Salt attack was used against one of the certificate transparency servers. Clearly there's a gap between the theory and practice here.
The first GPU came out twenty one years ago. Why on Earth do you think all of a sudden we're going to get something we've never gotten before?
I cringed when I saw the Tesla car though. Kinda cheapened the whole thing for me
Doesn’t it support both in principal? I imagine some middleware generating a package.ts file or something that re-exports from URLs
I feel the same way about both Joyce and Eliot: they make their readers do a lot of the interpretative work that other authors do on behalf of their readers. Some people enjoy doing that work, and some don’t. I think the latter group gets frustrated when the former does that work and then proclaim it as the highest form of genius. Sure, it’s genius, but it’s not _more_ genius than certain approachable prose/poetry, it’s just a different kind.
I highly doubt Oracle cares about the Steisand effect. Oracle has long been lampooned for its lawyers, e.g., this old Bonkers World cartoon: https://bonkersworld.net/organizational-charts , and people have been complaining about the DeWitt clause since around 1982.

I think the Streisand effect is not going to work in this case. The kind of people who decide to write Oracle multi-hundred-million dollar checks don't seem to care about this, because they have kept paying money for decades. So there's no reason for Oracle to care about it. The clause was added specifically at the direction of Larry Ellison. Larry Ellison is co-founder, executive chairman and chief technology officer (CTO) of Oracle, and the sixth richest person in the world... he has no reason to care what people think about these contracts, because no matter what he's still rich. The courts don't care about the Streisand effect either; they're used to people being unhappy about some of their rulings. And if there was going to a Streisand effect, you'd think it'd have already happened in the last 38 years.

Don't get me wrong, I loathe the DeWitt clause (as does DeWitt). Making the truth illegal, which is what this does, hurts all of society. But a Streisand effect will not get you there. What's needed is a court ruling or law that strikes such clauses down.

I'd much rather see a world where people can freely compare different products. I like Oracle's VirtualBox, for example; that thing can compete on its own merits. But that's my point; products should be able to compete on their own merits, instead of having legal clauses that prevent honest comparisons.
I don't even believe the 'people looting' are one mass. And I doubt the protestors are working off a single hive mind.

But in particular I don't believe that the protestors are worried about police vs forestry fatality statistics.
> but it is now associated with your own apple account?

On the backend, maybe they can look up who requested a token at a time.

But otherwise, no it doesn’t seem to be
Not just standing armies (but true that makes the argument much stronger), but also the militarized police force. A SWAT team is a mini army and the combined states police forces could easy invade many countries today if that was an option.
No one is ignoring that. You’re upset with something that isn’t happening.
This statement worries me more in that this is a significant increase worth noting.
> The best person your can be is yourself

Couldn’t agree more. But there is something to be said about learning from others. This is not about being like him it’s more from the sentiment of learning from him so you can be an (extremely) good version of yourself through refined skills and thinking.
My comment was more around tooling and complexity as seen by the programmer. You can have functions that look 2D but are really 3D behind the scenes, like glVertex2f in OpenGL. AFAIK Godot uses GPU acceleration still for 2D scenes like all games these days should.
The Dodge Grand Caravan and the Chrysler Town and Country were the same vehicle with badge engineering. The Town and Country was replaced by the Chysler Pacifica in model year 2017, but they kept making the Caravans on the old design with Dodge branding for cost concious buyers. In model year 2020, (Fiat) Chrysler is renaming the low end Pacifica models to Chrysler Voyager --- it could easily have been called a Dodge, but I guess they're trying to clean up Dodge to be muscle cars and trucks, like Ford is trying to do with their line up.
That's so wonderful. I liked how Astronaut Garrett Reisman put it today: https://youtu.be/GuXBdTF2jUY?t=4460

> "I hope for ten minutes just now you looked up and saw something exciting, something to give you hope of a future full of wonder. That's the magic of human spaceflight."

We cannot voyage far into space without our best human qualities: cooperation, reason, and hope. Each small step for all humankind.
Did you personally have unfriendly arguments with Haskellers? I personally find them quite helpful and friendly on the freenode #haskell channel.

Although there have been heated public disagreements, I haven't seen the people trying to destroy one another. They just have very strong disagreements. That doesn't bother me directly since I'm not in those discussions. The most I can say is that the lack of unity means there is a shortage of "best practice" of how to do certain things and lower community focus in advancing the ecosystem.
To add on to this, the supply chains/logistics are somewhat different as well on top of already-stressed delivery infrastructure, so there are multiple bottlenecks in getting food to retail shelves. When demand skyrockets without warning (like it did), it's not really possible to immediately scale up, so you get shortages like we're seeing and thus food prices go up (temporarily) like you would expect.
Why net dollar retention is the most important SaaS metric to track
That's correct

The old TLS (versions 1.0, 1.1, 1.2) specifications said that the certificates supplied are to form a chain, starting from a leaf and leading back towards a root.

Pretty much all clients assume that once they can see a way to a root they trust they'll give up following the provided chain and trust that - but sadly not all of them, so "over-specifying" the chain can cause problems.

Modern clients tend to go further, they still assume the first certificate is a leaf, but all other certificates are just potential hints that might be helpful in working out an acceptable trust path. TLS 1.3 actually specifies that clients must tolerate certificates supplied on this basis rather than a strict "chain".

I'm actually surprised at the number of claimed clients which don't have vaguely modern trust stores but do understand SHA256.
Despite the provenance, this is an insightful article. There are a lot of things I've discovered that I no longer want, and likely never will again. Travel, for example, is dangerous and disgusting. Eating in a restaurant is unsanitary, expensive, and risky. A fancy car? To go where?

The only splurge I've considered in months is a pet. Man's best friend, after all.
> just reflecting the disgusting people who decide to glutt.

Surely nobody at your local healthy restaurant or produce co-op is asking you to add a Coke©®™ on?
Really? Not the ones close to me, but I did not go out of my way to check recently. That does not seem to be essential businesses in my book, or more so than churches assuming proper social distancing rules.
As someone who programs only as an amateur I honestly find baffling the whole idea that a university would teach students any programming language. Shouldn’t they be learning concepts, algorithms, data structures? Isn’t the language just a tool? I’d think mere technicians would learn languages. University-educated scientists should learn the underlying theory with which they can learn ANY language.

I am a lawyer. I didn’t learn Westlaw or Lexis in law school. I mean yes, I did use them and was trained in them. But they were just tools. But no one would say “what computer research system should we teach our students?” And good thing—the ones I used in law school are now obsolete!

Even as a lawyer I can teach myself programming languages. Man I’d be disappointed if I went into a university CS course and they’re debating something as low level as what language to teach me, rather than teaching me how to learn any language and how to design new ones.
> 1. Distill your entire product down to 1–2 features. Your first version should be a feature instead of a product. Figure out what 1 feature summarizes the entire product.

This is a good way to scope down your first launch, but I think there's more that needs to happen before this step #1.

Every startup must establish its own value. What value can your new product provide? Sure, a set of features may attract people to try out your product, but value is what causes people to pay.

Moreover, 1-2 features might not achieve any value for users, leading to an incomplete launch and a botched experiment for your hypothesis.

If you don't know your value, that's ok. Overall, I agree with the article that "it's a game of trial and error".

Use your resources (whether its just scraps or $$$) to run experiments, talk to users, and discover your startup's actual value. That's my idea of "validating your startup idea".
You can invest in SpaceX indirectly and directly. You have SpaceX indirectly through some mutual funds and actually through Google since Google’s VC arm invested in SpaceX. I have a tiny bit in those two via a mutual fund and Google. The problem is both have SpaceX as a very small percentage of their portfolio. There is also Virgin Galactic but I don’t have that.

One material Robert Zubrin is interested in is a rare form of hydrogen. He thinks that it would be a good candidate for fusion if we ever figure it out.
Doesn't work on mobile. Getting overlapping text
The same can be said for any black swan event. It doesn’t make it any more or less likely.
sing with the voice god gave you. listen to indie music. your voice doesn’t have to be perfect to be good. practice all the time.
> But for others being denied access to religious services or practice may be a grave sin that is worse than having to wait in longer lines at the grocery store

Earnest belief has also led to self inflicted wounds, drowning, and hanging others. I don't think religion should get a pass or get preferencial treatment.
The benefit of using tools like k9s and rancher is making it easy to explore your cluster. If you have hundreds of pods and services, using a gui tools to explore and manage your cluster is much easier than using kubectl.
Ask HN: Why haven't libel laws caught up to the social media age?
I'm hoping a lawyer can weigh in on this. I was reflecting on how social media has demonstrated that people with influence (i.e. a lot of followers) can now effectively destroy individual people's livelihoods. It seems to me that, in at least some of these cases, this could be construed as a crime.

I'm wondering why libel laws haven't fully caught up to this new reality. Is it simply because the legal system is more glacial than the tech industry or is it because it's a very thorny issue with implications for free speech and tricky concerns around establishing liability? Both?

EDIT: This is referring to the US.
Cultures are made of people, and all people are racist everywhere and at all times throughout history. Nor could this possibly change.
Probably. It’s an honest mistake. For Gen Xers and early millennials blue m&ms are memorable for being added in the 90s with much ludicrous publicity.
Funny how "groundbreaking" stuff like this is outside e.g. Google, where you could collect and query metrics in realtime for more than a decade now.
Most importantly, how much do you retain?
I tried the macOS terminal, iTerm2, and the xterm that ships with XQuartz. None of them work. I think the problem is that by default Alt+X creates printable characters on macOS.

For example:

Alt-E => €
Alt-U => ¨
Alt-C => ç

Disabling this is not really an option because I rely on them.

EDIT: formatting
Hey! I’m a person who’s really serious about transitioning from programming to art. Can I pick your brain?
No, that only follows if you believe there's such a thing as "the best one'. You don't have to be an expert, let alone a layman in every tool and technique in order to find a way that's suitable.
SQL works really well though. Lot's of people know it and can learn it. There are many implementations. There is a standard.
Space tourism to the ISS is just US taxpayers paying for billionaires' vacations. Yes, NASA charges a fee, but it is tiny relative to the cost of the service. If somebody develops a private space station, great. Until then, this isn't an industry that deserves any support.
How to safely bomb American cities
It'll be entertaining if this backfires. He's so volatile. I think even if I had zero conscience I'd want to avoid the risk of a relationship with him.
Annualized rate?
right, so if you do

@autoreleasePool {
[[[SomeObject alloc] init] autorelease];
}//someobject is release after exiting this scope

//inside main runloop, not inside @autorelease{}
[[[AnotherObject alloc] init] autorelease];

//AnotherObject will be release at end of main runloop

[[NotAutoreleased alloc] init];
//will leak past runloop iteration

is that understanding correct?
How did we get the definition of a crude terrorist nuke? Has it ever been done before, or have we found organizations with that amount of capability?
Shooting ourselves in the foot was the number one cause of downtime.

What do you mean?
Perform in what way?

WebEx over Jitsi?! I must be missing something huge, here.
Concorde was also a victim of something else getting built that people went to instead— widebody business class. It turns out that a lie-flat business bed for seven hours is more appealing to most people than a cramped, economy-style cabin for three and half hours.
What software issue does category theory and abstract algebra solve?

Don't get me wrong, it's cool and it has expanded my appreciation and understanding of math. But I just don't see what engineering problem it's solving besides mathematical elegance.

If you're thinking monads and IO -- separating side effects is nice and useful, but it doesn't solve any real problem IMO. It's not like people are losing sleep because they don't know which code is side effecting. Side effects are where a lot of engineering complexity is, but IO doesn't wrangle it much better than anything else. Maybe Erlang does the best job at it IMO.

And plus monads don't compose. Algebraic effects (ie multicore Ocaml), or even Actors, does "IO" in a better way without the math jargon.
> there isn't much sign of general inflation, which is what you'd expect if the key driver were money supply.

It's too early for much of the newly printed money to have spread out into the economy. We won't know how much inflation printing the money caused for some years, since it will take a while for the rest of the economy to adjust to the new money supply.
I think they serve a mostly different purpose. Fugitive provides vim integration, but you're supposed to use the stock CLI for a lot of operations. Magit, on the other hand, strives to provide an alternative interface for git. The surprising thing about Magit is that while it does provide an alternative interface, it does it in a way that's flexible enough that you won't have to constantly fall back to the CLI. Plus, its UI has good discoverability.

What I find superior about Magit is that it has asynchronous git blame. With Fugitive, git blame can take an unpredictably long amount of time with large repositories. It also used to be that this made vim unresponsive to any form of input and the only way to interrupt it was to terminate the vim process externally. This fortunately isn't the case now with recent versions of Fugitive, but it still blocks the editor unless you interrupt it. Magit doesn't have this issue and can show the git blame results as it's being computed.

In terms of cost to entry though, I think Fugitive is better in this regard. With Fugitive, you can get started almost immediately if you're familiar with the git CLI. On the other hand, you would sometimes need to look up how to accomplish some things with Magit because it sometimes uses different terminology from stock git.
The slow ethnic cleansing and land theft being perpetrated by a close American ally, supported by many of the biggest American corporations and capitalists, seems a comparable situation.
No Fear for Deep Learning
yes, it does not, but over last 4 years a lot of things happened that aligned with the content. Look at even the latest riots. Either the author is some kind of fortuneteller or there is an active effort toward is and unfortunately our leadership is helping it happen. I don't believe in coincidences.
I figure in the next 5 years I'll hack the toolchain once and for all. Probably for game distribution. It's a fixed cost is all. To each their own.

I do appreciate the tooling around Kotlin. Definitely wish we had more time and money available in Haskell to match it.

Still doesn't explain enterprise use of Kotlin on the backend lol.
There's a number of Forth implementations for 8-bit computers.

Chuck Moore has claimed "A Forth application can take 1% the code employed by the same application written in C" [1], which is certainly a big benefit on a small computer.

[1]: https://colorforth.github.io/1percent.html
The only way I see it stopping by programming is by implementing technology to document police misconduct (racism isn't the only issue). This would also need law and policy changes to provide appropriate disincentives for misconduct.
Making food just got a bunch harder due to COVID: prices will rise as a result!
I think it's just popular because it's in the browser.