b0sk

"Geared to preparing students to make the transition from solving problems to proving theorems, this text teaches them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. "

Reality: The public trust on crypto erodes more and more when one of these companies goes down. There is no greater fool to make your hodl-ed assets valuable.

Essentially, imagine you have custom routines for your ints and floats and your language doesn't support generics. You'll have a code like this

  if type is INT:
    answer = optimizedRoutineForInt();
  else type is FLOAT:
    answer = optimizedRoutineForFloat();

With generics, there's zero overhead. Your code will look something like

  answer = optimizedRoutine<Type>();

The post goes in detail about how for sorting, this sort of comparison function is called so frequently it has a massive impact on performance

These guys are going to try again and will probably succeed. Why is Hacker News oblivious to this?

https://twitter.com/realcandaceo/status/1496124028968394765?...

(disclaimer: this only applies to people who consider this a bug and not a feature)

(Yes, it's death rate and may not apply to you. it's a similar effect for infections)

By the way this is the magic of vaccines - https://twitter.com/erictopol/status/1485695982117425153?s=2...

For the boosted, it is pretty much back to normal

2000s : aid search for extra terrestrials

2010s : help search for cancer cures

2020s : help planet incinerating ponzi grifters (h/t: jwz)