www.npr.org/2025/11/15/n...
www.npr.org/2025/11/15/n...
I've been doing this a long time now, and even though I'm not a C++ specification lawyer I have a weirdly intuitive grasp from compiler feedback (problematic, I know). Anyway, I prefer to print custom messages.
This doesn't look like much [see image], but it's significant as far as I'm concerned.
I've finally added in type checking to my compile time type system. My test case here declares a value but doesn't initialize it. Then, it tries to use that value to define another.
1/4
I've been doing this a long time now, and even though I'm not a C++ specification lawyer I have a weirdly intuitive grasp from compiler feedback (problematic, I know). Anyway, I prefer to print custom messages.
This doesn't look like much [see image], but it's significant as far as I'm concerned.
I've finally added in type checking to my compile time type system. My test case here declares a value but doesn't initialize it. Then, it tries to use that value to define another.
1/4
This doesn't look like much [see image], but it's significant as far as I'm concerned.
I've finally added in type checking to my compile time type system. My test case here declares a value but doesn't initialize it. Then, it tries to use that value to define another.
1/4
Did not finish overhauling my list type today.
I finally spent time cleaning up the actual type checking methods of my concord (type system) class. It's not 100%, but it's close. It's nice to have better debugging feedback within my own code. It's a lot better than TMP error garble, ahah.
Did not finish overhauling my list type today.
I finally spent time cleaning up the actual type checking methods of my concord (type system) class. It's not 100%, but it's close. It's nice to have better debugging feedback within my own code. It's a lot better than TMP error garble, ahah.
I'm already thinking about the slides for the first third of it---quick summaries of my last two talks. If not next year, the year after that, but when I give it I want to have serious progress on relevant embedded DSLs with benchmarked applications to show.
I'm already thinking about the slides for the first third of it---quick summaries of my last two talks. If not next year, the year after that, but when I give it I want to have serious progress on relevant embedded DSLs with benchmarked applications to show.
I finished overhauling tuple and cotuple yesterday [see image].
The overhaul is largely about having specific lenses that act like objects for the concord (type space). The concord holds the actual content. The "values" are temporary lenses which hold an index to where the relevant
1/4
I finished overhauling tuple and cotuple yesterday [see image].
The overhaul is largely about having specific lenses that act like objects for the concord (type space). The concord holds the actual content. The "values" are temporary lenses which hold an index to where the relevant
1/4
The SCOC will be deciding whether courts can make declarations a piece of legislation would violate the Charter if if weren't for the invocation of s. 33. We have two lower court decisions (from SK and QC) that came to opposing conclusions on this point.
The SCOC will be deciding whether courts can make declarations a piece of legislation would violate the Charter if if weren't for the invocation of s. 33. We have two lower court decisions (from SK and QC) that came to opposing conclusions on this point.
But for real, fascinating science on how we might be seeing the very early stages of domestication in action in wild animals. 🧪
By @marinacoladas.bsky.social for @sciam.bsky.social
71 studies, >98k people: The more short-form videos teens and adults watched, the more they struggled with attention, self-control, and stress and anxiety.
Read a book. Watch a movie. Long live longform.
71 studies, >98k people: The more short-form videos teens and adults watched, the more they struggled with attention, self-control, and stress and anxiety.
Read a book. Watch a movie. Long live longform.
Also on Nation to Nation: Nunatsiavut government surprised by G7 announcement on Strange Lake mine.
Each day we'll explore a fun optimisation in C or C++; some low-level, x86 or ARM-specific, some high-level. Hope you'll join me!
YT: youtube.com/mattgodbolt
Blog: xania.org
Each day we'll explore a fun optimisation in C or C++; some low-level, x86 or ARM-specific, some high-level. Hope you'll join me!
YT: youtube.com/mattgodbolt
Blog: xania.org
www.cbc.ca/news/health/...
www.cbc.ca/news/health/...
As a teenager (~16ish) I couldn't get enough of it. It was rewiring my brain with its sounds. After that it fell away, but this summer I listened to cbc radio on my flipphone (fm receiver app) because of my travel constraints. It's not rewiring my brain
As a teenager (~16ish) I couldn't get enough of it. It was rewiring my brain with its sounds. After that it fell away, but this summer I listened to cbc radio on my flipphone (fm receiver app) because of my travel constraints. It's not rewiring my brain
I rolled back my compile time type system design (slightly).
All of this actually compiles [see image]. By the way the type system only allows each value to be defined/assigned exactly once. Anyway, I don't want to use overload operators. Keeping assignment as explicit is safer. Thanks!
I rolled back my compile time type system design (slightly).
All of this actually compiles [see image]. By the way the type system only allows each value to be defined/assigned exactly once. Anyway, I don't want to use overload operators. Keeping assignment as explicit is safer. Thanks!