The Firehose

49 readers
22 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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
 
 

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.

41
42
 
 

This guy never ceases to amaze me.

I removed the protective glass from a CMOS image sensor, and used optical immersion oil to couple the bare image sensor to a 40X NA=1.3 microscope objective.

43
 
 

Joe Armstrong (RIP) is one of the inventors of Erlang. When at the Ericsson computer science lab in 1986, he was part of the team who designed and implemented the first version of Erlang. He has written several Erlang books including Programming Erlang Software for a Concurrent World. Joe has a PhD in computer science from the Royal Institute of Technology in Stockholm, Sweden.

44
 
 

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.

45
46
 
 
  • 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
47
48
49
50
 
 

This walkthrough blew my mind.

view more: ‹ prev next ›