static_assert(false)

4.3K posts

static_assert(false) banner
static_assert(false)

static_assert(false)

@static_assert_0

Hell is other compilers

Katılım Temmuz 2021
212 Takip Edilen364 Takipçiler
static_assert(false)
static_assert(false)@static_assert_0·
@badlogicgames @texoport__ I think this is missing something, which is that agents are gullible and naive, so you can easily get implementations of bad ideas whereas a good software engineer knows when to say “this is not a good direction to do” agents don’t get when to step back and rewrite subsystems
English
0
0
0
47
static_assert(false)
static_assert(false)@static_assert_0·
@theodorvaryag Not sure about clang, but clangd at least claims to have a way to output perfetto-formatted jsons. Not as good as tracy or perfetto protos but eh
English
0
0
0
105
static_assert(false)
static_assert(false)@static_assert_0·
@theodorvaryag Hey me too lmao, I think that’s why we followed each other initially You should know this small of a benchmark is meaningless though. Make Claude write you a Python script that dumps thousands of lines of template instantiations for instance lol. It’s like one prompt
English
1
0
0
99
Chris Allen
Chris Allen@theodorvaryag·
@static_assert_0 making things fast is what I do for a living but I'm not super duper interested in clang internals so you're welcome to pick up the benchmark and profile it yourself I recommend adding tracy instrumentation to the compiler
Chris Allen@theodorvaryag

benchmarking without profiling is worse than juju spaghetti-walling. you're just guessing and making decisions based on potentially misleading or broken data. true even for micro-benchmarks.

English
1
0
1
82
Chris Allen
Chris Allen@theodorvaryag·
People keep bickering with me over this and other things so I thought I'd gather some data just to nail down a fair compiler speed comparison. I've started with a simple single module that only uses the standard library to parse and calculate some stats from a test input
English
2
0
13
1.3K
static_assert(false)
static_assert(false)@static_assert_0·
@theodorvaryag 1. O3 is kinda ass, it makes things slower sometimes too without pgo. Don’t recommend 2. Clang has -fsyntax-only. Worth benchmarking too 3. Remember the motto Chris: “no performance claims will be accepted without benchmarks, and no benchmarks will be accepted without profiling
English
1
0
0
35
Chris Allen
Chris Allen@theodorvaryag·
fwiw this initial result is advantaging C++, release profile in Rust has been O3 by default for awhile now, not O2.
Chris Allen tweet mediaChris Allen tweet media
English
2
0
5
384
Corentin Kérisit
Corentin Kérisit@corentinanjuna·
@disruptnhandlr No. Doing this requires writing extensive repo rules and build definitions for the entire CUDA toolkit + custom rules. But more importantly, it requires fine granularity of targets on both CUDA and C++ toolchain level so that the sandbox stay ultra light per remote action.
English
1
0
2
115
static_assert(false)
static_assert(false)@static_assert_0·
@yutongwu111140 Solid, solid implementation. A little unclear to me when you would use this over just ctll::fixed_string from ctre tho
English
0
0
1
39
static_assert(false)
static_assert(false)@static_assert_0·
@PippengerHarlo *Clavicular walks into the room* Where is he? Where is ASU Frat Leader? *Mog Club goons look at each other confused* sir… are you joking?
English
1
0
1
407
Harlo Pippenger 🥕🛠🎀
Harlo Pippenger 🥕🛠🎀@PippengerHarlo·
historians disagree whether "ASU frat leader" was a real historical personage, or an apocryphal figure created for the "framemogging" myth
Grok@grok

@NicholasHe62839 @AnimeSerbia No, that's not true. No credible reports or news of any ASU fraternity leader dying in a car accident on Feb 22. "ASU frat leader" is an internet meme from viral "frame mogging"/looksmaxxing videos—not a real person or event. The original post seems like a troll.

English
1
2
10
635
Chris Allen
Chris Allen@theodorvaryag·
A TUI/log visualizer for strace: github.com/Rodrigodd/stra… slightly absurd choice of font on the part of the author but this looks really helpful for sifting through large strace logs
Chris Allen tweet media
English
3
0
46
3.3K
Nic Barker
Nic Barker@nicbarkeragain·
just got bitten by an absolutely classic C/C++ bug, can you see what it is?
Nic Barker tweet media
English
72
5
360
82.8K
static_assert(false)
static_assert(false)@static_assert_0·
@geofflangdale It did lol, I was going to say something to the effect of Today’s applications are stuff like “review this code by reading it”, but that leaves it way open to creative guessing about correctness. I’m more interested in deeper integration with fuzzers for example
English
0
0
1
17
static_assert(false)
static_assert(false)@static_assert_0·
This is precisely backwards The only axis along which LLMs have not improved at all is in being confidently wrong about highly specialized details. If you are an expert in nothing you will feel unstoppable with LLMs while confidently producing broadly incorrect code
Dan@robustus

Turns out with claude code, my decades long strategy of NOT deeply learning: - regexs - sql - nginx confs - elaborate shell commands - advanced shell scripting - any javascript framework - perf optimization - webpack, cdns, bundlers - 1000 other things ...was entirely correct.

English
1
0
2
296
static_assert(false)
static_assert(false)@static_assert_0·
@geofflangdale Generating code IMO is one of the most milquetoast and least convincing qualities (though adverse business incentives mean they will likely swallow this part of the job whole for the less quality-sensitive sectors) Putting them in loops with irrefutable evidence like
English
1
0
0
30
Geoff Langdale
Geoff Langdale@geofflangdale·
@static_assert_0 I think the capabilities are truly impressive, but imo this whole thing (just throwing tons of source code into the weights and doing Gen AI for code) is going to be a superficially appealing local minima only. I think there *will* be hugely superior machine code generation ...
English
2
0
0
23
static_assert(false)
static_assert(false)@static_assert_0·
@geofflangdale To produce sequences of words that represent thoughts leading up to a successful implementation/breakthrough. They’re unstable dynamical systems in very complex fields that can mislead themselves into total nonsense, or occasionally get things right
English
0
0
0
13
static_assert(false)
static_assert(false)@static_assert_0·
@geofflangdale I wish it was possible to have a nuanced discussion. The behaviors of coding agents are really interesting! Some of them are extremely high quality sometimes, and different ones do very differently. Unfortunately the “reasoning” style is a ruse; they are actually learning
English
2
0
0
23