Every `EXPRS ::== EXPR | EXPRS ',' EXPR` production in any language ever should be considered a bug. Trailing commas should be allowed everywhere!
July 8, 2025 at 11:25 PM
Every `EXPRS ::== EXPR | EXPRS ',' EXPR` production in any language ever should be considered a bug. Trailing commas should be allowed everywhere!
Ostin laivalta muutaman pienen tuliaisen. Kalev valkoinen suklaalevy mustikkarouheella on ihan pakollinen. Nyt oli lisäksi uusi maku, Kalev tumma kirsikkasuklaa. 😋🤩😍 #VikingLine #Exprs
May 11, 2025 at 10:01 PM
Ostin laivalta muutaman pienen tuliaisen. Kalev valkoinen suklaalevy mustikkarouheella on ihan pakollinen. Nyt oli lisäksi uusi maku, Kalev tumma kirsikkasuklaa. 😋🤩😍 #VikingLine #Exprs
C++ Weekly - Ep 515 - Revolutionize Your Templates with static_assert of non-value-dependent Exprs
www.youtube.com/watch?v=pwf4...
#cpp
#cplusplus
www.youtube.com/watch?v=pwf4...
#cpp
#cplusplus
C++ Weekly - Ep 515 - Revolutionize Your Templates with static_assert of non-value-dependent Exprs
YouTube video by C++ Weekly With Jason Turner
www.youtube.com
January 13, 2026 at 9:38 AM
C++ Weekly - Ep 515 - Revolutionize Your Templates with static_assert of non-value-dependent Exprs
www.youtube.com/watch?v=pwf4...
#cpp
#cplusplus
www.youtube.com/watch?v=pwf4...
#cpp
#cplusplus
Ep 515 - Revolutionize Your Templates with static_assert of non-value-dependent Exprs
youtu.be/pwf45vaXm3Q
youtu.be/pwf45vaXm3Q
C++ Weekly - Ep 515 - Revolutionize Your Templates with static_assert of non-value-dependent Exprs
☟☟ Awesome T-Shirts! Sponsors! Books! ☟☟
Hudson River Trading engineers use modern C++ to build performance-critical systems for real-time trading. Learn more about open software engineering roles…
youtu.be
January 12, 2026 at 4:31 PM
Ep 515 - Revolutionize Your Templates with static_assert of non-value-dependent Exprs
youtu.be/pwf45vaXm3Q
youtu.be/pwf45vaXm3Q
same... s-exprs on top of sysex
building a general purpose computer on top of midi. goodnight.
May 23, 2026 at 9:24 AM
same... s-exprs on top of sysex
all this "very close but big flaw at the final step" is reminiscent of M$'s language design → why I said what I said. most obvious for me are F# computation exprs: very powerful but held back by the inability to generify over the result container (most other languages with monadic statements can)
July 20, 2026 at 6:15 AM
all this "very close but big flaw at the final step" is reminiscent of M$'s language design → why I said what I said. most obvious for me are F# computation exprs: very powerful but held back by the inability to generify over the result container (most other languages with monadic statements can)
that may be part of it, I don't fully understand the aversion here. but like. that is fixable!! if the aesthetics were the only issue, you'd think we'd have some modern equivalent of M-exprs by now. the closest thing we have afaik is terra
July 15, 2026 at 10:33 AM
that may be part of it, I don't fully understand the aversion here. but like. that is fixable!! if the aesthetics were the only issue, you'd think we'd have some modern equivalent of M-exprs by now. the closest thing we have afaik is terra
or an unstable feature that has been sitting there for most of a decade (I hate typenum, const-generic-exprs please 🙏🙏🙏) I am being so serious even if this means breaking backwards type inference
July 20, 2025 at 5:25 PM
or an unstable feature that has been sitting there for most of a decade (I hate typenum, const-generic-exprs please 🙏🙏🙏) I am being so serious even if this means breaking backwards type inference
you might think he was referring to s-expressions rather than JSON, since s-expressions are actually good, but s-exprs were invented before JSON (and XML). more likely, wheels in js are just referred to as "round" for convenience, despite being ovular or whatever random shape. "close enough"
January 28, 2026 at 4:49 AM
you might think he was referring to s-expressions rather than JSON, since s-expressions are actually good, but s-exprs were invented before JSON (and XML). more likely, wheels in js are just referred to as "round" for convenience, despite being ovular or whatever random shape. "close enough"
I think it makes arithmetic ops a bit simpler at times, and it can lead to simpler exprs (e.g., 10/sqrt(5) vs 2 sqrt(5) ). But it's a fussy convention and adds to students' belief that math is just a bunch of arbitrary rules to be mastered, rather than a way to find, and state, truth.
February 19, 2026 at 10:45 PM
I think it makes arithmetic ops a bit simpler at times, and it can lead to simpler exprs (e.g., 10/sqrt(5) vs 2 sqrt(5) ). But it's a fussy convention and adds to students' belief that math is just a bunch of arbitrary rules to be mastered, rather than a way to find, and state, truth.
Have you seen the weird exprs ui tests yet?
https://github.com/rust-lang/rust/blob/master/tests/ui/weird-exprs.rs
https://github.com/rust-lang/rust/blob/master/tests/ui/weird-exprs.rs
rust/tests/ui/weird-exprs.rs at master · rust-lang/rust
Empowering everyone to build reliable and efficient software. - rust-lang/rust
github.com
February 12, 2024 at 8:23 PM
Have you seen the weird exprs ui tests yet?
https://github.com/rust-lang/rust/blob/master/tests/ui/weird-exprs.rs
https://github.com/rust-lang/rust/blob/master/tests/ui/weird-exprs.rs
Apparently this is the GNU C extension statement expressions:
gcc.gnu.org/onlinedocs/g...
gcc.gnu.org/onlinedocs/g...
Statement Exprs (Using the GNU Compiler Collection (GCC))
Statement Exprs (Using the GNU Compiler Collection (GCC))
gcc.gnu.org
February 8, 2025 at 9:19 PM
Apparently this is the GNU C extension statement expressions:
gcc.gnu.org/onlinedocs/g...
gcc.gnu.org/onlinedocs/g...
Why not s-expressions? Every config language sucks to some extent: JSON, YAML, TOML--they all have weaknesses. At least s-exprs are relatively simple while still being powerful and expressive. Eg try writing a codegen rule in some other 'modern' build system.
December 7, 2024 at 6:54 PM
Why not s-expressions? Every config language sucks to some extent: JSON, YAML, TOML--they all have weaknesses. At least s-exprs are relatively simple while still being powerful and expressive. Eg try writing a codegen rule in some other 'modern' build system.
yes and I love it so much
I made my own "underscore counter" based on it for the, uh... "bathroom stall" pattern (`_|_|_|_`...) using a pattern guard with a mutable counter
I tried messing with block exprs in weird places and `||` or-operator/closure ambiguities
it's really fun
I made my own "underscore counter" based on it for the, uh... "bathroom stall" pattern (`_|_|_|_`...) using a pattern guard with a mutable counter
I tried messing with block exprs in weird places and `||` or-operator/closure ambiguities
it's really fun
April 8, 2025 at 12:47 AM
yes and I love it so much
I made my own "underscore counter" based on it for the, uh... "bathroom stall" pattern (`_|_|_|_`...) using a pattern guard with a mutable counter
I tried messing with block exprs in weird places and `||` or-operator/closure ambiguities
it's really fun
I made my own "underscore counter" based on it for the, uh... "bathroom stall" pattern (`_|_|_|_`...) using a pattern guard with a mutable counter
I tried messing with block exprs in weird places and `||` or-operator/closure ambiguities
it's really fun
The part with simplified expressions is probably also kinda confusing, since it talks about expression statements (semicolon required only for non-block exprs), but `let` statements don't take expr _statements_ and aren't exprs (or expr statements) themselves.
(Though correct me if I'm wrong!)
(Though correct me if I'm wrong!)
April 7, 2025 at 11:17 PM
The part with simplified expressions is probably also kinda confusing, since it talks about expression statements (semicolon required only for non-block exprs), but `let` statements don't take expr _statements_ and aren't exprs (or expr statements) themselves.
(Though correct me if I'm wrong!)
(Though correct me if I'm wrong!)
Now that C++ has `std::expected` I really would love it if they standardized GCC's statement expressions so that we can emulate the Rust question mark operator in a cross-platform way.
Statement Exprs (Using the GNU Compiler Collection (GCC))
Statement Exprs (Using the GNU Compiler Collection (GCC))
gcc.gnu.org
November 11, 2025 at 12:37 AM
Now that C++ has `std::expected` I really would love it if they standardized GCC's statement expressions so that we can emulate the Rust question mark operator in a cross-platform way.
Hmm, this is definitely going to take some experimentation to see what the best way to arrange egg's "Language"s is when I want to represent a hierachy of block > statement > expr, and consider blocks equivalent if all of their statements are equivalent and statements equivalent if their exprs are
Time to find out if, in fact, egraph good
December 23, 2025 at 9:33 AM
Hmm, this is definitely going to take some experimentation to see what the best way to arrange egg's "Language"s is when I want to represent a hierachy of block > statement > expr, and consider blocks equivalent if all of their statements are equivalent and statements equivalent if their exprs are
It's a statement expression! gcc.gnu.org/onlinedocs/g... - it's a GNU C extension, it doesn't compile with MSVC, but it does seem to work in Clang: godbolt.org/z/7GezzPfvo
Statement Exprs (Using the GNU Compiler Collection (GCC))
Statement Exprs (Using the GNU Compiler Collection (GCC))
gcc.gnu.org
February 8, 2025 at 9:20 PM
It's a statement expression! gcc.gnu.org/onlinedocs/g... - it's a GNU C extension, it doesn't compile with MSVC, but it does seem to work in Clang: godbolt.org/z/7GezzPfvo
I want a PL for "deterministic" "concurrency" where:
1. I can run two exprs in parallel, receiving whichever evaluates "first", first. I have to prove this nondeterminism doesn't affect the result. To make this feasible:
2. I can quotient types. I must prove functions respect the equalities I add.
1. I can run two exprs in parallel, receiving whichever evaluates "first", first. I have to prove this nondeterminism doesn't affect the result. To make this feasible:
2. I can quotient types. I must prove functions respect the equalities I add.
July 16, 2025 at 8:02 AM
I want a PL for "deterministic" "concurrency" where:
1. I can run two exprs in parallel, receiving whichever evaluates "first", first. I have to prove this nondeterminism doesn't affect the result. To make this feasible:
2. I can quotient types. I must prove functions respect the equalities I add.
1. I can run two exprs in parallel, receiving whichever evaluates "first", first. I have to prove this nondeterminism doesn't affect the result. To make this feasible:
2. I can quotient types. I must prove functions respect the equalities I add.
noooon océ tu peux pas avoir le pop tramadol 1h avant de partir en bus noooon meuf ptdr ( g pas fait exprs )
February 2, 2026 at 8:34 AM
noooon océ tu peux pas avoir le pop tramadol 1h avant de partir en bus noooon meuf ptdr ( g pas fait exprs )
That’s a great idea! I love cursed test cases.
It reminds me of rusts weird exprs. @mgattozzi.dev has a great article about it here www.ductile.systems/weird-expres...
And you can see the full test suite of unhinged horrors here: github.com/rust-lang/ru...
It reminds me of rusts weird exprs. @mgattozzi.dev has a great article about it here www.ductile.systems/weird-expres...
And you can see the full test suite of unhinged horrors here: github.com/rust-lang/ru...
Weird Expressions and Where to Find Them
This is a written transcript of my RustConf 2022 talk using rustc at commit 6491eb1e6c9fac20faad11e5da16db3185b2410d
You can find the video of the talk here.
Introduction
My name is Michael Gattoz...
www.ductile.systems
August 16, 2025 at 4:04 PM
That’s a great idea! I love cursed test cases.
It reminds me of rusts weird exprs. @mgattozzi.dev has a great article about it here www.ductile.systems/weird-expres...
And you can see the full test suite of unhinged horrors here: github.com/rust-lang/ru...
It reminds me of rusts weird exprs. @mgattozzi.dev has a great article about it here www.ductile.systems/weird-expres...
And you can see the full test suite of unhinged horrors here: github.com/rust-lang/ru...
i could "read" s-exprs before but any more complex nesting in functions with nested lets and i would have hard time deciphering scope now i just instantly check the indentation idgaf
May 22, 2026 at 2:57 PM
i could "read" s-exprs before but any more complex nesting in functions with nested lets and i would have hard time deciphering scope now i just instantly check the indentation idgaf
@stiefkind.bsky.social und @fraustief.bsky.social waren fleißig in den letzten Wochen und es gibt neue Podcast-Episoden von EXPRS und EXPLR. Hier kommt die erste: data-explore.letscast.fm/episode/dxpl...
Wir sprechen über Asset Management. Was ist es? Wie geht es? Und vor allem Warum?!
Wir sprechen über Asset Management. Was ist es? Wie geht es? Und vor allem Warum?!
DXPLR0023: Assetmanagement - Was? Wie? Warum?
Kerstin und Wolfgang diskutieren über die Verwaltung von Ressourcen. Was gehört dazu? Warum ist das wichtig? Wie macht man das?
data-explore.letscast.fm
October 16, 2024 at 11:13 AM
@stiefkind.bsky.social und @fraustief.bsky.social waren fleißig in den letzten Wochen und es gibt neue Podcast-Episoden von EXPRS und EXPLR. Hier kommt die erste: data-explore.letscast.fm/episode/dxpl...
Wir sprechen über Asset Management. Was ist es? Wie geht es? Und vor allem Warum?!
Wir sprechen über Asset Management. Was ist es? Wie geht es? Und vor allem Warum?!
Show HN: Retry a command with exponential backoff and jitter (+ Starlark exprs) Discussion
GitHub - dbohdan/recur: Retry a command with exponential backoff and jitter (+ Starlark expressions)
Retry a command with exponential backoff and jitter (+ Starlark expressions) - dbohdan/recur
github.com
November 20, 2024 at 12:40 PM
Show HN: Retry a command with exponential backoff and jitter (+ Starlark exprs) Discussion