Matt Calabrese

C++ Standard Nerd; Boost evangelist; Xoogler; Argot ( Poker junkie; Big and swole; Very cool/handsome.

[Matt Calabrese @CppSage]

Check out my talk from C++Now 2018 about improving variants, tuples, and futures! https://t.co/Im5v2OypHN

[C++Now @cppnow]

C++Now 2018: “Argot: Simplifying Variants, Tuples, and Futures” by @CppSage
https://t.co/WTrG0eOQh7
#cpp #cplusplus

[Matt Calabrese @CppSage]

@TrisH0x2A I made it clear they're not expected or required to get through all parts, although 2 or 3 of dozens did. It was only meant to see if they can recognize and assert the limits of their code and where difficulties will arise. Many couldn't do that, which is scary for safety. (2/2)

[Matt Calabrese @CppSage]

@TrisH0x2A I used to ask questions during technical interviews related to this, starting simple: write a function to produce the truncated mean of two uint64_t, documenting preconditions if any. Then: remove preconditions, then track the fractional part, then do the same over a range. (1/2)

[Matt Calabrese @CppSage]

There is no way this is not some kind of viral ad for a new Getting Over It.

[RT @RT_com]

Russian climbs Everest using ONLY ARMS

Rustam Nabiev, who lost both legs years ago, became the first person in history to climb Mount Everest using only his arms

He proudly raised the Russian flag atop Mount Everest to show that ‘strong people live in Russia’, according to TASS

[Matt Calabrese @CppSage]

Okay, hear me out. There are these two buttons...

[Matt Calabrese @CppSage]

@Waffl3x Same. Unfortunately, I think the only way people reliably understand contracts is when a language forces them to be explicitly proven. That's where effort should be focused, IMO, but people tend to fear that road. Proof assistants gaining in popularity is a good sign, at least.

[Matt Calabrese @CppSage]

@RedNoteGaming I see a High Cheers!

[Derek Dreyer @HerrDreyer]

RIP Tony Hoare. 😢

I only met him a couple times many years ago at MSR and was not accomplished enough at the time to have much useful to say, but he sure cast a long shadow over the field...

[Matt Calabrese @CppSage]

@yutongwu111140 For reference, there is a proposal for a library template that does this: https://t.co/zLJyO8s8nz

[Matt Calabrese @CppSage]

@yutongwu111140 Part of the motivation of generalized non-type-template-params was to avoid variadic chars for strings. You can instead do this with a char array member, a constructor, and ctad to allow for stuff like your_template<"hello">. No variadics required and less heavy for the compiler.

[Matt Calabrese @CppSage]

@nicbarkeragain What are you trying to "fix"? In C++ it's UB to read from the inactive member of a union (even if the inactive member is the same type as the active one). You can't read via the int if the bool is active (or neither) and you can't read via the bool if the int is (or neither).

[Matt Calabrese @CppSage]

@Waffl3x @joseph_h_garvin @tsoding There are many advantages to making void a complete regular type. Much of the C++ standard itself needs special-cases right now because of how void is specified, as well as the standard library, user libraries, and user code.

[Matt Calabrese @CppSage]

@Waffl3x @tsoding The void type in C, C++ and other c-like languages is logically a monostate type, not an uninhabitable type. There are prvalues of type void, and functions that return void actually do return to the caller (unlike functions that have an uninhabitable return type).

[Matt Calabrese @CppSage]

@TimSweeneyEpic Well you see, Tim, a soft taco is kind of like a monad...

[Matt Calabrese @CppSage]

@ofirg7 @TravisMWhitaker Callers statically prove the predicates. More generally there are properties an abstract machine can rely on and are provable but aren't checkable (even in tests) or aren't efficiently checkable. Widening a contract/doing runtime checking only superficially makes a function total

[Matt Calabrese @CppSage]

@ofirg7 @TravisMWhitaker Refinement types.

[Matt Calabrese @CppSage]

@JennyENicholson Yankee Candle Village in South Deerfield, MA

https://t.co/u0piDynDoA

[Matt Calabrese @CppSage]

One of the best shows in its genre of all time, though it's not clear to me why it is trending all of a sudden.

[leyla 🍒 @mrswamsbsgans]

dark (2017) your crown as netflix’s best original series about supernatural threats happening in a small town and teenagers and adults having to put the pieces together as they discover a hole in the fabric of their reality hasn’t tilted in the slightest

[Matt Calabrese @CppSage]

@ChShersh Yes, also phrases like "I'm just being pragmatic", which can be totally reasonable if correct, but is sometimes a way to rationalize an implementation that is buggy or broken yet is getting thrown into production anyway. An excuse to create technical debt while feeling justified.

[Matt Calabrese @CppSage]

@SonOfRostam @pikuma All of this becomes more clear if you consider a discrete universe that is not infinite, but even in a continuous one, it is not obvious that "real" numbers "exist" in the world rather than just being practical tools we use to model behaviors, much as we do with complex numbers.

[Matt Calabrese @CppSage]

@SonOfRostam @pikuma Where do you feel that your "square root of 2" is physically "in" the universe as opposed to just being an abstraction that you in practice will discretize at some point? Even if you stay purely inside of the mathematics, you don't need arbitrary reals to represent algebraics.