noelwelsh

8 ms·

151.
by noelwelsh 9mo ago
https://noelwelsh.com/ My blog, and links to projects.
152.
by noelwelsh 9mo ago
I've been outed! I am but the humble servant of my cat!
153.
by noelwelsh 9mo ago
Indeed, this thread is very contentious. Although my top-level post has a lot of upvotes, one of my comments is bouncing up and down. Very strange to me. Do I agree with your post? No, I think >50% is too high. Do I think you should be d
154.
by noelwelsh 9mo ago
Just search and you'll find a million articles about his "dark enlightenment" (or whatever stupid name is used) views. I think "Chatham House" was the name of a private group chat he was in that helped this process
155.
by noelwelsh 9mo ago
When I read wildly insane comments on a mildly contentious issue here on HN (e.g. as a very mild example, posts on electric cars always draw out someone who needs to state they drive 1000 miles a day and so electric cars will never work for
156.
by noelwelsh 9mo ago
Nope. Only Firefox and Chrome have it, in their latest versions. No Safari or Edge support yet. So this article is a bit premature (unless you use the polyfill.)
157.
by noelwelsh 9mo ago
I think there are several advantages of stack allocation: * freeing stack allocated memory is O(1) with a small constant factor: simply set the stack pointer to a new location. In a generational garbage collector, like OCaml, minor garbage
158.
Httpz – Zero-Allocation HTTP/1.1 Parser for OxCaml(github.com)
88 points by noelwelsh 9mo ago|19 comments
159.
by noelwelsh 9mo ago
I understand the original Selective Functor, so an introduction to that is not what I'm after. I want to understand this new formalization, because it's the kind of thing I use, but I'm not a theoretician. If the goal of this
160.
by noelwelsh 9mo ago
Well... I enjoyed the author's enthusiasm. What I read was interesting, but I didn't read all of it. Why not? I wasn't sure where it was going. I think there is a tighter post to be written that explains the new formulation w
161.
by noelwelsh 9mo ago
I really didn't like this article. Using scare quotes everywhere just makes it read like the author is engaging in bad faith. And I don't think they really address the issue. The discussion in the "The Problem of the Individu
162.
by noelwelsh 10mo ago
I don't understand your first paragraph. Monomorphization and parametricity are not in conflict; the compiler has access to information that the language may hide from the programmer. As an existance proof, MLTon monomorphizes arrays w
163.
by noelwelsh 10mo ago
Erased generics give parametricity, which most PL people think is fairly important. See https://en.wikipedia.org/wiki/Parametricity or https://www.cl.cam.ac.uk/teaching/1617/L28/parametri
164.
by noelwelsh 10mo ago
The Scala solution is the same as Haskell. for comprehensions are the same thing as do notation. The future is probably effect systems, so writing direct style code instead of using monads. It's interesting that effect system-ish ideas
165.
by noelwelsh 10mo ago
One problem with the simulation route is that games in the D&D lineage are usually wildly unbalanced. A, say, level 5 monster could run through endless level 1 NPCs. Also, much of the machinery of our world (e.g. commerce) doesn't
166.
by noelwelsh 10mo ago
The key concept in "parametric polymorphism", which is what programming language nerds mean by generics, is "parametricity" [1]. This is basically the idea that all calls to a generic function should act in the same way
167.
by noelwelsh 10mo ago
Please learn to use paragraphs. These single sentence "paragraphs" are tedious, and make your writing read like influencer slop.
168.
by noelwelsh 10mo ago
Geometric proofs are really accessible. You don't need any algebra to prove Pythagoras' theorem, or that the sum of the inner angles of a triangle is 180 degrees, for example. Compass and straight-edge construction of simple figur
169.
Designing Custom UUIDs(noelwelsh.com)
1 points by noelwelsh 10mo ago|0 comments
170.
by noelwelsh 10mo ago
Everything is up to date with the new syntax as far as I'm aware. Also, the compiler and scalafmt can rewrite one to the other. A project can pick whatever style it wants and have CI reformat code to that style.
171.
by noelwelsh 10mo ago
jmh is what I've always used for small benchmarks.
172.
by noelwelsh 11mo ago
OP is not being very precise (and in a way that I don't think is helpful). There is nothing imperative in an if expression. Declarative languages can be Turing complete. Declarative languages are a subset of programming languages.
173.
by noelwelsh 11mo ago
As you observe, the original comment is wrong and as such it contributes nothing useful to the discussion.
174.
by noelwelsh 11mo ago
The trick is to say "codata" instead of "object-oriented programming", and then you can use OOP and still be a programming hipster. (I am a programming hipster.) I'm only somewhat joking. I actually find this view v
175.
by noelwelsh 11mo ago
The article does touch on that (monopsony) but it is largely irrelevant to the main point of the article.
176.
by noelwelsh 11mo ago
You quoted one of the key sentences from the piece, and yet missed the point. It's the "you've licensed it to a kind of absentee landlord who owns the rights but refuses to exercise them." part that is important. In the
177.
by noelwelsh 11mo ago
The quote: 1. Indicates this a human interest story 2. Is by definition of an accurate representation of the words of the person they are quoting 3. Is a reasonable overview of a complex story, given we understand that "free-spirited&q
178.
by noelwelsh 11mo ago
Do you think "My mum was a 17-year-old free spirit - so she was locked up and put in a coma" could perhaps be the words of the person they interviewed? Could this perhaps by why it is written in the first-person? Where in the arti
179.
by noelwelsh 11mo ago
This won't take me away from Doom Emacs---I prefer the keyboard centric approach of Doom---but I'm really happy to see this. I feel that Emacs has some really innovative UI plugins (things like Vertico) but the out-of-the-box expe
180.
by noelwelsh 11mo ago
Didn't Transmeta's technology end up in Apple's PowerPC emulator Rosetta, following the switch to Intel? IIRC Transmeta's technology came out of HP (?) research into dynamic inlining of compiled code, giving performance

More ›