skysight-inc/HackerNews huggingface dataset:
Is F#'s type system sophisticated enough to express type classes, higher-kinded types, and/or existential types? Scala's implicits and related language features can go a long way down those roads, but I know very little about F# other than "it's like Scala but on the CLR" and am curious what the story is over there.
> How can an essay like this not mention David Foster Wallace? So many of the sentences in Infinite Jest were absolute doozies.

How about Proust, 80 years earlier? Each of his half-page sentences are stand-alone pieces of art.
Thank you.

That makes a lot of sense.
It's hard to simulate non-trivial interactivity with paper. In real life, teams are not always co-located, and software tools facilitate collaboration in different ways.

If anything, the public(consumer)'s appetite for graphic/visual/UX design has gotten a lot stronger in the decade since research was done on paper prototyping. High-quality animations and subtle interaction techniques, explosion in form factors and devices / mobile operating system [versions], and the rise of non-technical app builders may have also encouraged the development of such tools.
The form of the argument is tangential, but the validity of "argument from analogy" is dependent on the strength of the analogy. Few analogies hold up to substantial scrutiny, and the specific examples cited were all fairly distant in kind from the product in question. I certainly don't mean to dwell on that more than might be relevant, but I did think it reasonable to offer this characterization, since you had similarly characterized the OP's form of argument.

Nothing in the OP's comment can be inferred to be a denial of diminishing returns: if there is "wiggle room", then you should give them the benefit of the doubt. Also, there's no inherent reason to expect that the cost of bandwidth would be anything close to linear. The cost to the ISP does not necessarily increase due to the provisioned speed of a modem, and the used bandwidth is in most senses unmetered. Also, for what it's worth, whether the OP feels like they're getting a good deal is more-or-less independent of the actual mathematics at hand.

There is every reason to believe that bandwidth is a special case: the cost to either the customer or the ISP is not linear with either usage or provisioned speed. However, since the parent's argument is not inconsistent with the concept of diminishing returns, it does not seem valid to arrive at that inconsistency by inference, when other more charitable interpretations exist.

P.S. I'm afraid I don't understand your use of the word "arrant".
Timequake is also a great one if you've enjoyed his other work

I taught how to be sociable with ink on paper. I told
my students that when they were writing they should be
good dates on blind dates, should show strangers good
times. Alternatively, they should run really nice
whorehouses, come one, come all, although they were in
fact working in perfect solitude. I said I expected
them to do this with nothing but idiosyncratic
arrangements in horizontal lines of twenty-six phonetic
symbols, ten numbers, and maybe eight punctuation
marks, because it wasn't anything that hadn't been done
before.

— Timequake by Kurt Vonnegut
Many businesses do work on common sense and honor, just not those that employ lawyers.
Lierre Keith is indeed a powerful writer; that's a fascinating read.

I've spent time as a vegetarian, and ethically I find it desirable, but my body doesn't fly right without some meat.
Set up a private, in-tunnel DNS-over-TLS proxy for your OpenVPN clients
I get what you're saying, but I still stand by my answer. I've read many of the books discussed in this post, from Don Norman to Jef Raskin to Edward Tufte, and I think Steve and Adam's work is far more practical and actionable than most of the other stuff. If you want to chew on UI/UX philosophy (it really is interesting), then sure, read Tufte, but if you want to improve the design of real UIs without all the intellectual posturing, Refactoring UI is better.
Can someone please explain to me how you can use F# without each aspect of the development process being a Microsoft technology?

Not to be rude, I just honestly want to know. There is quite a bit of hype around C#, F#. But every time there is a comparison to other languages it seems to skip over the fact that you much have a windows computer running Visual Studio which is a big disadvantage to some people. Quite honestly, they are great languages. I just don't want to buy in completely to Microsoft
I would say red eyes instead because of sleepless nights spent tweaking their Linux installation ;)
Democratic senators have introduced a big new data privacy plan
Scott Aaronson discussed this on his blog,

https://www.scottaaronson.com/blog/?p=3975

