Twey

11 ms·

121.
by Twey 10mo ago
I think the correlation here is pretty solid but I wonder about the causality. There are a few big confounding variables; off the top of my head, 1. COBOL systems are typically written on a much shallower software stack with less room for u
122.
by Twey 11mo ago
Arguably an effect monad is an EDSL that has algebraic effects :) But the things these languages are experimenting with are low-level implementation details that wouldn't be amenable to embedding. There's no escaping the Haskell G
123.
by Twey 11mo ago
The point of effect systems isn't to stratify the behaviour of the operating system (it's the Wild West out there). It's to stratify the behaviour of your program. A function that has a DB effect isn't telling you that i
124.
by Twey 11mo ago
As far as I know the shiniest implementations in the effect typing world at the moment are Koka and Effekt, which are both languages in their own right. They each have their own ideas about implementation to make effects (mostly) zero-cost.
125.
by Twey 11mo ago
This article comes across as rather defeatist: > Another limitation of programming languages is that they are poor abstraction tools > Programming languages are implementation tools for instructing machines, not thinking tools for exp
126.
Letting the future out of the box: avoiding boxed futures in Rust(twey.io)
2 points by Twey 11mo ago|0 comments
127.
by Twey 11mo ago
In addition to the other comments here, note that in PL circles ‘syntax’ typically denotes _everything_ that happens before translation/execution, importantly including type checking. ‘Semantics’ is then about explaining what happens
128.
by Twey 11mo ago
Engineers also have this problem: if the transistor doesn't meet its claimed tolerances then the robot won't either.
129.
by Twey 11mo ago
On second thought the tribal testing framework here is a bit simplistic, and there's some cross-tribe pollination, to varying levels of success. The ‘maker’ tribe also tests with HCI assessments like GOMS and other methods from the ‘so
130.
by Twey 11mo ago
The ‘three tribes of programming’ [1] strike again! This thread is full of claims that ‘programming is really engineering’ (in accordance with the article), ‘programming is really building’, or ‘programming is really philosophy/mathema
131.
by Twey 1y ago
When Kubernetes exposed its APIs as declarative configuration objects, I get the impression that they didn't originally mean for people to write the configuration by hand. The YAML/JSON/… is a conveniently universal interchan
132.
by Twey 1y ago
> Because everything comes down the same connection brotli/zstd can give you 1000-8000x compression ratios. Isn't this also the case by default for HTTP/2 (or even just HTTP/1.1 `Connection: keep-alive`)? > The ser
133.
by Twey 1y ago
That doesn't seem to be the ‘standard’ way to use Datastar, at least as described in this article? If one were to rerender the entire page every time, what's the advantage of any of these frameworks over just redirecting to anothe
134.
by Twey 1y ago
One of the big promises of HTMX is that the client doesn't have to understand the structure of the returned data since it's pre-compiled to the presentation layer, and it feels like this violates that quite heavily since now the c
135.
by Twey 1y ago
Rephrasing things is useful when it allows you to draw equivalences with other things that might have results or insights that translate across, which is something a lot of people use CT for. As with most maths the payoffs aren't alway
136.
by Twey 1y ago
In my opinion, the important advantage of category theory over set theory in (some!) computational contexts is that it allows you to generalize more easily. Generalizing from sets and functions to objects and morphisms lets you play around
137.
by Twey 1y ago
> To say the CT has a lot to do with computation is definitely a stretch. I think the argument I presented above adequately justifies CT as fundamentally connected to computation, at least as we study it today, though I think there are o
138.
by Twey 1y ago
It helps you build an intuition for categories, if you're used to graphs :) If you have a working intuition for categories then in most cases the specific formulation you choose as a foundation doesn't matter, just as most mathema
139.
by Twey 1y ago
Category theory is popular in computer science because, at a fundamental level, they're very compatible ways of seeing the world. In computing, we think about: - a set of states - with transformations between them - including a ‘do not
140.
by Twey 1y ago
Insofar as ‘computation’ is about mapping one state or value to another state or value, it has a lot to do with CT! The question of whether CT is _useful_ for studying computation is different, and there are certainly other lenses you can s
141.
by Twey 1y ago
I'd phrase this a tiny bit differently: monads give a model of effects in _impure_ languages and are important for that reason. The fact that Haskell chooses to emphasize monads in the language itself is cool, but their utility is not
142.
by Twey 1y ago
Category theory is actually a ‘simplified’ graph theory, i.e. you can see categories as a restricted class of graphs. E.G. ‘Category Theory for Computing Science’ introduces categories this way (a category is a directed graph with associati
143.
by Twey 1y ago
You may just be lucky :)
144.
by Twey 1y ago
Pianists are very (like 60%) susceptible to RSI, especially if they have small hands [1] (= lots of stretching motions). I think it's a tradeoff — moving your forearm around spares your wrists, but puts more strain on your elbows. I wo
145.
by Twey 1y ago
That makes sense! I'm a split keyboard user and for mouse-and-keyboard style games I used to move the right half of my keyboard out of the way of the mouse.
146.
by Twey 1y ago
> proponents of mechanical keyboards say you need fewer keys than a regular keyboard, for _reasons_ That's a bit of a generalization. Mechanical keyboards like the Hyper7 exist that have enough for even the most key-hungry typist. I
147.
by Twey 1y ago
Definitely a fun alternative-history! It's a nice take to see `Option`s or `Result`s as a step towards logic programming. Typically once you introduce loops you need to have a way to combine `E`s; the way to represent an ordered set o
148.
by Twey 1y ago
The big difference being that ‘truthiness’ is explicitly encoded next to the value rather than being an inherent property of certain values. That's a win in my book!
149.
by Twey 1y ago
It's been a good while since I read the books, but I do have a distinct recollection of the Culture Minds being described as being created purposely ‘flawed’ in some way (explicitly negative terminology) to prevent immediate Sublimatio
150.
by Twey 1y ago
Sure, I buy that window managers are, on the whole, not capable of the things that people want them to be capable of. My gripe is more that, instead of improving existing window managers to do those things or building a new one with the fea

More ›