Twey

15 ms·

181.
by Twey 1y ago
This is great, really accessible! I feel like for me the par operation ⅋ is the thing I struggled with getting intuition for the most, and I think that I am (and everyone else is!) still kind of figuring out the consequences of it, and a lo
182.
by Twey 1y ago
Hi! I put a lot of effort into getting it to look just how I like it and I'm very happy you like it too :)
183.
by Twey 1y ago
I don't think concatenative languages immediately obviate structured editing, but they sure do help.
184.
by Twey 1y ago
Right, that's actually what I do! Check out my symbol layer: https://twey.io/hci/svalboard/layout-symbols.png
185.
by Twey 1y ago
Precise causes of RSI are, as far as I know, still largely unknown, but (at least as far as current hypotheses go) there does have to be some kind of strain involved. From a quick search, it seems piano players do suffer from a high inciden
186.
by Twey 1y ago
I don't think there's _fundamentally_ anything hard about voice coding, but our current systems are terribly designed for it. We need programming languages that are much more keyword- rather than symbol-heavy, or more efficient sy
187.
by Twey 1y ago
Nice! I've never managed to try one myself, but I did assume something like that would be the case. To be fair to them, they never really promise hand ergonomics — just the freedom to type while in weird positions. I guess it's
188.
by Twey 1y ago
That sounds really cool! I'd love to see it when you've got something more concrete. I assume you're already aware of the KeyMouse and the AlphaGrip? https://www.keymouse.com/ https://alphagrip.c
189.
by Twey 1y ago
I agree, I never wanted to get into mechanical keyboards per se — I was always just on the lookout for an ergonomic layout. Mechanical switches are cheaper and cheaper these days, though, and I suspect the premium on high-end keyboards now
190.
Ergonomic keyboarding with the Svalboard: a half-year retrospective(twey.io)
123 points by Twey 1y ago|65 comments
191.
by Twey 1y ago
So it's used to mean a joint release of several different software packages? Thank you!
192.
by Twey 1y ago
(As non-curmudgeonly as possible, this is a genuine question I promise!) I see a bunch of projects and companies these days calling their product an ‘OS’. I'm not too much of a stick-in-the-mud to not see parallels between traditional
193.
by Twey 1y ago
The data in a bookmark may change, but it should preserve some property of interest — otherwise why bookmark it? Page 1 (a.k.a. the top few results with no pagination) has the property of being the selected top of HN, which is an interestin
194.
by Twey 1y ago
If you believe that the user wants to see everything around a particular price point, e.g. because they've ordered their search results by price, then the correct cursor token is the price point of the top item (or the price point of t
195.
by Twey 1y ago
The example URL here, though, is still not (helpfully) bookmarkable because the contents of page 2 will change as new items are added. To get truly bookmarkable list URLs, the best approach I've seen is ‘page starting from item X’, whe
196.
by Twey 1y ago
I've always loved Factor's homepage, which includes a random snippet of non-trivial (i.e. small but not ‘hello world’) code: https://factorcode.org/
197.
by Twey 1y ago
Rather than a compiled blob generated from a language propped up by Google (a company famed for killing beloved projects) that is compiled and therefore unmodifiable and unrecoverable if the source or toolchain is lost, it feels like these
198.
by Twey 1y ago
I tried to read this article on digital privacy but after five minutes spent unticking boxes allowing my usage data to be sent to an augean list of data collectors I gave up and left.
199.
by Twey 1y ago
Sorry, what do you think happens to people who are not given food?
200.
by Twey 1y ago
As someone who hasn't written Python in anger since before f-strings were a thing, I correctly guessed almost all the f-string specific syntax but made a bunch of errors that were just to do with the return values of various expression
201.
by Twey 1y ago
I suppose Haskell does, as `(+) <$> f1 <*> f2`.
202.
by Twey 1y ago
Also on the controversial flags side: using the British flag to represent Welsh
203.
by Twey 1y ago
I put in my name but it insists I am called Anton.
204.
by Twey 1y ago
This parallel has been drawn. Charlie Stross [0] in particular thinks the main difference is that pre-digital AIs are capable of behaving much faster, so that other entities (countries, lawmakers, …) have time to react to them. [0]: https:
205.
by Twey 1y ago
> The explanation is something like "we extrapolate from the way that rationalists think and realize that their philosophy leads to dangerous conclusions." I really like the depth of analysis in your comment, but I think there&
206.
by Twey 1y ago
I'd have been much more interested in a take that reversed the causality. For a bit now being a nerd has been cool — are we witnessing the reversal of that trend now nerds aren't the underdogs? (Not that I think many people consid
207.
by Twey 2y ago
From two directions: There are programming languages that store code in some kind of non-hierarchical format. For example, Unison ( https://www.unison-lang.org/ ) stores code in a database just as you suggest, and projects it
208.
by Twey 2y ago
In a sense, Prolog _is_ a database query language. The base facts in Prolog are equivalent to the rows of a table. You can also ‘table’ predicates with variables (over a finite subset of values) by memoizing the results.
209.
by Twey 2y ago
Except that swap on OpenZFS still deadlocks 7 years later ( https://github.com/openzfs/zfs/issues/7734 ) so you're still going to need LUKS for your swap anyway.
210.
by Twey 2y ago
This is a further step in the same programme. The programme itself is somewhat agnostic as to the underlying dynamics; the ‘stellar resolution’ mechanism (Eng's terminology, not Girard's, who AFAIR doesn't name the system) is

More ›