A dream in a Chinese room
VadimWhat is known is only known to a few (so care to write things down)
| Platform |  | Pricing | Only free issues | Publishes | Infrequently |
|---|---|---|---|---|---|
| Issues | 7 | Founded | 3 years ago | Last Issue | 7 months ago |
| Active | |||||
Read this Newsletter
ratandtiger.substack.comLatest Issues
Theorem marketplace source code
I have made the source code of https://theorem-marketplace.com public; it’s here in my github.
The web site is actually a pretty complex system which includes interactions between the frontend, syntax checker, the marketplace contract, th...
AlphaEvolve + Lean = theorem prover
(I still owe you some updates about language growing, or, as I’ve been calling it in my head recently, “Bayesian linguistics”, but I think I need to mess around with it a bit more before any update is interesting enough.)
Google’s DeepMind...
A theorem marketplace awaits your bounties
A year ago, I posted my idea of a theorem marketplace: a place where you could deposit a bounty on a theorem; someone would be paid that bounty if they submitted a valid proof for that theorem.
This idea came from a much more general line...
Language growing
There is a vague category of ideas related to mathematical modeling of languages that I’ve been wanting to post about for a while. Indeed it was the second thing I promised to write in my half-dead blog (the first thing being the theorem ma...
A Theorem Marketplace: A Modest Proposal
There is a class of problems that can be represented as a problem of searching for a specific hypothesis in a non-trivial hypothesis space. I guess you can think about this category of problems as trying to look for the correct password to...
Audience Metrics
Subscribers, engagement, traffic and sponsorship for A dream in a Chinese room.
| Subscribers | Monthly Web Visits | Accepts Sponsors | |||
|---|---|---|---|---|---|
| Estimated Cost per Ad | |||||
Explore More
Authors
The writers behind this newsletter.
An asexual rat \ud83d\udda4\ud83d\udc00\ud83e\udd0d\ud83d\udc9c
Frequently Asked Questions
How can I access the email archive for A dream in a Chinese room?
You can find recent issues that have been published by A dream in a Chinese room on Reletter by scrolling up to where it says Latest Issues. Tap on the link for any of the most recent emails or hit More Issues to see older ones.
How many subscribers does A dream in a Chinese room have?
To see how many people subscribe to A dream in a Chinese room, simply upgrade your Reletter account. We provide readership numbers and lots of other stats for this newsletter so you can decide if it's worth reaching out to.
How can I advertise in A dream in a Chinese room?
Newsletter advertising can be extremely effective when it's done right. Before you pitch A dream in a Chinese room as a potential sponsor or partner, make sure that you've done your research and checked its newsletter stats with Reletter.
Then, personalize one of our winning pitching templates and send it to the right person using the contact info provided.
How much does it cost to sponsor a publication like A dream in a Chinese room?
Newsletter ad rates (or CPM) vary depending on many factors, including industry, number of subscribers, open rate, ad placement and more.
To find out how much an ad will cost, contact A dream in a Chinese room using the contact information provided and ask for a copy of their media kit.
How can I find newsletters related to A dream in a Chinese room?
Scroll up to where it says Related Newsletters to see other publications like A dream in a Chinese room. You can also search our email newsletter directory to discover other newsletters that cover the topics you're interested in.
How do I contact A dream in a Chinese room?
Reletter provides this newsletter's website URL above, where you will often find their contact information. We also provide links to associated social media accounts and pitching templates so you can reach out fast.