The presidential council of advisors on science and technology (#PCAST) that I serve on has released its second report of this term, on recommendations to support the biomanufacturing industry (see https://www.whitehouse.gov/pcast/briefing-room/2022/12/08/pcast-releases-report-on-strengthening-biomanufacturing-to-advance-the-bioeconomy/ ). [Our first report was on recommendations for the semiconductor industry, released at about the same time as the passage of the CHiPS act.]

According to this article (which is so surprising I hope it's not a hoax!) ChatGPT can collaboratively create a synthetic language, along with a consistent grammar:
https://maximumeffort.substack.com/p/i-taught-chatgpt-to-invent-a-language

The question, "is ChatGPT just pastiche or not?" may be a bad framing. It's not all or nothing! Instead, maybe we should be asking, for which tasks is it doing a pastiche? And for which others is it doing something more interesting?

Reposting this 5-year old blog post on my experience as a man in computer science.

https://windowsontheory.org/2017/08/16/men-in-computer-science/

First Mastodon post! Not yet sure how I will use this platform (which I need to thank my child for getting me on, see this from birdsite https://twitter.com/boazbaraktcs/status/1589989673945812993?s=20&t=2FfA2ImIS5m95Psv--ytVw )

Moving away from the Hilbert space context, some broader examples of this general philosophy:

* Invariance under linear combinations / convex combinations / algebraic operations -> suffices to check basis elements / extreme elements / generators

* Invariance under tensor products -> suffices to check one-dimensional/irreducible case

* Invariance under limits -> suffices to check a dense subclass

* Multiplicative structure (in analytic number theory) -> suffices to check prime powers

(3/2)