mgsloan2

9 ms·

1.
by mgsloan2 1y ago
My homedir is just a git repo, similar to https://www.atlassian.com/git/tutorials/dotfiles . The .git folder has a different name so that git commands aren't accidentally applied to it. What I love most abou
2.
by mgsloan2 1y ago
Very fun to peruse! Curious why the olivetti typewriter has such strangely shaped key caps. While it seems like OLPC didn't really achieve the full vision of the project, I have some anecdata of success - my coworker got an OLPC when y
3.
by mgsloan2 1y ago
Collection of data from code completions is off by default and opt-in. It also only collects data when one of several allowlisted opensource licenses are present in the worktree root. Options to disable crash reports and anonymous usage in
4.
by mgsloan2 1y ago
You could, but it is extremely expensive to train an LLM that is competitive on coding evals. So, I was assuming use of a model someone else trained. Also, if it is only trained on code, it's likely to miss out on all the world knowle
5.
by mgsloan2 1y ago
Sounds like cool stuff, along the lines of structure editing! The question is not whether it can work, but whether it works better than an edit tool using textual search/replace blocks. I'm curious what you see as the advantage o
6.
by mgsloan2 1y ago
I agree the current way tools are used seems inefficient. However there are some very good reasons they tend to operate on code instead of syntax trees: * Way way way more code in the training set. * Code is almost always a more concise re
7.
by mgsloan2 2y ago
See for example https://opensource.google/documentation/reference/using/agpl... > Code licensed under the GNU Affero General Public License (AGPL) MUST NOT be used at Google.
8.
by mgsloan2 2y ago
Doesn't seem like its proven to work, but looks like it can be purchased, called "Profi Nasal Spray".
9.
by mgsloan2 3y ago
Whoah, that interpretation seems pretty wild to me. They put a lot of effort into building a pizza oven and someone else tore it down, and they should feel nothing about this?! If an artist sells their painting they shouldn't care if
10.
by mgsloan2 3y ago
https://mgsloan.com - 11 posts about unorthodox computer ergonomics. 6 posts about Haskell ideas / weird tricks. Haven't posted in a couple years but would like to get back to it. Notable HN discussions: - https:&#x
11.
by mgsloan2 3y ago
Same path for me, I like the v-moda headphones a lot, but the hinge mechanism is way too fragile, and the charge port broke, so the bluetooth pair was my last v-moda headphone. I also switched to beyerdynamic and have been very happy with
12.
by mgsloan2 3y ago
I love this concept! When I got tired of replacing headphones in the past I got some beyerdynamic dt770 modded by jfunk.org. They are repairable and durable. Though they are not natively bluetooth, can use a short cable + qudelix 5k to m
13.
by mgsloan2 4y ago
> if your type-system is sufficently strong to express this No fanciness needed, just plain old sum types. It is certainly possible to express those invariants directly in languages with a dependent type systems or refinement types like
14.
by mgsloan2 4y ago
In my experience with languages that lack concise sum types and pattern matching, you end up with data types that have lots of implicit invariants. If you find yourself writing docs or thinking in your head things like "Field X is onl
15.
by mgsloan2 4y ago
Yeah, but ref-log is scary to beginners (I suppose rebase is too!). Rebase was a poor example, but even so, it is way easier to copy a snapshot number out of your cli and restore than it is to dig through your reflog for the right sha ref-
16.
by mgsloan2 4y ago
Pretty cool! One idea I really like for avoiding VCS operation anxiety for beginners and experts alike is a filesystem layer that allows revert to any historical state. You just have your bash prompt output the current snapshot number, and
17.
by mgsloan2 5y ago
That is true, this is my parent's hammock. I own a dutchware chameleon hammock - see this post about using it for computing https://mgsloan.com/posts/ergo-update-hammock-under-deck/
18.
by mgsloan2 5y ago
Some have swappable cables! Ergodoxes typically use TRRS audio cables. Keyboardio uses ethernet between the two halves. There are also some fully wireless split keyboards like the southpaw centromere. I found the thumb keys to be too inw
19.
by mgsloan2 5y ago
Hah, yes experimenting in life is good :) If you want to see more wildness, a couple of my other posts are more unusual: * https://mgsloan.com/posts/polarizer-glasses/ * https://mgsloan.com/posts&#
20.
by mgsloan2 5y ago
For a while I had a misting setup during the summer, at my deck desk. I didn't have any trouble with electronics. These days I'm in Colorado which tends to be relatively dry. One solution to sun is to use shade strategically -
21.
by mgsloan2 5y ago
Interesting! I haven't tried it yet, but perhaps foam wedges would be a cost effective approach? (typically used as yoga props) For positioning the laptop, suspending it works pretty decently for laptops that have a large range of mot
22.
by mgsloan2 5y ago
I think there's quite a bit of variety in people's alertness in reclined / supine postures. Personally I have trouble sleeping unless conditions are really good for it. This sucks, but I think related to this trait is that
23.
by mgsloan2 5y ago
Thank you! I appreciate your tips. Yes, I move around a lot, I practice acrobatics at least a few times a week :) I think the original injury may have something to do with doing back bends improperly years ago, or snowboarding. I recently
24.
by mgsloan2 5y ago
Glad you enjoy todoist-shortcuts! Very interesting about hands elevated above chest height. I also thoroughly agree about using a variety of postures. I think for a lot of folks supine / reclined might be too relaxing for work. I fi
25.
by mgsloan2 5y ago
Hell yeah! I particularly find it easy to move around with my keyboard strapped to my belt - https://mgsloan.com/posts/tree-based-computing/
26.
by mgsloan2 5y ago
Author of the supine computing post here. I agree thoroughly that variety is best for health overall. In a different post I wrote a section about it: https://mgsloan.com/posts/deskless-ergo-wfh/#variety-is-key .