×
You are not logged in
Bluesky Profile
BusyBrain⌨
Registered: 28 Oct 2024 01:40
Last post: n/a
Interested in how machine can speak human language and automated theorem proving
This account allows incoming chat messages from all accounts on Bluesky.
This account allows followers on Bluesky to be notified of new posts from this account.
| linkedml.bsky.social PDS: stinkhorn.us-west.host.bsky.network 2024-10-28 01:39:37 |
| linkml.bsky.social 2024-11-19 04:13:54 |
| w42.bsky.social 2024-11-21 10:54:47 |
| nametime.bsky.social 2024-11-27 09:02:20 |
| w42.bsky.social 2024-11-27 09:02:30 |