noelwelsh

7 ms·

91.
by noelwelsh 5mo ago
Here is one company that provides the gowns for many UK universities: https://www2.edeandravenscroft.com/non-ceremony/ . I could be kitted with the appropriate gowns for my UK degrees for a few hundred squid each. Acade
92.
by noelwelsh 5mo ago
You misinterpreted my comment. Algebraic data types and folds are an example of an architecture, that has application to many situations. They are not the only architecture, and I'm not presenting them as such. I am trying to show 1)
93.
by noelwelsh 5mo ago
I think this really down plays the value of mental model or strategies for organizing code. Take a compiler: often described as a sequence of transformations on an AST, taken to the extreme in the nanopass framework. That's a really us
94.
by noelwelsh 5mo ago
eza [1] is a step in that direction. It lacks the interactivity, however. [1]: github.com/eza-community/eza
95.
by noelwelsh 5mo ago
I like this. No reason the terminal should only support text. Data science notebooks show one way the terminal can evolve. Lots of interesting stuff happening in this space, with Kitty probably being the most aggressive innovator here [1].
96.
by noelwelsh 5mo ago
Rabbit was closure conversion, which was efficient implementation of first-class functions with lexical scope. The abstract discusses the difference with ALGOL: https://dspace.mit.edu/handle/1721.1/6913
97.
by noelwelsh 5mo ago
In contrast, I had great support the one time I contacted them. Have used them in business and personally across a number of different accounts with no problems.
98.
by noelwelsh 5mo ago
Nope. Typst's primary output is PDF, and it is a stand-alone binary. It's a replacement for most uses of LaTeX to produce documents. It is not a replacement for this project, which focuses only on rendering LaTeX math code and can
99.
by noelwelsh 5mo ago
This mirrors my experience. It's worth noting that TeX was developed in the same time period that the details of lexical scope were being nailed down by Guy Steele in the Rabbit compiler for Scheme. It's not that TeX is an ad hoc
100.
by noelwelsh 5mo ago
Capability-passing is a particularly straightforward approach to effect handlers. This paper is a nice introduction. I like that it spends some time relating the work to object-oriented techniques, which should make it a bit more approachab
101.
Practical Effect Handlers in Capability-Passing Style(link.springer.com)
2 points by noelwelsh 5mo ago|1 comments
102.
Doodle: Compositional 2D Graphics(creativescala.org)
1 points by noelwelsh 5mo ago|0 comments
103.
by noelwelsh 5mo ago
I think there are at least two factors behind ye olde ball of mud that LLMs should be able to help with: 1. Lack of knowledge of existing conventions, usually caused by churn of developers working on a project. LLMs read very quickly. 2. Co
104.
by noelwelsh 5mo ago
I agree. I do wonder if what I'm seeing is a limitation of the reasoning power of LLMs or if it's just replicating the patterns (or lack thereof) in the training data.
105.
by noelwelsh 5mo ago
Certain types of code are cheap. Proof of concept is cheap. Adding small features that fit within the existing architecture is cheap. Otherwise, I'm not so sure. Coding agents are fantastic at minutiae, but have no taste. They'll
106.
by noelwelsh 6mo ago
* Composition and reasoning. Standard things in FP. Build big things from little pieces. Understand them the same way. * Explicitly define the order of evaluation (important in Haskell, where lazy evaluation makes the default order of evalu
107.
by noelwelsh 6mo ago
Agreed, Zig's IO is closer to the effect handler / capability passing model. And by closer, I mean exactly the same [1]. However, it's related to monads by duality. A comonadic program is a program that depends on context, wh
108.
by noelwelsh 6mo ago
On a quick read of the docs I'm a bit worried Quarkdown doesn't have the right evaluation model for the job. Text layout typically iterates to a fixed point, because adjusting the layout of one part of the document can throw out l
109.
by noelwelsh 6mo ago
Your muscles need energy to work. You have a variety of energy stores in your body, which range from small amounts of quickly available energy (ATP) to large amounts of slowly available energy (fat). Most relevant to this discussion is glyc
110.
by noelwelsh 6mo ago
Really depends on the field. Computer science research usually has pretty short cycle times. If you're working on, say, biology or anthropology, collecting data can take substantially longer.
111.
by noelwelsh 6mo ago
Overall, very nice article. A few notes: * I think the first implementation in JS land was Flapjax, which was around 2008: https://www.flapjax-lang.org/publications/ * The article didn't discuss glitch-freedom, wh
112.
by noelwelsh 7mo ago
I think most sourdough recipes are written by people who are really into sourdough, because they involve so much bullshit. I was going to give up on sourdough until I discovered: * 200g starter, 400g water, 600g flour, 10g salt. Mix togethe
113.
by noelwelsh 7mo ago
'Tis true. At the same time, Project Valhalla will be the most significant change to the JVM in a very long time, and probably its best chance to stay relevant in the future.
114.
Parametricity, or Comptime Is Bonkers(noelwelsh.com)
2 points by noelwelsh 7mo ago|0 comments
115.
by noelwelsh 7mo ago
I'm writing a book, which covers the mental models for writing code in a functional style. The examples are in Scala, but it will be useful if you use other modern languages like Rust, Kotlin, Swift, OCaml, or Typescript. https:/
116.
by noelwelsh 7mo ago
This article would benefit from an introduction that lays out the structure of what is to come. I'm expecting an article on effect systems, but it jumps straight into a chunky section on the implementation of function calls. I'm i
117.
by noelwelsh 7mo ago
Employed her boyfriend
118.
by noelwelsh 7mo ago
Yeah the next generation of Strix Halo is what would get me excited. I think right now TSMC has no capacity, so maybe we have to wait another year. Kinda ironic that all CPU/RAM capacity is being sold to LLM companies, and as a result
119.
by noelwelsh 7mo ago
No one will mistake your posts for LinkedIn slop. You actually have something to say, with coherent arguments presented in paragraphs containing multiple sentences. If you want sentences without capitalization to be your thing, then go for
120.
by noelwelsh 7mo ago
I love regular expression derivatives. One neat thing about regular expression derivatives is they are continuation-passing style for regular expressions. The derivative is "what to do next" after seeing a character, which is the

More ›