noelwelsh

5 ms·

1.
by noelwelsh 6d ago
A nitpick: Types are properties of expressions, not values. Type errors happen at compile time, before code runs. Values only exist at run time.
2.
by noelwelsh 12d ago
It's most obvious in very formalized dance, but even in street dance, which emphasises freestyling, you can still find this kind of structure. There are videos of bboys talking how they come up with moves, and they'll talk about a
3.
by noelwelsh 12d ago
Don't tell me how I should enjoy my hobby.
4.
by noelwelsh 12d ago
When I think about dance, it's about the algebraic structure in it. E.g. translating moves between different levels, transitions between moves, and so on. That, and the movement options that increased physical capabilities unlock. So n
5.
by noelwelsh 12d ago
The War on Iraq may not fit the definition of terrorism, being government actions, but it killed a shit load of people and was driven by religious convictions with flimsy or non-existent evidence: https://san.com/cc/geo
6.
by noelwelsh 13d ago
I see. Thanks for the clarification.
7.
by noelwelsh 13d ago
I don't really understand your setup, but if you throw enough money at ATEN they will be happy to give you a KVM that handles 4K @ 240Hz. Supporting high refresh rates is the main thing that would keep me from using most KVMs for gamin
8.
by noelwelsh 13d ago
I have an ATEN KVM [1] that gets a solid "it does the job" from me. Occasionally a connected computer won't pick up the K, V, or M, and I'll have to reconnect a few times. I use it to switch between my work laptop and my
9.
by noelwelsh 14d ago
If you haven't tried single leg movements, that's the way to increase load on your legs when you don't have more weight available. Moving fast is also a good way to increase intensity without increasing weight (you can clean
10.
by noelwelsh 15d ago
Would south east do? Is further pedantry necessary?
11.
by noelwelsh 15d ago
It's slightly depressing how much better the everyday food is just some 300kms east of London (i.e. in France). I was shocked the first time I pitched up in a random Carrefour and saw that their basic food is an essentially unobtainabl
12.
by noelwelsh 29d ago
Probably sounds like more than looks like. If it's what my cat gets, it's crows posting up on trees and roofs and talking shit at you.
13.
by noelwelsh 1mo ago
That is the implication of what conductr wrote.
14.
by noelwelsh 1mo ago
There is a difference between what is legal and what is moral. If you think that there is no difference you also hold that slavery was moral up until the time it was illegal (and you might then wonder why abolitionists campaigned against a
15.
by noelwelsh 1mo ago
I think Unison has the most interesting take here: https://www.unison-lang.org/docs/the-big-idea/ If you look at any language that has been around a while, with Java being a great example, you'll see many lib
16.
by noelwelsh 1mo ago
Pointless anti-intellectualism. There is a big difference between believing something is true, and demonstrating it is true and measuring the effect. One is a vibe. The other can drive policy.
17.
by noelwelsh 1mo ago
Pointless anti-intellectualism. There is a big difference between believing something is true, and demonstrating it is true and measuring the effect. One is a vibe. The other can drive policy.
18.
When the Hard Part Stops Being Hard(proofsandintuitions.net)
6 points by noelwelsh 1mo ago|0 comments
19.
by noelwelsh 1mo ago
> Is java able to stackify most new Object calls and elide default initialization of object members these days? Escape analysis in OpenJDK will stack allocate values where it can show it is safe to do so. Project Valhalla is also reduci
20.
by noelwelsh 1mo ago
I would have thought it's obvious to anyone who has studied any subject in depth that you need to actively engage with the material. Books are great because they go at the pace that suits your learning and are easy to skip around. Vide
21.
by noelwelsh 2mo ago
Switch is fine if you don't care about performance. If you do care about performance then direct threading is faster. Direct threading uses tail calls. More here: https://noelwelsh.com/posts/understanding-vm-dispat
22.
by noelwelsh 2mo ago
When Twitter imploded I expected technical discussions to migrate to Mastodon or Bluesky. What happened next shocked me. Technical content appeared on LinkedIn. Not just one or two posts. Tens of posts. Every day. Technical content from the
23.
by noelwelsh 2mo ago
You seem to think there is some kind of conspiracy at play. The BBC is simply using the terminology used by the professionals who deal with this.
24.
by noelwelsh 2mo ago
> What practical patterns are enabled by TCO in C? It's important in interpreters. Here's an example: https://blog.reverberate.org/2021/04/21/musttail-efficient-i...
25.
by noelwelsh 2mo ago
Sorry, I wasn't clear. In OP's blog post they refer to me as Neal at one point (just after the heading "Indirect Dispatch"). My name is still Noel :-)
26.
by noelwelsh 2mo ago
It's a transform on the instruction set. If you have the following instruction set for a tree walking interpreter (Scala syntax) enum Expr: case Add(left: Expr, right: Expr) case Lit(val: Double) the corresponding stack
27.
by noelwelsh 2mo ago
Thanks for pointing those out. I've fixed both issues. Syntax highlighting was a discrepancy between my local env and the Netlify env that deploys the site. `loop` is what I usually call tail-recursive loops in my personal style. I thi
28.
by noelwelsh 2mo ago
I should have said instruction set or intermediate representation (IR). For a stack machine a program is an array of instructions. For a tree-walking interpreter a program is a tree of instructions. The duality transforms one instruction se
29.
by noelwelsh 2mo ago
Made my day that it references an article I wrote! :-D Another thing that is kinda neat: there is a duality (a bidirectional transform) between the AST for a tree walking interpreter and the AST for a stack machine. To create the stack mach
30.
by noelwelsh 2mo ago
The general term for this is an indexed type. Specifically what is shown here is indexed codata. Indexed data is more commonly known as generalized algebraic data types (GADTs), which encode equality constraints at construction. GADTs are w

More ›