The Firehose

77 readers
1 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 month ago
MODERATORS
harryprayiv@infosec.pub
listing: all - local
51
6
The Haskell Cast: Episode 13 - John Wiegley on Categories and Compilers (www.haskellcast.com)
submitted 1 month ago by harryprayiv@infosec.pub to c/firehose@infosec.pub
0 comments fedilink
 
 
  • 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
52
6
The Amp Hour #687 - The RP2350 with the Raspberry Pi Team (youtu.be)
submitted 1 month ago by harryprayiv@infosec.pub to c/firehose@infosec.pub
0 comments fedilink
53
11
This ESP32 Antenna Array Can See WiFi (youtu.be)
submitted 1 month ago by harryprayiv@infosec.pub to c/firehose@infosec.pub
0 comments fedilink
54
9
God's Programming Language - CoRecursive Podcast (corecursive.com)
submitted 1 month ago by harryprayiv@infosec.pub to c/firehose@infosec.pub
0 comments fedilink
 
 

Does God Code in Haskell?

Professor and accomplished programming language researcher Philip Wadler believes that typed lambda calculus was discovered not invented – part of the underpinnings of the universe itself. As a result, functional programming languages are more fundamental and deeply justified than their alternatives.

We talk about this principle, which has guided his career. Phil takes us through the history of computer science from Turing to Alonzo Church. Eventually we get to what the movie Independence Day got wrong and what language a theoretical creator deity would program in.

55
6
Rúnar Bjarnason, "Unison: A Friendly Programming Language from the Future" (youtu.be)
submitted 1 month ago by harryprayiv@infosec.pub to c/firehose@infosec.pub
0 comments fedilink
56
6
Abilities in the Unison Language: A New Way of Looking at Dependency Injection and Stateful Effects (youtu.be)
submitted 1 month ago by harryprayiv@infosec.pub to c/firehose@infosec.pub
0 comments fedilink
57
6
KOENIGSEGG Gemera | Drivetrain Walkthrough (youtu.be)
submitted 1 month ago by harryprayiv@infosec.pub to c/firehose@infosec.pub
0 comments fedilink
 
 

This walkthrough blew my mind.

58
10
Aztecs: A Haskell Game Engine Inspired by Bevy (github.com)
submitted 1 month ago by harryprayiv@infosec.pub to c/firehose@infosec.pub
0 comments fedilink
59
11
JSON Parser 100% From Scratch in Haskell (only 111 lines) (youtu.be)
submitted 1 month ago by harryprayiv@infosec.pub to c/firehose@infosec.pub
0 comments fedilink
60
8
High precision air bearing CNC lathe and grinder (youtu.be)
submitted 1 month ago by harryprayiv@infosec.pub to c/firehose@infosec.pub
2 comments fedilink
61
8
Great Long-Form YouTube Channels (infosec.pub)
submitted 1 month ago* (last edited 4 weeks ago) by harryprayiv@infosec.pub to c/firehose@infosec.pub
0 comments fedilink
 
 
  • WatchEyes
  • Cutting Edge Engineering
  • Martin Doolaard
  • Clickspring
  • 3Blue1Brown
  • The Signal Path
  • Democracy Now
  • Tech Ingredients
  • Applied Science
  • Cody’s Lab
  • NileRed
  • Fireship
  • Mental Outlaw
  • Behind the Bastards
  • Two Minute Papers
  • bigclivedotcom
  • Hackaday
  • The Amp Hour
  • Andreas Spiess
  • Tsoding
  • No Boilerplate
  • CinemaStix
  • Pitching Ninja
  • Jeff Geerling
  • Strange Loop Conference
  • Impure Pics
  • Psionic Audio
  • Computerphile
  • Abom79
  • Tweag
  • Serokell
  • NixCon
  • IOG Academy
  • Mend It Mark
  • Man Carrying Thing
  • Vimjoyer
62
8
Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey (youtu.be)
submitted 1 month ago by harryprayiv@infosec.pub to c/firehose@infosec.pub
0 comments fedilink
 
 

In this talk Simon discusses Haskell’s birth and evolution, including some of the research and engineering challenges he faced in design and implementation. Focusing particularly on the ideas that have turned out, in retrospect, to be most important and influential, as well as sketching some current developments and making some wild guesses about the future.