Sabitlenmiş Tweet
Matt Calabrese
3.4K posts
Matt Calabrese
@CppSage
C++ Standard Nerd; Boost evangelist; Xoogler; Argot (https://t.co/L0dolKK2yz); Poker junkie; Big and swole; Very cool/handsome.
Watertown, MA Katılım Mayıs 2014
381 Takip Edilen2.6K Takipçiler
Matt Calabrese retweetledi
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...
English
@yutongwu111140 For reference, there is a proposal for a library template that does this: wg21.link/P3094
English
@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.
English
@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).
English
The fix here is either to rearrange the union members so that the largest member is first (that way zero initting the largest member will implicitly zero the others), or just memset the union to zero using its sizeof (which will be the size of the largest member)
English
just got bitten by an absolutely classic C/C++ bug, can you see what it is?
English
@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.
English
@joseph_h_garvin @tsoding I don't see what advantages you get from making it a monostate, and you'll still need a compatibility type for C FFI so what are you actually getting here
English
@tsoding U0 can be a monostate while void is nothing, unfortunately this is one of the many cases where Terry did not cook
English
Matt Calabrese retweetledi
@TimSweeneyEpic Well you see, Tim, a soft taco is kind of like a monad...
English
Can anyone explain soft tacos? It’s like they made a burrito except you’re supposed to pick it up, and when you do, all the stuff falls out? Am I doing it wrong?
English
@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
English
@CppSage @TravisMWhitaker OK that is the same thing but more narrow.
But are you going to unit test that type?
English
“just pick anything not representable with types, e.g.”
> something representable with types
Dragan Okanovic@abstractalgo
@kettanaito just pick anything that's not representable with types, e.g. `div` function whose divider param shouldn't be a zero. for everything that's representable with types, tests aren't needed per se.
English
@TravisMWhitaker how do you represent a "number that can't be zero"?
dependent types?
English
@JennyENicholson Yankee Candle Village in South Deerfield, MA
youtu.be/VGmJdTshL5E?si…
YouTube
English
I have an ongoing map of places that have animatronics, other than in theme parks - like ones in shops and restaurants and stuff. But it makes me sad because there aren't that many. Some very large dead zones
English
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
English
@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.
English
Devs will see advice like,
"You don't need perfection"
and use it as an excuse to write the most horrendous slop.
ry@rywalker
software development in 2026 is going to require some to loosen up a little code doesn't have to be as perfectly crafted the way we did it pre-ai call it slop if you want, but if you're still demanding perfection on every pr while your competitors are shipping "slop" that works... you're fighting from a disadvantaged position shipping velocity matters more than perfection
English
@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.
English
@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.
English
If your kids still believe in Santa or the Real numbers, just let them enjoy the fantasy for now...
English
@SonOfRostam @pikuma In other words, much of mathematics just consists of idealized abstractions that exist precisely because they can be used to accurately model systems we care about. The sets themselves are neither "real" nor "imaginary" with respect to the physical world, despite their names.
English
@SonOfRostam @pikuma Well, what makes you think that reals "exist in our world"? Arbitrary real numbers and complex numbers are practical tools used when modeling the physical world, but arbitrary reals also do not "exist" in our world in any meaningful sense whether reality is discrete or continuous
English
@TaliaRinger Same. The growing number of Round1s in the US did a lot for that, I think! Also StepManiaX! I remember when I first got into rhythm games, the arcade locator listed only 6 Pop'n Musics in the entire US. Now there are more Round1s here than states and all have several Bemani games
English
It is amazing that in 2025 the US arcade rhythm game community is thriving. I sound ancient when I tell students I got into this in 2004, which is maybe like when some of the undergrads were born? But I am so happy this niche interest didn't fade into obscurity
English