The discussion there suggests there might be some semantic disagreement over exactly what is meant by certain measurements and observer states in the paradox, and so Aaronson at least does not agree that the paper creates the trilemma situation that it primarily focuses on.

This discussion also breaks down the paradox into terms that describe it as a combination of both the previously known thought experiments for Wigner’s friend and Hardy’s paradox.
Facebook and ZeniMax settle legal battle over Oculus VR and stolen secrets
They don't stand around outside. You can see the ETA boarding before swiping, and again on the platform.
We uses ZeroMQ on production as part of a message layer which provide very tight and predictable latencies sustaining more than 300K QPS across multiple services and across 3 data centers(GCP, AWS and private Datacenter). This is a stellar testament of how good ZeroMQ is as a mature solution.

I think the reason we are successful with our design is because ZeroMQ is just great for what it does.
It never crashed or gave problems to us, only issue we saw was because we did not understand how it worked internally.

Had it been written in C, we would have been able to hack it a little bit to our tastes but I am not complaining. I can understand why someone would use C instead of C++ for high performing libraries.

Oh on the subject of C:

This is what we have :- Main service which is written in C does around 8K QPS at peak hours(on a 2 core 4GB Amazon EC2 instance), so we have around 35-40 instances in the cloud.
The cost to run this service is low for us, we love it.:)

Biggest issue, people are bad at C and writing correct multithreaded code in C is an Art.
Punctuation is what separates one sentence from another. If you believe that long sentences can be beautiful, you're not far off from believing that removing punctuation can bring benefits too.

A lack of punctuation can be especially beneficial in dialog. People don't converse in quotes and grammatically correct pauses. Conversation often flows back and forth, without direct responses to previous statements. There is often an underlying confusion to dialog, and when we impose punctuation around it, you lose something.

Consider the difference between:
"You gonna do it tonight?"
"Didn't you hear? You know he's going to be there."

And:
You gonna do it tonight
Didn't you hear - you know he's going to be there

There is an element of confusion of intent in the latter that can add to a story.
Doesn't white phosphorus spontaneously combust around 90 ℉?
As Winters Warm, Blood-Sucking Ticks Drain Moose Dry
TikZlings
If you use the chrome inspector to change your user agent to a phone, you can use it to post
is it microsoft or windows you are against? basically all of the f# toolchain is open source, and it runs perfectly fine on all three major os platforms using either .net framework (windows), .net core (cross-platform), or mono (cross-platform). most people either develop f# in visual studio or using visual studio code. same goes with c#.

