Posts

A one-sentence formulation of the AI X-Risk argument I try to make 2024-03-02T00:44:00.116Z
An 'AGI Emergency Eject Criteria' consensus could be really useful. 2023-04-07T16:21:44.407Z
We might get lucky with AGI warning shots. Let's be ready! 2023-03-31T21:01:44.966Z
Is GitHub Copilot in legal trouble? 2022-10-18T16:19:34.842Z
For me the Christianity deal-breaker was meekness 2021-08-26T14:25:41.372Z
Cryonics prices were more complicated when I double-clicked 2021-08-23T01:26:41.592Z
Anatomy of a full school climate strike 2021-08-22T15:17:06.126Z

Comments

Comment by tcelferact on Is GitHub Copilot in legal trouble? · 2022-11-04T15:39:10.413Z · LW · GW

Update: lawsuit filed https://githubcopilotlitigation.com/.

Comment by tcelferact on Calibrate - New Chrome Extension for hiding numbers so you can guess · 2022-10-07T19:18:45.085Z · LW · GW

Looks great, can you publish it for firefox too? (If the code is open-source I can try and help with this myself.)

Comment by tcelferact on The Best Software For Every Need · 2022-08-06T19:12:28.380Z · LW · GW

I would choose it for very different use cases to slides; I've never diagrammed anything in a slides editor. I have historically drawn things in excalidraw, screenshotted them, then pasted them into a slides editor though.

Comment by tcelferact on The Best Software For Every Need · 2021-09-30T13:23:12.015Z · LW · GW

I also prefer ripgrep, because it's a lot closer to a drop-in replacement for grep, and sometimes I'm on a server where only grep is installed. I don't want to have to remember how to use 2 different programs for the same thing.

ag does have some functionality for file-matching that ripgrep (and grep) is missing, but once I discovered fd https://github.com/sharkdp/fd (a drop-in-ish replacement for find) and xargs I never looked back.

Typical command: fd match_some_paths | xargs rg match_lines_in_some_files (-l if i just want the matching filenames)

Comment by tcelferact on The Best Software For Every Need · 2021-09-24T22:56:20.405Z · LW · GW

Haven't used Amethyst, but I do use sway on my personal machine, it's my favourite window manager! I prefer sway to my mac solution on my work computer, but that's mainly because macs are missing the $mod key, other than that I notice no real difference.

Comment by tcelferact on The Best Software For Every Need · 2021-09-11T13:57:08.492Z · LW · GW

I prefer got to axios (and request, fetch): https://github.com/sindresorhus/got. I find the api cleaner (although that's a matter of taste) and it's built with typescript in mind.

Comment by tcelferact on The Best Software For Every Need · 2021-09-10T13:54:37.861Z · LW · GW

Software: excalidraw.com

Need: quick diagramming

Other programs I've tried: draw.io, miro

Miro is great for involved, collaborative diagramming with a team when you want to build out a design or idea in great detail, but sometimes you just want to quickly sketch something that looks good and share it with a co-worker.

My go-to software for this is excalidraw. It's limited to shapes, lines, and text (no fancy UML), but if that's all you need to get your idea across it's extremely quick and easy to use.

Comment by tcelferact on The Best Software For Every Need · 2021-09-10T13:47:33.663Z · LW · GW

Software: yabai + skhd

Need: window management for mac

Other programs I've tried: Spectacle, BetterSnapTool

If you're from a linux background and looking for an i3-like experience to manage your windows on macos, this (combination of) software is the best solution I've found. The other programs I've tried for this on mac are desktop apps, but yabai and skhd are configured in plaintext and are much more powerful and customizable.

Note: The yabai readme mentions a need to disable system integrity protection, but I have never done this and I can still resize/move windows just fine.

Comment by tcelferact on For me the Christianity deal-breaker was meekness · 2021-08-27T02:25:50.797Z · LW · GW

Thanks for sharing this. When I was studying theology, I most enjoyed learning about the first and second century communities that circulated the gospels, and that was because of points like the one you've raised (although I wasn't familiar with "praus"). It's a shame most of it never made it into church when I was a kid! The messaging of those early communities and the messaging of modern churches are very different.

Comment by tcelferact on For me the Christianity deal-breaker was meekness · 2021-08-27T02:02:38.815Z · LW · GW

Also, there's a difference between not standing up for yourself and not standing up for others. In my understanding only the former is considered a virtue.

I think that's correct, but also I think if you practise not standing up for yourself enough, it will spill over into not standing up for others. I'm not yet clear on how I'd want to make that argument though.

Comment by tcelferact on Anatomy of a full school climate strike · 2021-08-26T14:10:29.943Z · LW · GW

Why did you pick youth school disattendance as your subject in the first place?

Because this is already being done, just on a much smaller scale. 'Fridays for Future' has that name because some students decided to start taking Fridays off and protest instead.

Comment by tcelferact on Anatomy of a full school climate strike · 2021-08-23T00:42:29.604Z · LW · GW

It would take all of an hour

If you have time to share, I'll read it!

Comment by tcelferact on Anatomy of a full school climate strike · 2021-08-23T00:40:09.787Z · LW · GW

And the most important prediction (which you don't give, but should): less than 0.02 that this will actually happen

 

That's an interesting question for sure, I haven't thought much about it. However, I would argue 'could something like this be incentivised', and 'would strikers have leverage to actually achieve anything' are separate questions. I'm personally more interested in question two.

Comment by tcelferact on Anatomy of a full school climate strike · 2021-08-23T00:36:36.398Z · LW · GW

I'm guessing students would probably demand goals in line with IPCC recommendations.

Comment by tcelferact on Anatomy of a full school climate strike · 2021-08-23T00:36:06.211Z · LW · GW

Hi anon03, I tried to make this post less 'how can I help', and more 'what would happen if X'. I think politics/political organizing is off-topic for LW, but trying to model or forecast how future events might play out seemed like fair game, and I'm pretty curious about how this kind of action might go. That's why this piece doesn't talk about goals or planning.

(For what it's worth, I'm not a student, and I'm not currently involved in any organizing, but I donate 10% of my salary, roughly 3% to animal welfare, 3% to global development (both EA funds), and 3% to climate initiatives).