cscheid

7 ms·

61.
by cscheid 3y ago
Time to break out John Baez's checklist: https://archive.org/details/TheCrackpotIndex
62.
by cscheid 3y ago
> not _better enough_ Wirth was such a legend on this particular aspect. His stance on compiler optimizations is another example: only add optimization passes if they improve the compiler's self-compilation time. Oberon also, (and a
63.
by cscheid 3y ago
Another happy, years-long FastMail customer here.
64.
by cscheid 3y ago
Although the above comment might sound negative and harsh, it is a perfect distillation of modern research-oriented academic environments. (I was a moderately-successful professor in these environments. I woke up one day and simply couldn&#
65.
by cscheid 3y ago
I 100% agree with everything you said, I just wanted to make this point even more forcefully: > Saying nature is mathematical is just saying that nature is consistent in the laws it follows. It's more like "wherever nature isn&
66.
by cscheid 3y ago
Macleod’s Star Fraction is still unsurpassed for me in political scifi. It’s the kind of novel that can only be written by someone born in Europe, with the lived experience of wars being reflections of reflections of reflections of old conf
67.
by cscheid 3y ago
(disclosure: I'm a quarto dev. But I'm also a big fan of typst) You're right that typst is _very good_ at extensions, and likely will always be superior to quarto when it comes to that. The fundamental advantage typst has is
68.
by cscheid 3y ago
Roughly, the sets of computational problems that people used (use?) MPI for. Things like numerical solvers for sparse matrices that are so big that you need to split them across your entire cluster. These still require a lot of node-to-node
69.
by cscheid 3y ago
> These days with single fibers replacing thousands of cable pairs I'm sure they're a lot more roomy than they were back then. That's how I ended up working there. 33T used to be packed full of gear but everything shrank s
70.
by cscheid 3y ago
(Not parent, but also worked there for about 2 years) The no-window thing is real and freaks people out, but each floor is very tall and the interior was open enough that it didn't feel claustrophobic. You're also in a zipcode tha
71.
by cscheid 3y ago
Hey, same! (From ~2012 to 2014), but yeah.
72.
by cscheid 3y ago
> Such a meta-proof must be done on pen and paper, before any code is written at all. Not so fast; it could be done on a _different automated system_ (say, a smaller one) than the one you're building, in which case you're now r
73.
by cscheid 3y ago
I'm with you almost everywhere, but it's worth pondering this: > If a program is accepted by the proof checker, then by construction it must be a valid mathematical proof. I'd phrase it as "If a program is accepted by
74.
by cscheid 3y ago
Indeed you can! http://cscheid.net/static/clouds/
75.
by cscheid 3y ago
I didn’t use sift, but instead a very dumb old trick of slit screen photo: http://cscheid.net/static/windowseat/ This is 5h of a single video from EWR to SFO by a former colleague. Turns out even a dumb trick like
76.
by cscheid 3y ago
> At what point does a thing you buy or sell become a security? Are baseball cards a security? I don’t know about baseball cards, but the way Wizards of the Coast handles their policy around rare Magic: the Gathering cards makes me think
77.
by cscheid 3y ago
This is exceedingly cool, thank you for putting it out there. A small suggestion: when you press the purple buttons, it would be neat to see the green numbers change by the multiplier (or have an option to do so). This would let you easily
78.
by cscheid 3y ago
> Active deception should come with a high cost Yes, I wish so too. For what's worth, I'd buy "either of Dan Ariely and Francesca Gino write a NYT bestseller book in 5 years, go on a redemption tour, and nothing new happen
79.
by cscheid 3y ago
I’m a former academic who did a bit of work that involved statistical analysis of data in a similar way as these studies. Fuck. These. People. We put so much work making sure the analysis is right. Sweat the design, sweat the data collectio
80.
by cscheid 3y ago
> The choice What choice? I have to fix bugs today as they come.
81.
by cscheid 3y ago
And yet that's what every good engineer did when Spectre came out. Same with the Pentium fdiv bugs, and same with a host of microcode bugs that come up all the time. Not my business to decide what you think is reasonable. That's j
82.
by cscheid 3y ago
> It surely has a marginal cost. But is that cost significant, is the question. In particular, significant enough to warrant a recurring payment business model. I think you're assuming more of my answer than what I gave. That's
83.
by cscheid 3y ago
> Spectre is a bug in the processor, not in the software. It's a bug in the processor that causes a bug in the software. It's not a bug in your idealized mathematical model, but try telling that to the people who paid you not t
84.
by cscheid 3y ago
> how different is the impact on the manufacturer when the software is used by 1k users, 1M users, and 1B users? _very different_, when the user's environment is different. And 1) you haven't seen shit if you think you can perf
85.
by cscheid 3y ago
> And for good enough software you should consider that maximum already for any number of users. I don't believe such software exists. (And, to be clear, I'm writing from direct, day-job experience.) EDIT: I take it back. SQLit
86.
by cscheid 3y ago
> Software has no marginal cost. Maybe you've never experienced the difference between writing software for 1000 people and writing software for 1M people, or (I imagine) 1B. The marginal per-person cost of software is not on shippi
87.
by cscheid 3y ago
On LaTeX: > Little context sensitivity ... this is close to a disqualifyingly wrong statement. (I literally work with Markdown on a daily basis as my actual day job. Markdown really does suck.) The only way in which (La)TeX is not contex
88.
by cscheid 3y ago
I don’t quite know why, but my combination of first and last name on gmail is such that I get email directed at other people with the same name as me, including financial documents. Wild stuff. I would reply with “um you probably should che
89.
by cscheid 3y ago
Take a look at https://automerge.org/ and the stack those folks are building. You're exactly right that it's a difficult balance (specifically the trick is proving commutativity for the domain-specific data of you
90.
by cscheid 3y ago
One thing that saved an estimated couple of million lives comes to mind.

More ›