.net core, which is intended to be fully cross-platform is the future of .net.
Most of the world uses WhatsApp to end-run around telcos (even though it's insecure and PRISM-friendly).
> NVidia may have focused on the high end too much. They have a card for the machine learning crowd that costs $16,000.

Here's the thing about gaming vs content creation vs ml pricing -- they're fundamentally different activities from a financial standpoint.

Gaming (for the VAST majority) is a cost center. How much are you willing to spend on it?

Content creation, and now ml, are profit centers. How much do you make from it?

The latter question is directly related to your business. If you're running financial trading models and the card makes you 5% faster, that 5% may be worth USD$1M. If you're running a 1 acre farm, maybe it's worth $3.

But by hardening and popularizing CUDA and GPGPU, Nvidia upscaled their most wealthy buyer from sfx studio to any company that makes predictions.

It's a heck of a lot easier to deliver 1% improvement to a $100M company, than to deliver a 200% improvement to a $500k company.
i agree. f# is really nice and is very practically designed. it has very clean and consistent syntax. i wish more python people tried it. due to oop being perfectly fine in f#, one could write code in f# just as they do in python, and it would be superior in nearly every way.
It’s hilarious for me to hear this about Etsy. I live not far in Brooklyn and have several friends who have worked there. I specifically did not apply to a machine learning role at Etsy after talking to them about the software engineering culture there.

Maybe I received wrong data, but according to their reports anyway, it sounded like Etsy would be almost a case study in bad Agile processes.
> "it is good enough that I can rely on it?"

It's called longitudinal analysis or survival analysis, depending on the question being asked.

We statistician got test and models for these.

You can rely on it if the people who are conducting the experiment are competent and know what they're doing.
>>About 160 residents voted, with 56 percent rejecting the Comcast offer, according to news reports.

If it's done it needs to be done by, say, million+ cities. Where is this small town going to the money to pay each time someone complains or a cable is cut?
I eagerly await CaaS (Cloud as a Service) so VPC, EC2 and EFS planning and deployment is automated.
I have a Mac and it runs VS Code and .Net Core nicely. Very smooth process to get it setup.
If an app, or even a website (Pinterest), requires an account when one is not obviously needed for it to function then I don't use it.
Vonnegut was a favorite of my senior-year high school English teacher. She assigned several of his books.
I think John Carreyrou got the idea that something is fishy is Theranos when Theranos came under regulatory investigation.
Gonorrhea Prevention: Glaxo Vaccine May Offer STI, STD Protection
If I want to learn F# is there a good IRC/slack channel I can get on? I'd like recommendations for libraries. I have a project I could throw at it for fun/ learning.

P.S.

Can someone explain this?

// complex types in a few
type Employee =
| Worker of Person
| Manager of Employee list
Its an inspirational story alright. I’ve recommended it to just about everyone.
How does that work with case law?

For example a case is decided based on an old law, that law has now gone, is that case no longer a precedent?

(IANAL)
> “Being forced to actually plan work out, and then being held accountable for the hours, meant that over time we got good at estimating”

I’m skeptical of this, because even working in a team that had many person-decades of experience of estimating software delivery, the consensus opinion was that nobody’s estimates are worth anything and that the business would actually be worse off using estimates even as mere guidelines than just working on things, hitting blockers, and adjust expectations as you go.

But regardless it sounds like your process was fairly different from Agile. The only superficial similarity was having some notion of a regular sprint cadence, but cadence based scheduling is common to many project management strategies. It sounds like you had something very pragmatic for your exact situation, which is great — that’s the whole goal, the very thing Agile paradoxically does not conceptually support.
Any airplane with a nose wheel lands that way.
When I use F# on Linux (my main machine) I use VS Code on Linux and it seems to work fine once setup properly and it has all the minimal features (e.g rename, find usages, etc). I've heard Rider as an IDE has F# support now as well. You typically use the command line with the "dotnet" command to create projects and such. Still Microsoft technologies however they can run on Linux.
You can do this with something like goaccess which builds reports using your webserver logs
If you've not done so already, peep Atwood's 'Maddaddam' trilogy. Those are a lot of fun and fairly prescient.
#AmazonAnswersNYC Hearing video
I usually spend the compilation time staring at code, only to realize, somewhere in the middle, that I have to abort the build because I must make another change in a large and complicated template in header file that is included almost everywhere. At times, I do miss C, especially its classical variant, where you often didn't even have to include anything and instead could just write the declaration of something you needed - right next to where you need it...
> I have never once seen or heard of any Agile process anywhere actually working with any degree of success.

We built Bioshock using agile.

We didn't use any prescribed agile methodologies like SCRUM, but we developed a process that worked for us based on agile core principles.

update: Sorry meant to reply one above.
I don't understand why governments don't just crack down hard on anyone affiliated with gangs. Sure it might curtail some civil liberties etc etc and of course you may wrongly arrest / execute someone. But I think the broad population would agree with cleaning up the shit. At least it wouldn't be a waste of tax payers dollars like governments are renown for doing
> Basically, "UX Design" has become "Product Design" ...

They are getting closer, but not quite. Consider two analogies:

1. Craigslist v. AirBnB to get a short term rental apartment. Both are arguably the same "product", the differentiation is that AirBnB has a much better UX experience.

2. eBay v. Sothebys to put goods on auction. Here, it's not really UX that differentiates them, it's product-market fit.

In the second example, a product designer would arguably be a better fit for differentiating the technical and business processes. A UX designer would then implement those ideas in the precise user flow.
I am presuming that you are not being sarcastic. I am being totally transparent that this is nothing more than an internal hunch based on some very amateur time investment is hardly related fields. Literally nothing worth taking note of except to spur conversation from somebody who may know more. That said, boldy professing incorrectly seems to spur more good debate on the Internet than boldy professing my claim is not backed by anything.
In the 1980s an engineer named Dave Smith, who ran a very popular music synthesizer outfit called Sequential Circuits, proposed an open protocol for connecting music synthesizers. The idea was scoffed at by a number of manufacturers, but relatively soon Roland, and eventually the other major Japanese firms (Korg, Yamaha, Kawai) got on board, and that caused everyone else to join in. The standard became known as MIDI.

In the late 80s, Sequential Circuits went belly up due to some bad product decisions. Yamaha bought the remnants of the company, and Smith himself went to work at Korg, where he helped develop an important line of machines (the Wavestation).

In 2002 Smith decided to try again with his own company. As Yamaha owned the Sequential Circuits name, he settled on Dave Smith Instruments (or DSI). The company did quite well in its own boutique business (high-quality analog polyphonic synthesizers).

In 2015, Roland's founder Ikutaro Kakehashi, who had collaborated with Smith on MIDI, went to Takuya Nakata, the President of Yamaha -- a 3.5 billion dollar revenue company mind you -- and together they decided to unilaterally give Smith the famous Sequential Circuits trademark back as a thank-you and gesture of good-will. Kakeshashi said "I feel that it’s important to get rid of unnecessary conflict among electronic musical instrument companies. That is exactly the spirit of MIDI. For this reason, I personally recommended that the President of Yamaha, Mr. Nakata, return the rights to the Sequential name to Dave Smith." DSI has since been renamed Sequential.

I'm not sure Smith was even aware of their plan. Two of the most powerful people in the music instrument business just gave him his famous company name back for free.

I like to think Google was doing this.
Of course they have other stuff, but their web search results come directly from Yahoo/Bing and the Russian search engine Yandex. This is widely known [1]. On their FAQ though [2], they mention Yahoo and Bing, but "forget" to mention Yandex.

[1] https://en.wikipedia.org/wiki/DuckDuckGo
[2] https://duck.co/help/results/sources
Outline for us Indochina types: https://outline.com/qUJvaJ

Quite surprised Canada has gotten itself into this considering the potential for escalation which is now playing out. A "NGO worker", possibly of natsec value and now another Canadian national.

What did they really expect arresting corporate dynasty?

Watching the US and China duke it out in a trade war is somewhat in other countries interest economically, high profile arrests to use as bargaining chips is a risky business and the canucks seem to have thrown themselves right in the midst of it.

To add to the absurdity the EU is pushing ahead with maintaining the Iran deal and are indicating their multinationals will continue doing business despite US sanctions.
> if you want room in trains, probably. 14"

I'm suggesting an "Amtrak laptop" that fits precisely and snugly in the fold-out trays that they give you, regardless of screen size.
My point is that I believe those in the Nuremberg trials were following legal orders at the time, but their side lost. And yes, it's an iffy thing to disobey when it may be the morally correct thing to do.
This isnt very surprising me considering we humans--and probably most other living species--are pretty good at this. Memory seems to be an emergent property of a network.
It seems to be a mistake. The image files are named as being characters 25 and 24 correctly.
Switched around the same time as well from MacOS. I really missed Spotlight. A suitable alternative I use on my Lubuntu 16.04 machine:

https://cerebroapp.com
I understand there exists .net core and mono. I'll give them mono. My problem is I haven't seen a single example of a practical application written in .net core or a company that uses it, everything is .net framework. There just aren't many available alternatives to the frameworks and packages that are those who use .net framework take for granted. I hear what they're saying about it's the future, but I have yet to see the fruit of it.

To me .net core seems more like just a buzz word to prove that they like open source and anyone can use their software. But there isn't any way to monitize it so there isn't any reason for them to focus on it.
Setting Up Server Blocks Using Nginx on Debian 9
Employee, Person and list are types
Worker and Manager are constructors

Employee is a Sum Type i.e. it can either take a value of (Worker personObject) or (Manager [empObj1, empObj2...])

for instance, an binary tree would be

type Tree a =
| Leaf of a
| Node of (Tree a * Tree a)

Now, a Tree Int would be

t = Node (Node (Leaf 1, Leaf 2), Leaf 3)
> a) it can happen just about anywhere

