markusde

9 ms·

61.
by markusde 3y ago
Nobody knows enough about the universe to say this.
62.
by markusde 3y ago
Can confirm. Just graduated, and a significant chunk of my cohort is going or is planning to go south. Mind, I don't get the impression that they want to stay in the states. I include myself in that camp, the plan eventually being to w
63.
by markusde 3y ago
An extremely brief google search tells me that controlled burns require firebreaks, knowledge of the wind patterns (something called a downwind backfire?) and presumably continued monitoring/support from firefighters to actually be a c
64.
by markusde 3y ago
(jokingly) yes, in Haskell: https://clash-lang.org
65.
by markusde 3y ago
I don't think that this is right. A programming language is useful to programmers if it's oriented around the structure of the _problem_ and not just the structure of the _physical machine_. For some tasks these coincide (especial
66.
by markusde 3y ago
Yeah, I'm cautiously excited about how AI and FM might work together. I don't think LLM's can ever be trusted to verify programs itself, but anything which can reduce the annotation overhead for programmers is a super useful
67.
by markusde 4y ago
Interesting-- thanks!
68.
by markusde 4y ago
Aha-- so then HVM allows a more efficient reduction of some lambda terms, but is not intended to replace something like GHC core? What is the subset of lambda terms which HVM can (soundly) evaluate?
69.
by markusde 4y ago
> A caveat of this technique for reducing lambdas is that it doesn't exactly match the behavior of the normal lambda calculus. While it might reduce the same as the normal lambda calculus in many cases, it doesn't always. And t
70.
by markusde 4y ago
IMO after the first section the headings in the post are misleading: - A functor is "not a functor" because not all endofunctors on Hask can be written as Haskell Functors. - A monad is "not a monad" because you can im
71.
by markusde 4y ago
I think I see what you're getting at. A few final points: - There's a subtle difference between "infinite" and "unbounded". Turing machines use at most a finite amount of memory after any finite amount of steps
72.
by markusde 4y ago
> I'd argue the complete opposite. It's very meaningful for me to distinguish whether a program works correctly, crashes due to running out of memory or loops forever. Fair for many applications. I work with computers that writ
73.
by markusde 4y ago
While technically correct in several ways, this is a pretty naive take on the topic. A simple counterexample is trying to decide whether a program which computes the Collatz conjecture will always halt (which is equivalent to proving the co
74.
by markusde 4y ago
Is lifetime syntax so terrible? Personally I like that all the subtyping relations are in the same place (lifetime outlives, polymorphism etc) and that they can be written inline until complicated enough to justify a ``where`` block.
75.
by markusde 4y ago
Yes-- working right now on a tool that uses Rust compiler internals. A previous contributor made a module with a clean interface to almost all of the compiler analyses I needed and without much compiler cruft. Coming across it was a borderl
76.
by markusde 4y ago
This is totally right. There are two kinds of classes: those with a specific set of learning outcomes to meet (eg. a prerequisite course) and those where by the end the in-scope knowledge is essentially unlimited (eg. courses where it'
77.
by markusde 4y ago
I mean it does include "programming with abstract data types" More classic FP papers could have been added but honestly this doesn't seem like a bad little collection!
78.
by markusde 5y ago
It's been half-working, half-broken for months at this point, and I haven't picked a project to wrangle into the spotlight on the home page. Thanks for reminding me to plug away at it some more :) Not a frontend person at all so t
79.
by markusde 5y ago
Respectfully I disagree. Machines with heap are not the only model of computation, and the fact that useful software has been written in python suffices to prove this. I mean... are we to throw away all code in numerical methods because the
80.
by markusde 5y ago
They're a good tool for sure, but I take issue with your characterization. It's not "laziness" or "lack of understanding" that makes them ill-suited for python, but just that they're too expressive for the
81.
by markusde 5y ago
You're generalizing so that you can dismiss my argument, though it is probably my fault for being unclear. When you "just ask questions" on a public platform you implicitly give credence the side with less acceptance. This is
82.
by markusde 5y ago
Stopping shouting != silence. This is a naive take. Should every minority opinion be given the front page of netflix, regardless of the harm pushing it might leave in it's wake? Or just TERFs? Anti-trans violence and suicidality is a m
83.
by markusde 5y ago
This thread is already full of people who didn't read or understand the critique of Netflix as presented in the article. It's not an issue of "Dave Chappelle thinks a bad thing and should be punished" it's "Net