this post was submitted on 25 Feb 2025
6 points (100.0% liked)

The Firehose

49 readers
21 users here now

MY PERSONAL COMMUNITY.

I tend to overshare all of the things I am into, creating a wall of links that people can't keep up with.

Therefore, I decided to aggregate all of the links in one place for others to see.

I am the only person that can post here because this is my personal collection of links.


Rules (anyone that violates them will be promptly banned for life):

  1. These is my community to aggregate my favorite links. I am not a "bot". If you don't like it, please make a comment and I will happily ban you for life.

  2. Don't be a troll. This is completely up to my interpretation and I reserve the right to be a power tripping mod if I wish.

  3. If you're going to have a discussion, keep it civil. Don't gaslight people, gatekeep, move goalposts, etc.

  4. I am a leftist. Spamming this comm with viewpoints that I deem right wing or fascist will get you banned.

  5. No neoliberal genocide apologia and identity politics bullshit. I will enthusiastically ban you with prejudice.

founded 1 day ago
MODERATORS
 
  • 00:44 using Haskell, Nix, and Emacs for integrated offline development
  • 08:48 building environments for particular dependencies with Nix
  • 09:58 what Emacs and GHC have in common
  • 12:58 developing with typed holes
  • 14:43 compiling to categories
  • 20:35 learning to love mathematics
  • 22:41 applications for compiling to categories
  • 25:25 Coq
  • 28:15 specifying the ByteString library in Coq
  • 34:30 Why Haskell?
  • 40:00 writing a compiler in C vs Haskell
  • 43:32 gitlib
  • 45:52 getting your head around Haskell
  • 48:23 recursion schemes/F-algebras
  • 52:33 hnix
no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here