benrbray

13 ms·

121.
by benrbray 5y ago
This sounds cool. Do you happen to have any links to share?
122.
by benrbray 5y ago
Doctors are also licensed for their specialty by a medical board.
123.
by benrbray 5y ago
book.swf
124.
by benrbray 5y ago
Thanks for the example! I think the scribd pdf viewer has some layout issues, but I can now recall that I've seen this font in quite a few places before. It doesn't look bad , but I still don't think it quite works for dens
125.
by benrbray 5y ago
Do you have any examples of math / engineering texts written with Minion Pro? I can mostly find it used for title fonts, or with a ton of line spacing.
126.
by benrbray 5y ago
> It looks like a font designed by an engineer, not a designer This is exactly why I like it. Designed by an engineer for the purpose of typesetting engineering articles and books . Most of the other alternative fonts feel like they we
127.
by benrbray 5y ago
I do the same -- I take good notes explaining things in a way that make sense to me, so I have personalized study material for when I inevitably forget three months from now what I read.
128.
by benrbray 5y ago
What?? I've never met anyone who thinks that. Personally I think it's a very hard standard to beat. I rarely see a document with a non standard font that wouldn't look better in computer modern. Especially for math.
129.
by benrbray 5y ago
I've always fancied the German style of having dense clusters of houses/shops around a major train station / highway, with farmland in between. Look at satellite imagery [1] around Stuttgart, for instance. You can totally h
130.
by benrbray 5y ago
There's a Noam Chomsky quote for this: “I’m sure you believe everything you’re saying. But what I’m saying is that if you believe something different, you wouldn’t be sitting where you’re sitting.” [1] https://www.g
131.
by benrbray 5y ago
What I like about a place like Tokyo is that you can choose the mode of transportation that is most suitable for your journey. If you're someone who likes cars, there's no shortage of roads and highways. It's a great way to
132.
by benrbray 5y ago
For anyone who has trouble understanding this perspective because they've lived in car-dependent hell their entire lives, I recommend the Not Just Bikes channel. He does extremely detailed comparisons of US cities vs Netherlands and o
133.
by benrbray 5y ago
Mathematically speaking, isn't it true you can compute the coordinate transformation (with your choice of map projection, perhaps ignoring the poles)? The real problem is that your metric / notion of distance has changed, so you
134.
by benrbray 5y ago
Check out Athens [1]. It's closer to Roam than Notion, but it's free and open source, and they seem to be headed in the right direction: [1] https://github.com/athensresearch/athens
135.
by benrbray 5y ago
> sign a contract for $100,000 that you won’t work in field x for 2 years Wow, sign me up!
136.
by benrbray 5y ago
Me too. I love when people link random blog posts written by grad students and people in industry who are writing for a very specific audience, or even just for themselves. If there's an article I don't care about, I don't c
137.
by benrbray 5y ago
I constantly find myself wishing for something in between Haskell and TS. I want Haskell pattern matching and typeclasses with TypeScript's records / structural types. Haskell's language extensions are nice but not strictly
138.
by benrbray 5y ago
For the record, I mentioned Vietnam and Iraq not in the context of the present day, but because a significant proportion of Americans were very outspoken about those wars as they were happening. You're right, it's harder to remain
139.
by benrbray 5y ago
There are plenty of things happening in present day American policy that I am ashamed of. On the other hand, I'm grateful that I can openly criticize my government online without fear of imprisonment.
140.
by benrbray 5y ago
Plenty of Americans were very outspoken against the Vietnam and Iraq wars, among other blunders. Plenty of us find the state of American politics absolutely deplorable. There is no shortage of critics. Sure, there is plenty of room for im
141.
by benrbray 5y ago
That's just capitalism for you. The same happens with all important news stories, including about covid and active warzones. It's a problem, sure, but it doesn't invalidate journalism entirely.
142.
by benrbray 5y ago
It's heart-breaking to see many of my Chinese friends / peers keep their heads in the sand about this. Usually they'll fall silent the topic arises. At most, they'll say something about cultural differences and social
143.
by benrbray 5y ago
I don't have a horse in this race, but I have often heard in these threads the rumor that the reason the Remarkable E-Ink tablet cannot be fully open-source is due to restrictive licenses for the E-ink technology they use. Basically p
144.
by benrbray 5y ago
Dependently-typed languages often work this way! See for instance "Inductively Defined Propositions" in Coq. (remembering, of course, that propositions are types [2], which proof assistants take quite literally) [1] https:&#x2F
145.
by benrbray 5y ago
I was really rooting for Edge back before they switched to Chromium. Now it's just worse Chrome. I do use it as my default PDF viewer though as I don't know of any other free tool for linux that lets you annotate PDFs. (there&#
146.
by benrbray 5y ago
already tried that and it didn't go so well ;)
147.
by benrbray 5y ago
Agreed. To me, FIRE would mean the freedom to spend every day working on problems I think are important and learning stuff that I think is interesting, whether or not a company agrees with me. All with the knowledge that I can stop workin
148.
by benrbray 5y ago
Agreed. Let me drop some references about the relationship between Haskell and Category Theory that really helped me untangle these concepts, in case it might help others. [1] Haskell/Category Theory https://en.wikibooks.or
149.
by benrbray 5y ago
Yeah, the goal was (rather, is---I'm still working on it!) to learn more about real-world Haskell by actually learning how to use packages and forcing myself to read the Hackage docs, so for this project I pretty liberally import a new
150.
by benrbray 5y ago
Persistent is truly amazing. I don't think I've ever had such a smooth experience working with databases in any other language.

More ›