Artifacts that need a lot of resources should use SNARK.

The video of my presentation at GPCE '23 is now online. Learn about generating "conforming" programs with Xsmith! youtu.be/m1p8y1IRsIs

Is this illegal according to OSHA?

Art project idea: an interior design (or anything really) that makes you feel, this is generated by GenAI.

Is it just me? People asked for programming/math help, saying their solution is wrong. When I ask for their understanding, they have none, and it turns out their wrong solution is ChatGPT-generated. Suddenly I no longer want to help them.

Worstest-case

Collatz conjecture is joked as a Soviet conspiracy to slow down American mathematics. I recall there's another {physics,math,optimization} problem that is the inverse: American scientists suggested exporting the problem to waste time of the enemy's scientists. What's the problem?

Fantastic event yesterday with wonderful friends! Many many thanks to anjali and James Yoo for the amazing leadership. Already excited for next year :D (Rumor has it Nikolaj Bjorner will be 2025 the selfie director and social media coordinator 📸) pnwplse.org

No?

Better garbage collection in NYC? Is this sponsored by Jane Street?

New paper: World models + Program synthesis by Wasu Top Piriyakulkij 1. World modeling on-the-fly by synthesizing programs w/ 4000+ lines of code 2. Learns new environments from minutes of experience 3. Positive score on Montezuma's Revenge 4. Compositional generalization to new environments