maxsun

5 ms·

1.
by maxsun 5y ago
In a structural context, I think you could argue than anyone who participates in existing institutions which propagate these differences in opportunity/resources is “racist”. Of course, this definition makes it extremely hard to avoid
2.
by maxsun 6y ago
I enjoyed reading through this -- maybe more-so than other commenters since I'm less familiar with the material. It seems like the overall goal is to provide some intuition for how automatic differentiation & program synthesis migh
3.
by maxsun 6y ago
One of my favorite after school activities as a kid was playing with Lego’s Mindstorm robot kits — if your kids have any interest, it could be a fun (and productive imo) way to have your interests meet in the middle :).
4.
by maxsun 6y ago
I was recently reading into Total Functional Programming [1] and found it surprising that it seems possible to reason about/model Turing Machines in languages which guarantee a program's termination [2]. I've barely scratched
5.
Verified Programming of Turing Machines in Coq (2020)(popl20.sigplan.org)
2 points by maxsun 6y ago|1 comments
6.
by maxsun 6y ago
I'm very new to Forth, but find this intuition really appealing; do you know of any examples that demonstrate/prove this correspondence?
7.
by maxsun 11y ago
I'm using Twilio and a simple API I wrote for formatting the messages, both of which are connected to TermAlert.me.
8.
by maxsun 11y ago
Do you think a simple "stop sending me messages" would be enough for abuse prevention?
9.
by maxsun 11y ago
Constructive criticism would be greatly appreciated! I'm relatively new to website development and put this together in a couple of days. For an example usage, I used it to alert me when a slow program for finding prime numbers had fin
10.
Show HN: TermAlert – Receive a text when a terminal command finishes(termalert.me)
10 points by maxsun 11y ago|5 comments