That's like saying a NULL pointer dereference or division by zero can happen anywhere. Only for poorly written code that doesn't think through and maintain its invariants. Languages like C++ and Rust make it easier to check your invariants, but plenty of C code does this, including kernels and complex libraries. And they don't do it by inserting assertions before every pointer deference or division operation.

As I said, the RAII-pattern is one way to keep your invariants such that most allocations only happen at resource initialization points, not at every point in a program where the object is manipulated.

> b) you have to handle it without allocating any more memory,

Unwinding state doesn't need more memory, not in languages like C, C++, or Rust. If it did then the kernel would panic when cleaning up after programs terminated when out of memory.

This argument is a common refrain from GUI programmers who wish to throw up a notification window. But that's distinct from recovering to a steady state.

In those particular contexts where recovery isn't possible or practical, then you can't recover. Again, scripting languages are an obvious example, though some, like Lua, handle OOM and let you recover at the C API boundary. (Notably, in Lua's case the Lua VM context remains valid and consistent, and in fact you can handle OOM gracefully purely within Lua, but only at points where the VM is designed to be a recovery point, such as at pcall or coroutine.resume.) But the existence of such contexts doesn't mean recovery is never possible or even rarely possible.

> c) if there is a single place where you forget to handle allocation failure, your program is not robust to OOM errors.

