noblethrasher

6 ms·

1.
by noblethrasher 2y ago
He was also among a handful of people invited to contribute to a book tributing Alan Kay on his 70th birthday. https://users.cs.duke.edu/~rodger/articles/AlanKay70thpoints...
2.
by noblethrasher 2y ago
He has two. I have the honor of being the person that incited him to create his first account, which he only used once, to improve something that I said. https://news.ycombinator.com/user?id=alanone1
3.
by noblethrasher 3y ago
Perhaps this one from Graham Hutton? “A parser for things Is a function from strings To lists of pairs Of things and strings”
4.
by noblethrasher 4y ago
Interestingly enough, a professor of organic chemistry[1] created a new Common Lisp implementation[2] just so that, among other things, he can use a very high level functional(ish) language in his research. His CL implementation is specific
5.
by noblethrasher 5y ago
Also worth noting that language that runs this very website was implemented in Racket.
6.
by noblethrasher 5y ago
Java's (Oracle's) strategy is to spend most the innovation on the runtime, and in that regard, it's probably the most advanced platform. The net effect is that you can write some pretty naïve and boring OO-style code that wil
7.
by noblethrasher 5y ago
His PhD is in Computer Science.
8.
by noblethrasher 5y ago
Interestingly enough, the aforementioned quote was just an epigraph for a section whose penultimate point is that “mathematics is nature’s way of showing how sloppy your writing is”, followed by the ultimate point that “formal mathematics i
9.
by noblethrasher 5y ago
That’s also the gist of the Wolfram Physics Project: https://writings.stephenwolfram.com/2020/04/finally-we-may-h...
10.
by noblethrasher 5y ago
TLA+ really is quite nice. I write most of my TLA+ specifications longhand and only bother with the toolbox when I think that refinement might be useful. Even then, it's mostly for SANY rather than TLC. After noodling with with the spe
11.
by noblethrasher 5y ago
I was just making reference to the fact that the guy that started HN originally planned to get rich by putting art galleries online.
12.
by noblethrasher 5y ago
Which, if true, would be hugely ironic.
13.
by noblethrasher 6y ago
Good coverage of the topic in the first three minutes of this video: https://www.youtube.com/watch?v=_9iab0z6Kyg
14.
by noblethrasher 6y ago
Also, Thierry Coquand, who is behind CoC, and is also one of the developers of the software that became Coq.
15.
by noblethrasher 6y ago
Probably not as many as you might imagine: https://news.ycombinator.com/item?id=1884326
16.
by noblethrasher 6y ago
https://queue.acm.org/detail.cfm?id=2436698 Link to original demo: https://www.uselesspickles.com/triangles/ (the site's certificate is expired, so you'll get a warning).
17.
by noblethrasher 6y ago
Speaking of stupid efficiencies: “In the progress of the division of labour, the employment of the far greater part of those who live by labour, that is, of the great body of people, comes to be confined to a few very simple operations, fre
18.
by noblethrasher 6y ago
I remembering wondering about the same thing a few years ago, and came across this: https://stackoverflow.com/questions/30177559/how-does-find-b...
19.
by noblethrasher 6y ago
In response to the criticism of "noun-oriented" programming, check our this video: https://www.youtube.com/watch?v=BDPHfRuAFnU&feature=youtu.be... . It's worth watching from the beginning, but I've li
20.
by noblethrasher 6y ago
Most of what I have to say comes from Fielding’s dissertation, along with spending the past several years trying to take it as seriously as possible. Other good sources are McCarthy’s Situation Calculus and all of the stuff that Lamport has
21.
by noblethrasher 6y ago
It appears that the .NET Core CLR does perform some rudimentary escape analysis: https://github.com/dotnet/coreclr/pull/6653
22.
by noblethrasher 6y ago
I didn't say "states", I said "nominal states". These are the states that you would bother to name. They'll correspond to classes in an OOP language or discriminated unions in an ML-stye FP language. Using your
23.
by noblethrasher 6y ago
REST doesn't care about the size of the set of verbs, only that the set be constant. HTTP as one particular implementation of REST just happens to have nine verbs. I tried to implement an IMAP server a few years ago, but otherwise I do
24.
by noblethrasher 6y ago
HTTP is one particular implementation of REST that happens to have nine verbs. Another implementation might only have two or three. But no RESTful architecture will have much more than nine. Why? Because your application is going to have th
25.
by noblethrasher 6y ago
You can have as many verbs as you want, but they all need to be valid at every state of the application (i.e at every hypermedia target), because you still want a uniform interface. Responding with a standard error code is okay for verbs th
26.
by noblethrasher 6y ago
It's Kinski that is lucky to have survived the filming: "In My Best Fiend , Herzog says that one of the native chiefs offered in all seriousness to kill Kinski for him, but that he declined because he needed the actor to complete
27.
The Aesthetics of Science Fiction Spaceship Design (2010)(uwspace.uwaterloo.ca)
194 points by noblethrasher 6y ago|100 comments
28.
by noblethrasher 6y ago
Of possible interest is Kate Kinnear's thesis[1], titled The Aesthetics of Science Fiction Spaceship Design , which is about techniques for procedural generation of sci-fi spaceships. Also discussed on HN[2]. [1] https://uw
29.
by noblethrasher 7y ago
For the topologists. I included this note on the flowers to be delivered to my SO: Me: { 1/n : n ≥ 1 } You: { 0 } Us: Me ∪ You
30.
by noblethrasher 7y ago
That’s disgusting, and I’m really sorry to have read that happened to you or anyone else. My policy is that anyone that completes the technical screen (2 – 4 hours of work) gets an on-site interview. Just this morning, I had to spend about

More ›