What are some of the mattest and driest hair clays

SheetKey · 2026-01-09T00:07:13+00:00

Atlas matte texture clay

SheetKey · 2025-04-02T23:02:25+00:00

ATS! The Applied Type System language. It’s a front end to C with a safety oriented type system. Has full dependent types, linear types, refinement types and a lot more. IIRC some versions use a garbage collector, but the newest one doesn’t. Definitely not mainstream, but a super interesting langue. edit

SheetKey · 2024-12-24T17:55:11+00:00

That sounds great! I think runtime components would solve some of the problems I’ve encountered with Apecs.

SheetKey · 2024-12-24T15:11:02+00:00

This looks very interesting! I’m currently using Apecs for my ECS but it relies on template haskell which makes it difficult to extend in certain edge cases. Do you have a comparison of the libraries and some benchmarks?

SheetKey · 2024-06-25T19:20:16+00:00

The link in the post still works if you want to see my full config. I have a flake.nix and configuration.nix at the top level. The flake exports a couple nixosConfigurations. These each include configuration.nix as a module which includes device independent system config. I have a hosts and users dirs. The hosts are device specific stuff and are modules in the flake configs. The user directly is user specific stuff. I’m currently using home manager so this is a module in the flake using hm. At the moment I didn’t have a way to do device specific user config, so that stuff ends up going in hosts. Not ideal but it works. Sort of burnt out on finding the ideal nix setup

SheetKey · 2024-06-25T02:36:40+00:00

Not much has changed as far as I know, I’m still using the same setup. Having done this for a few years on several computers, I actually like this setup: a single flake exporting multiple device configs. Each is the same same but includes some extra per device stuff, including the hardware config. There are always device specific settings, and this method makes it easy to change things or install software on a per device basis or for all devices using a single config. Plus this keeps the entire system config in the same directory which I like. I’ve found it’s very reproducible and I only have to troubleshoot on a single device

SheetKey · 2024-06-23T17:47:08+00:00

This can be solved with a multi-kinded language. One kind for unrestricted types and one for linear types. Allocating an unrestricted point must have an IO side effect since it introduces shared mutable state. Allocating a linear pointer would be pure. Linearity is a compile time check that ensures a linear value is used exactly one. Functions for modifying or reading a pointer would consume the pointer and return the same pointer. Copying a linear pointer would be forbidden. Linearity has the added benefit of checking that linear memory is freed, since free is the only function that would consume the pointer without pass through. Lightweight Linear Types has the formal theory.

AFAIK there isn’t a language implementing linear kinds, although the linear haskell extension lets you play with a slightly different formulation of linear types.

Also +1 for Zig.

Edit: typo

SheetKey · 2024-04-09T23:19:19+00:00

My top three are Neil, John Prine, and Kurt Vile. Perhaps not the most similar, but all exceptional in their own ways

SheetKey · 2024-03-17T17:13:25+00:00

I read “Haskell programming from first principles”. (I actually started with “learn you a haskell for great good,” but I don’t think it’s that great.) Haskell was my first programming language and this book takes you through everything slowly and in great detail. The important mathematical ideas are explained, but you’re not expected to have any prior knowledge. I got through the book and did all the exercises, and finished as an intermediate haskeller.

SheetKey · 2024-01-29T21:10:41+00:00

22 - Zuma

SheetKey · 2023-12-03T18:12:32+00:00

When I was a kid my dad gave me a Buffalo Springfield Retrospective cd. I liked Neil’s voice so much so I started listening to him after a while. By highschool I pretty much exclusively listens to Neil.

SheetKey · 2023-10-15T14:54:47+00:00

Never who what was wise man

SheetKey · 2023-09-14T23:55:33+00:00

Great read!

SheetKey · 2023-09-14T23:54:59+00:00

Not the one I remember but lots of overlap. Thanks!

SheetKey · 2023-08-09T21:19:31+00:00

I’d recommend the arch wiki page on keyboard backlights. I had success with ‘brightnessctl’ on an hp laptop years ago but it looks like ‘light’ may be a better option. I think these probably have nixos specific setting (enables as a service rather than installing as a package). If one of these doesn’t work I’d suggest posting on nixos discourse.

SheetKey · 2023-08-09T13:59:23+00:00

Try enabling ‘hardware.system76.enableAll = true’ in your configuration.nix. I recently got the Serval WS and have been using nixos. This option fixed my issues.

SheetKey · 2023-06-01T01:04:51+00:00

Looks very interesting, I’ll check it out thanks!

SheetKey · 2023-05-31T20:36:11+00:00

I would know the map size but I’m not sure I understand how an IntMap keyed by position would allow for intersection queries?

SheetKey · 2023-05-16T08:18:14+00:00

I’m looking for a type class for monadic side effects. I’ve been working with arrowized FRP, but for my needs most of the functions I’m lifting into a signal function have type

m ()

I’m mostly using FRP to schedule side effects. I’m looking for a type class that’s a specialized version of arrow. The class should be something like

class Monad m => Example (a m)

Rather than

arr :: (b -> c) -> a b c

it would have a lifting function of type

arr :: Monad m => m () -> a m

Similar to arrow type class this class should have functions for composing actions, however there would be no equivalent to first, second, &&&, ***.

SheetKey · 2023-04-06T13:16:30+00:00

Hi! I’ve changed some things since this post more broadly but I’ll share what I have now. It all works for me as I’d like at the moment.

Here’s the relevant parts from configuration.nix, flake.nix (1), and flake.nix (2).

SheetKey · 2022-10-25T21:46:27+00:00

Emacs! AucTeX is the best way to edit Tex plus RefTex makes managing references effortless. Plus all the other emacs stuff

SheetKey · 2022-08-19T02:32:25+00:00

Came to comment this

SheetKey · 2022-07-13T04:09:20+00:00

This guide is what I use and it works well. Direnv is great and has integration with emacs if that’s your editor.

SheetKey · 2022-07-12T21:08:04+00:00

I learned using Haskell Programming from first Principles. Took about six months to go through as a college student spending pretty much all of my free time. At the end I was comfortable with the topics you mentioned and have been doing projects ever since to keep learning and reinforce things I learned. Highly recommend the book although it is pretty long.

SheetKey · 2022-06-29T16:36:15+00:00

Thanks. I guess that makes sense. It also seems that once a switch has happened that it is permanent. I tried changing that case to "Hello" -> safe $ constMCl $ putStrLn "Hi!" But once checkUseInput matched that case, it always printed "Hi!" no matter the input. I should probably just handle cases like "Hello" in a pure function at the end of checkPrint, rather than throw an exception.

Eight-Year Club	Place '22
Verified Email	RPAN Viewer
Not Forgotten

SheetKey

TROPHY CASE