one of my students who works on program synthesis is playing around with GPT-4 which is actually kind of a great use of AI -- we have an SMT solver to check everything it emits, we would never trust it for a millisecond otherwise
and also, our current synthesis strategy (enumeration) is so painfully boneheaded that even random-ass LLM magic seems like an improvement
@regehr is it a great use of money though? like if the same money is spent on cheap preemptible cloud machines for fuzzing or smt solving or whatever, which way is more useful?
rust's abstractions are only free if compile time has no value (noticing that a firefox build is long-pole'd on a lone 6-minute-long rustc with 10G resident memory)
finally the #wasmtime winch backend can run the ghc wasm backend test suite. there's a good reason why every engine out there has a baseline jit and tier-up strategy, glad my daily driver is catching up
these neoclassical piano pieces are very nice, but the mvs featuring a dude just hiking in nature and then playing piano in the middle of nowhere is kinda...cringe? like why do you need mvs for piano sonatas not played in a concert hall at all. even ai generated visuals would be better than this
two functionalities of a home address: 1. rest 2. get a lot of spam in the mailbox as well as important official documents occasionally, or aka the entire system's gatekeeping measure to distinguish "useful" people that qualify to stay in the country
1 is much easier to find an alternative than 2 btw