If you keep an RAII pattern then handling OOM is little different than deallocating objects, period. In that case, your statement is the equivalent of saying that because memory bugs exist, no program should bother deallocating memory at all.

Now, I've seen programs that can't handle deallocation; programs that were written to be invoked as one-shot command-line utilities and never concerned themselves with memory leaks. Trying to fix them after the fact so they can run from a service process is indeed usually a hopeless endeavor. Likewise, trying to fix a program that didn't concern itself with OOM is also a hopeless endeavor. But it doesn't follow that therefore when starting a project from scratch one shouldn't bother with OOM at all, no more than saying nobody should bother with deallocation.

The objections people have to OOM handling are self-fulfilling. When programmers don't consider or outright reject OOM handling then of course their code will be littered with logic that implicitly or explicitly relies on the invariant of malloc never failing. So what? You can't infer anything from that other than that programs only work well, if at all, when the implicit or explicit assumptions they were written under continue to hold.
Quick refresher notes for React.js Interview
You can’t, in general, put people above the air search radar. (Exercise for the reader: why is it ok for the pilothouse of US AEGIS ships to be located above the SPY-1 arrays?)
There's no such thing as a language with no exceptions.

There are only languages where exceptions need to be hand-rolled in an ad-hoc fashion.

This ad-hoc approach does not work. It gives you tiny benefit of not needing to learn a language feature. Meanwhile, ad-hoc exceptions mean that you lose all sense of modularity in your program. Real programs are composed of dozens of modules at various levels of abstraction, communicating together over multiple processes and threads. Ad-hoc exceptions in a real program in practice means 'just crash the whole thing, yolo'.

That does not work for serious programs.
AI Index Report – 2018 [pdf]
I wish Jack Ma would kill eBay in the USA!
> I don't understand why governments don't just crack down hard on anyone affiliated with gangs.

The difficulty with this suggestion is defining a "gang" and defining cracking down "hard".

First there are moral questions... If a single person does something bad, would that implicate an otherwise peaceful gang? If a group has an aggressive self-image, but is never violent or breaks the law, should you crack down hard?

Second, there are practical issues: it's often difficult to find everyone that's part of a "gang". Also, because of their size and organization, they often have out-sized influence and likely have protection from within the system.