noblethrasher

13 ms·

61.
End-To-End Arguments: The Internet and Beyond(usenix.org)
1 points by noblethrasher 8y ago|0 comments
62.
by noblethrasher 8y ago
Dave Reed (author of the linked paper) also gave a fantastic presentation on the End-to-End Arguments a few years ago: https://www.usenix.org/conference/usenixsecurity10/end-end-a... .
63.
by noblethrasher 8y ago
At one time people thought that you couldn't possibly have a high performance runtime that supported both object-oriented and functional patterns vis-à-vis garbage collection, yet the CLR managed to pull it off with some clever use of
64.
by noblethrasher 8y ago
Dan Ingalls Ivan Sutherland L. Peter Deutsch
65.
by noblethrasher 8y ago
Yep, I follow him pretty closely, and knew about his account and comments on here. Funny story: That is at least the second account that he created on HN. He registered an earlier one just to reply to a comment that I had made[1]. [1]: h
66.
by noblethrasher 8y ago
Well, the best analogue to the Codd's relational algebra is Hewitt's actor model in my professional opinion. Both are based on mathematical formalism, though the Actor Model goes a bit further in that it's also informed by ph
67.
by noblethrasher 8y ago
Or… if you're talking about languages like C# and Java (and presumably C++), just make sure all of your classes are either sealed or abstract. This turns classes into proper algebraic data types. To wit, implementation inheritance give
68.
by noblethrasher 8y ago
> When do we get to sit back and say, "cool, I think we're done." When collective productivity is turned into collective leverage.
69.
by noblethrasher 8y ago
Because doing so desensitizes you to the pain and suffering of others. Maybe a society full of sociopaths can get along just fine, but I'd rather not run that experiment.
70.
by noblethrasher 8y ago
Agreed that it’s pedagogically useful to think of Typescript as a light(ish) extension, hence literture on pure JavaScript will still repay study. But, overall it's best to treat TS as its own language, especially when it comes to dev
71.
by noblethrasher 8y ago
C# offers three different ways to denote an anonymous function: Anonymous delegates, lambda expressions, and statement-bodied lambdas. Each of them are true closures and can be used to construct a "method" of a given delegate type
72.
The Miracle of (Smalltalk's) become: (2009)(gbracha.blogspot.com)
1 points by noblethrasher 8y ago|0 comments
73.
by noblethrasher 8y ago
It's worth noting that the submitter of the post is also the inventor of the Actor Model.
74.
by noblethrasher 8y ago
Logging with computation expressions: https://fsharpforfunandprofit.com/posts/computation-expressi...
75.
by noblethrasher 8y ago
Also see Dr. Racket.
76.
by noblethrasher 8y ago
Meh. I see their point. Subpixel AA was about using software to simulate better hardware. But, at the end of the day you really do want the better hardware so that you can use your software budget to simulate an even better generation of
77.
by noblethrasher 8y ago
> It invites or raises the question rather than begs it, but your point is understood. By my reading, 'nicklaf used the phrase in the technically correct way. But, as a recovering philosophy major, I'll just point out that the
78.
by noblethrasher 8y ago
Actually, the above code doesn't compile (I just dashed it off while waiting for a real world project to compile). Valid C#: https://gist.github.com/noblethrasher/2d0e99f86b9853c646f3fa...
79.
by noblethrasher 8y ago
Here is a moral equivalent in C#: public abstract class Maybe<T> { public abstract T Value { get; } public virtual string Failure => null; public SelectMany<U, V>(Func<T, Maybe&lt
80.
by noblethrasher 8y ago
… or copilot .
81.
by noblethrasher 8y ago
Before Twitter, people on AIM and similar services would use status messages to broadcast short little notes to their buddy list. I had the idea of turning that into a service in the early 2000s. What surprised me was seeing a serious journ
82.
by noblethrasher 8y ago
It's worth noting that Don Syme also brought type erasure to the .NET platform via type providers, because provided types can be erased (and typically are, I believe). But, F# also lets the author of the type provider decide which clas
83.
by noblethrasher 8y ago
Yeah, I made this same observation/lament six years ago: https://news.ycombinator.com/item?id=3876834
84.
by noblethrasher 9y ago
Arguably, the Ellen Ripley that we have all come to know and love was mostly developed and solidified in Aliens , and "motherhood" was a major theme in that film.
85.
by noblethrasher 9y ago
> talking to a web server written in C The HN web server and application are written in a dialect of Lisp, unless something has changed.
86.
by noblethrasher 9y ago
> If the bindings are reference types, the CLR will economize their representations as long as they don't have any static state, I think. Yep, I knew about that, but type providers don't necessarily generate generic types. So,
87.
by noblethrasher 9y ago
> Interop is another advantage of the erasure model And, in the case of F#'s type providers, it means not having to generate zillions of types when coding against some huge schema. But, on the other hand, it does give you the option
88.
by noblethrasher 9y ago
In 's4vi0r’s defense, “FP” usually means ML-style FP, which does happen to be pretty biased towards creating stack-based FSMs since it has literal syntax for stacks (list literals), states (discriminated unions + tuples), and transitio
89.
by noblethrasher 9y ago
On the other hand, I think it would be straightforward to strip script tags and attributes using XSLT. You could even go as far as just whitelisting certain tags/attributes.
90.
by noblethrasher 9y ago
eBay is a famous case study of this: https://theuxblog.com/blog/redesigning-user-experience

More ›