sgeisenh

11 ms·

61.
by sgeisenh 6y ago
https://en.wikipedia.org/wiki/Intuitionistic_logic If you are familiar with "Classical" logic, constructive math omits the law of excluded middle (e.g. "A or not A" must be true). In ZFC, the axiom
62.
by sgeisenh 6y ago
> Also the U.S. needs to be good at this because it's been so terrible at managing it otherwise. Exactly. When you bungle the early response it increases the urgency for vaccine administration.
63.
by sgeisenh 6y ago
Obligatory disclaimer: comments are exclusively my own and do not reflect the views of my employer. A lot of these rules exist for the purpose of having a consistent rule. With modern tooling, there is virtually no difference between tabs
64.
by sgeisenh 7y ago
Cheap pure functions should rarely, if ever, be memoized. With a large space of inputs, it is usually much faster to simply execute the function body than to look up the memoized return value. Not to mention the added space complexity of me
65.
by sgeisenh 7y ago
Who said languages were only ever or the other? All languages have some notion of static types and dynamic types. They're most easily bucketed by whether they consider more than one type. C is statically multityped but dynamically uni
66.
by sgeisenh 8y ago
mpd is the single best music player for what you're describing. You can choose how you want to interact with it. And if you can't find an implementation you like, the API is simple enough you can write something yourself.
67.
by sgeisenh 8y ago
I trust good digital voting systems more than a paper ballot. Specifically, the system should be auditable in a way that makes it difficult to trace individual votes back to voters, but allows individual voters to verify that their votes
68.
by sgeisenh 8y ago
This just reminds me how excited I am for passwords to be replaced. We shouldn't need a third party application as an authentication shim for every service that we use. The high lock-in on password managers is also unnerving.
69.
by sgeisenh 9y ago
The textbook is excellent and the course staff is almost always great at providing reasonable guidance. The earlier labs also do an excellent job of ramping up so that the increase in difficulty doesn't seem extreme. And being around d
70.
by sgeisenh 9y ago
I disagree with a good bit of this advice. And I suspect it varies with the discipline of study. In a field like computer science, time is better spent working on personal projects, hashing out ideas with peers and exploring research opport
71.
by sgeisenh 10y ago
Parametric polymorphism is a powerful abstraction. Makes for much more readable programs than ad-hoc polymorphism a la vanilla C.
72.
by sgeisenh 10y ago
Rapid and classical are totally different beasts. Rapid is more fun to watch in real time, but doesn't usually produce high quality games. On the other hand, classical can often be miserable to watch, but typically yields games worth o
73.
by sgeisenh 10y ago
Any voting system that doesn't satisfy the Condorcet criterion gives what appear to be strange results.
74.
by sgeisenh 10y ago
CLRS is even great to skim. I always find it tremendously helpful to skim through when preparing for interviews. It provides a great survey of commonly encountered problems, so you can use it to diagnose your problem areas.
75.
by sgeisenh 10y ago
Piracy and larceny are entirely different crimes. Nobody "stole" anything, in this particular situation. In order for something to be "stolen", the victim must lose something that they already had. You might try to arg
76.
by sgeisenh 10y ago
Have you tried learning an ML variant? SML and OCaml are great, and Haskell isn't too bad, either.
77.
by sgeisenh 10y ago
You're correct. Most instruments that lack real time tuning capabilities use equal temperament tuning, which is a 20th century development. Wind instruments are necessarily tuned to a specific key, due to the nature of the harmonic ser
78.
by sgeisenh 10y ago
How so? Pattern matching makes for more readable code. And more readable code makes writing projects easier. It is also more convenient to write code using pattern matching, but that isn't the primary benefit.
79.
by sgeisenh 10y ago
The obvious example is a compiler. Java, C, Python and Javascript all lack algebraic datatypes and pattern matching, which make writing a compiler much easier. There are many additional features of Haskell that make it especially good for i
80.
by sgeisenh 10y ago
Quite the memer, aren't you?
81.
by sgeisenh 10y ago
I'm not sure I agree. The title doesn't match the content. The title contends that learning to code is hard, and I've never heard anybody disagree, learning to code is difficult. But then the content of the post contends that
82.
by sgeisenh 10y ago
You might enjoy attending programming language events such as OPLSS (all of the old lectures are online and free to watch) or ICFP. You get to learn about lots of new research in programming languages, and often, you'll have an opportu
83.
by sgeisenh 10y ago
Have you explored languages with dependent type systems such as Agda, Idris, Coq, or Twelf? You could also explore languages from an academic perspective. Benjamin Pierce has written several high quality texts about topics in programming la
84.
by sgeisenh 10y ago
ASUS has a tendency to have very important reasons to update the BIOS. The last few Intel chipsets, they've had serious BIOS issues at launch that can cause tremendous headaches (random freezes, blue screen, etc.).
85.
by sgeisenh 10y ago
That's literally the point I was trying to make. I don't think it's valuable to place media outlets on an isolated spectrum. Global information sharing is a reality. I gather my news from sources situated in various countries
86.
by sgeisenh 10y ago
From the perspective of an American, the American MSM has a liberal bias. From the perspective of a citizen from most other first-world countries, the American MSM has a hardcore conservative bias.
87.
by sgeisenh 10y ago
How do you conclude that Philadelphia is a much more interesting and hip city when compared to Pittsburgh/Boston? I can't speak to Boston, but having lived in Philadelphia, Pittsburgh and a suburb of NY (Fairfield county CT), Pitt
88.
by sgeisenh 11y ago
6 seconds is fast for a luxury sedan, but there are plenty of cars for less than $30k that will do zero-to-sixty in under 6 seconds. The Subaru WRX does 0-60 in under 5 seconds and costs ~$26k. That's the only 4 door car I can think of
89.
by sgeisenh 11y ago
By that argument, shouldn't assembly be the most used programming language on earth?
90.
by sgeisenh 11y ago
Yeah, I remember using gaussian elimination to solve them in high school chemistry. My teacher taught us some guess and check method when it was clearly just a system of linear equations. He gave us a "challenge" problem with more

More ›