noelwelsh

6 ms·

1.
by noelwelsh 3d 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
2.
by noelwelsh 3d 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
3.
by noelwelsh 4d 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
4.
by noelwelsh 6d ago
Would south east do? Is further pedantry necessary?
5.
by noelwelsh 6d 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
6.
by noelwelsh 19d 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.
7.
by noelwelsh 20d ago
That is the implication of what conductr wrote.
8.
by noelwelsh 20d 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
9.
by noelwelsh 26d 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
10.
by noelwelsh 29d 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.
11.
by noelwelsh 29d 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.
12.
When the Hard Part Stops Being Hard(proofsandintuitions.net)
6 points by noelwelsh 1mo ago|0 comments
13.
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
14.
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
15.
by noelwelsh 1mo 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
16.
by noelwelsh 1mo 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
17.
by noelwelsh 1mo 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.
18.
by noelwelsh 1mo 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...
19.
by noelwelsh 1mo 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 :-)
20.
by noelwelsh 1mo 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
21.
by noelwelsh 1mo 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
22.
by noelwelsh 1mo 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
23.
by noelwelsh 1mo 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
24.
by noelwelsh 1mo 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
25.
by noelwelsh 2mo ago
Writing the notes is more the point than re-reading them, at least for me. Writing stuff down forces me to kick things around and find a good structure, and that's where the useful stuff happens.
26.
by noelwelsh 2mo ago
A few comments on the previous abundance of cod, from https://www.sciencehistory.org/stories/magazine/a-tragedy-wi... In 1873, French novelist Alexandre Dumas wrote that if every egg reached maturity, within three
27.
by noelwelsh 2mo ago
Very nice!
28.
by noelwelsh 2mo ago
Scala's capture checking [1] is a modal type system. [1]: https://docs.scala-lang.org/scala3/reference/experimental/cc...
29.
by noelwelsh 2mo ago
Good article. We really need more nuance in the discussion of using LLMs for SE. Not all tasks are the same; we shouldn't expect to use the same process across them! In my experience, the more constrained the LLM is, either by existing
30.
by noelwelsh 2mo ago
Good article. Not much to add to it, other than I think more people should look at modal type systems like found in Scala 3 and OxCaml. If you want safe arena allocation they are a lot more ergonomic than Rust's approach.

More ›