benrbray

20 ms·

151.
by benrbray 5y ago
I'll add my two cents. Over the past year or so I went from being completely overwhelmed by Haskell to feeling pretty comfortable reading / writing Haskell, even enough to make my first PR to a Haskell package! Here's what
152.
by benrbray 5y ago
My notes are pretty math-heavy, and for that reason I really prefer WYSIWYG rather than a split view or staring at the LaTeX source most of the time. Something like the Typora editor on top of Obsidian would be great. If only both were op
153.
by benrbray 5y ago
I think the idea is that the doctor is actively intervening in your medical treatment, so they have a responsibility to make sure they're getting it right. This person is free to stop taking their meds and die alone whenever they like
154.
by benrbray 5y ago
A decidable variant called Datalog is becoming popular thanks in part to Clojure and Datomic / Datascript. See also Flix and Datafun. [1] http://www.learndatalogtoday.org/ [2] https://flix.dev/ [3] h
155.
by benrbray 5y ago
Surely unless you are a doctor yourself, you cannot perform the clinical trials needed to arrive at an objective conclusion in just a day's time. So you must be relying on studies published by--gasp--experts! Phrased differently: Giv
156.
by benrbray 5y ago
> University of California doing "studies" to defend the state of California Ok, but who is "allowed" to study the state of California? By your reasoning, * If UC does a study on California, we can't believe wha
157.
by benrbray 5y ago
We've got good old-fashioned RSS and blogrolls!
158.
by benrbray 5y ago
It strikes me that this is from the Guardian and I know nothing about UK housing policy. Is anyone here able to comment on any relevant differences between the UK and US when it comes to housing?
159.
by benrbray 5y ago
That's great to hear! Unfortunately I think it's quite rare in the rest of the country for children to be able to walk to school. I've only ever been to places where school buses / cars are the norm. I was interested t
160.
by benrbray 5y ago
Yeah, you're right there are other factors. My neighborhood had busy roads on both ends, and was mostly empty-nesters. There are certainly worse places to grow up, but I don't think we should be satisfied with the baseline set b
161.
by benrbray 5y ago
Indeed! I grew up in a typical suburb where my agency as a child was strictly limited by my parents' ability / willingness to drive me places. Most parents don't realize how hard this is for their kids, mine certainly didn&
162.
by benrbray 5y ago
Tokyo! I'm not sure if I'll stay here forever, but so far I really enjoy life here. I had many reasons, including: * Car culture was really grating on me. Before I moved to Tokyo, I lived in Atlanta, a city carved up by I-75&#x
163.
by benrbray 5y ago
Relevant: https://wtfhappenedin1971.com/ (disclaimer: I don't agree with the authors of this site that Bitcoin is the solution (: )
164.
by benrbray 5y ago
The Not Just Bikes [1,2,3] YouTube channel also has an excellent series of videos based on work from Strong Towns. I link to these videos whenever a friend asks why I chose to leave the United States. :) [1] https://www.youtube.
165.
by benrbray 5y ago
Last I heard, Snowden is still not welcome here.
166.
by benrbray 5y ago
We have plenty of both kinds :). "Truth" being a valid defense against defamation laws protects some whistleblowers, but for the big stuff we play the "national security" card.
167.
by benrbray 5y ago
I don't have a horse in this race, but playing devil's advocate: USA doesn't have strong defamation laws, and yet we still have well-concealed corruption.
168.
by benrbray 5y ago
Unfortunately college puts up the same barriers. Much of the time I spent in high school learning to code was for nothing, because my university wouldn't let me even attempt to test out of the first- and second-year courses. In anoth
169.
by benrbray 5y ago
Beets is great! Unfortunately there there are a few things that prevent me from actually using it: * emphasis on albums -- most of my songs are singletons, and beets doesn't have good support for this use case * lack of a sophisticate
170.
by benrbray 5y ago
I guess I see it from this perspective: I don't start my search for learning materials at OCW, but I often end up there through a Google search! Sometimes, it's for a surprisingly advanced / specific topic, too.
171.
by benrbray 5y ago
The behavior I'm describing is how the website used to work . The put in extra work to prevent users like me from using it this way.
172.
by benrbray 5y ago
> I haven't used edX lately but I worked at Coursera and I can tell you that the people who make that product have a passion to support learning in the world. I don't doubt that there are people working at EdX / Coursera w
173.
by benrbray 5y ago
It's not really catering to disable a feature. You can call it "audit" mode and offer no credential.
174.
by benrbray 5y ago
I didn't mean it that way at all. They were intended more like title-quotes than belittling-quotes. Everything I have read / watched on the topic tells me that food science is a really deep and interesting topic that demands exp
175.
by benrbray 5y ago
> I disagree. That's something we have in common :). My disagreement spans a few dimensions: * I've already been through school. An undergraduate and graduate degree already taught me how to learn. I have good habits, and I
176.
by benrbray 5y ago
That's cool, do what works for you! I just wish I had the option to disable the quizzes/breaks and see it all in one go. I personally like to watch talks / lectures while I'm doing dishes, but I can't click on the
177.
by benrbray 5y ago
Those are actually exactly the lectures I watched before attempting to join the very disappointing EdX course by the same professors :). The lectures on YouTube were evening lectures meant to summarize each week of class, but the actual in-
178.
by benrbray 5y ago
I tried to use edX for the first time recently to take a "food science" course, but was disappointed to see that they've resorted to the same dark patterns as Coursera and others, such as: * Removing your access to course mat
179.
by benrbray 5y ago
This app looks pretty good. There's also RemNote [1] which serves a similar function. It's kind of like Roam + Anki all in one. I'm really loving the proliferation of good new ideas for note-taking and memorization. I wish
180.
by benrbray 5y ago
Another good reference, that also introduces some PLT notation, is Loh 2001, "Introduction to the Dependently-Typed Lambda Calculus" [1], as well as the textbook by Pierce [2], which has a formally-verified spiritual successor [3]

More ›