sgeisenh

8 ms·

31.
by sgeisenh 4y ago
This looks like a great speaker lineup. Any details on how to attend? Is it all just livestreamed on YouTube?
32.
by sgeisenh 4y ago
Depending on how you write it, iterators are much better at this since most iterator methods produce iterators with size hints. If you use "take" for example, collect should do the right thing: https://doc.rust-lang.org
33.
by sgeisenh 4y ago
Collaboration on a C++ codebase can be interesting. One of the most common approaches that organizations use is to choose a subset of the language and discourage committing code that doesn't conform to that subset. This limits the shar
34.
by sgeisenh 4y ago
Ron Minsky is an excellent communicator and incredible interviewer. Every episode has been phenomenal.
35.
by sgeisenh 5y ago
Standard ML is incredibly usable but also very small (syntactically and semantically) especially compared with modern algol-family languages. There are a couple of quality of life features missing (most notably is record update syntax), but
36.
by sgeisenh 5y ago
The Curry-Howard correspondence would like a word. Any time you write a program, you are also writing a proof. Mechanized proof checkers leverage this idea to enable users to specify formal proofs as programs.
37.
by sgeisenh 5y ago
This is pretty cool. There is a nice history of functional programming in computer music and algorithmic composition. My first introduction to computer music was through [Nyquist][1] which uses an XLISP-based syntax, so this intro was a ple
38.
by sgeisenh 5y ago
This example is kind of funny in a compiled language because a lot of modern compilers use a static single assignment (SSA) form as an intermediate representation. SSA effectively creates temporaries for each subsequent assignment operation
39.
by sgeisenh 5y ago
I think you're missing the point: it's incredibly hard to determine functional correctness of unreadable code. So the first priority is getting the change to a readable state. I'm not talking about nits, I'm talking abou
40.
by sgeisenh 5y ago
There is a lot of code written in C++. For a lot of large companies, one of the impediments to migrating from C++ to Rust is the investment required to expose the existing C++ interfaces in Rust. There are also many open source libraries wr
41.
by sgeisenh 5y ago
Hard to answer this question well without a little bit of additional context. I'm very focused on the software side of things, so I am mostly familiar with resources that tackle how software interacts with various platforms and archite
42.
by sgeisenh 5y ago
The weird thing about it all is that this bridge is very heavily trafficked during rush hour. Occasionally, traffic even backs up to the bridge. I'm really curious what could have happened to cause it to collapse so catastrophically wh
43.
by sgeisenh 5y ago
gRPC is very opinionated. Protobuf allows some things that tend to be design mistakes (e.g. required fields). A lot of this has been corrected with proto3, with subsequent field behavior annotations described here: https://google
44.
by sgeisenh 5y ago
The stdlib implementations of associative containers have serious drawbacks. At the very least, most projects should consider adopting absl::flat_hash_(set|map) and absl::btree_(set|map) (or similar replacements) over the stdlib containers.
45.
by sgeisenh 5y ago
Really enjoy Corecursive. Thanks for all the work you've put into it. A really great resource for learning all about fascinating ideas and personalities in computing.
46.
by sgeisenh 5y ago
Came here to comment the same thing. Really awesome to see how the type system can be leveraged to produce syntactically lightweight abstractions.
47.
by sgeisenh 5y ago
Type classes are useful but can be overly restrictive as implemented in languages such as Haskell. In particular, Haskell prevents multiple implementations of a type class for a particular type (a property called canonicity). But there are
48.
by sgeisenh 5y ago
Not for a startup, but .codes is pretty nice for personal or portfolio websites.
49.
by sgeisenh 5y ago
You often lose performance in traditional imperative languages when aiming for persistence. When you have immutability guarantees (like in many functional programming languages like ML or Haskell) you can avoid making copies by sharing the
50.
by sgeisenh 5y ago
TL;DR - Two sets of eyes is better than one. One of the most important aspects of code review culture isn't really mentioned in the post: requiring at least one additional approval on a PR ensures that at least 2 people are familiar wi
51.
by sgeisenh 5y ago
I would like the definition of "boring". Most of my day job is spent reading C++ (I write some, too) and it is more terrifying than boring. Understanding when certain errors can (and do) occur and when to optimize for performance
52.
by sgeisenh 5y ago
> just hack away until it works, and fix it if it ever crashes. This also makes collaboration really hard. Types are a form of documentation. But unlike comments, types are enforced by the compiler. Invariably, lots of comments in a code
53.
by sgeisenh 5y ago
"ordered container" meaning that the container is ordered based on the objects it contains.
54.
by sgeisenh 5y ago
> The most important thing is that there is some defined order. This makes it easier to debug, and reproducibility is just a very nice property. See https://en.wikipedia.org/wiki/Reproducible_builds Simple stuff lik
55.
by sgeisenh 5y ago
This post covers it in good detail: https://ai.googleblog.com/2006/06/extra-extra-read-all-about...
56.
by sgeisenh 5y ago
Individual contributor. A bit of a misnomer since once any project grows beyond a small handful of engineers the work becomes largely collaborative.
57.
by sgeisenh 5y ago
Maybe this is my inexperience with front-end design keeping a11y in mind: what about HN is inaccessible for visually impaired people? It is mostly plain-text so it is easy to resize. There is some low-contrast text but that can be adjusted
58.
by sgeisenh 6y ago
Even if harassment isn't commonplace, hearing Coq pronounced can be jarring. It is less than ideal that you need to be mindful of how you use the name of a tool that is the gold standard for a particular niche. Others posted similar th
59.
by sgeisenh 6y ago
Different students have different needs. It doesn't make sense to provide the same experience to every student. Homogenizing the experience is a disservice to all students, not just the gifted.
60.
by sgeisenh 6y ago
The problem is that if the vaccinated population carries the virus, then the risk of being infected increases for the unvaccinated population. It doesn't matter if the vaccine reduces the severity of the virus if you haven't recei

More ›