pgustafs

8 ms·

31.
by pgustafs 6y ago
Thanks for the interesting discussion. My main point of disagreement re:foundations is that in my view a central criterion for a foundational system is easy translation of common mathematical discourse into formal proofs. Otherwise, it
32.
by pgustafs 6y ago
Mathematicians use implicit DSLs approximately embedded in natural language to write proofs. Formalizing these DSLs in ZFC is a nightmare because its axioms are arcane and far from common mathematical discourse (much like assembly). On th
33.
by pgustafs 6y ago
Seconded, but it might be worth learning a language with algebraic data types first (such as Haskell or OCaml).
34.
by pgustafs 6y ago
If you're a programmer, I wouldn't worry too much about examples of morphisms from math (unless you're interested in the math for its own sake). You already know tons of morphisms -- every function in any programming langu
35.
by pgustafs 6y ago
> If all HoTT does is give a theory that's mutually interpretable with ZFC, that's not interesting. "If all python does is give a theory that's mutually interpretable with x86 assembly, that's not interesting.&qu
36.
We need to fix our feedback loops(paulgustafson.substack.com)
6 points by pgustafs 6y ago|0 comments
37.
by pgustafs 6y ago
From https://gitlab.haskell.org/ghc/ghc/-/wikis/linear-types : "The centrepiece of our design is to avoid code duplication. Crucially, the same types can be used in linear and non-linear contexts. F
38.
by pgustafs 6y ago
A little arithmetic: 6.4T USD / 128M US households = 50K USD/household 50K USD/household/ 9 years = 5.5K USD/household/yr
39.
by pgustafs 6y ago
The funny thing (that I'm sure you're aware of) is that 'prefer composition over inheritance' is an instance of 'prefer referential transparency', an idea from FP that you should always know what a variable is
40.
by pgustafs 6y ago
The goal is to make a collaborative dev environment using immutable one-line functions. Define any pure function by building it up incrementally from one-liners, no need for a local environment at all.
41.
Lembrary: A multiplayer persistent Haskell REPL(lembrary.com)
2 points by pgustafs 6y ago|1 comments
42.
by pgustafs 7y ago
The backend for HN is written in a Lisp dialect...
43.
by pgustafs 7y ago
Just do whichever one is more interesting to you. If you like the Haskell, keep going. There's plenty of time to do SICP after Haskell. If you're bored with Haskell, try SICP or whatever strikes your fancy. The limiting factor
44.
by pgustafs 7y ago
Write down your motivation for reading the book. Do whatever you want until you feel like taking a break. After the break, write down reflections on what happened. Repeat. This works for anything, not just reading books.
45.
by pgustafs 7y ago
I'm currently working on developing a double category of hybrid systems with applications to parallel composition and model reduction in robotics. We should have a math paper up on the arxiv within a month, and a robotics paper up shor
46.
by pgustafs 8y ago
Sure, it's not like you have to call them, but all the ones I've tried have employed anti-patterns for cancelling meals and worse ones for cancelling subscriptions.
47.
by pgustafs 8y ago
Amen. Same problem with Blue Apron and every other meal kit delivery startup.
48.
by pgustafs 8y ago
Thanks for the link and your opinion!
49.
Ask HN: Cryptocurrency naturally pegged to cost of hashing
2 points by pgustafs 8y ago|2 comments