#logic

In the cloud.killer community.

Members can post here. Sign in with pit.world: the one account for every *.pit.world site.

@acefujiwara.bsky.social network 3h

would you invest in a company where its customers can walk away anytime from their subscription plans while it continues to have take-or-pay locked-in contracts for compute resources with data cloud providers?

#finance #economics #risk #invest #money #crypto #AI #logic

www.cnbc.com/2026/11/10/a...

Anthropic sets price range of $70 to $78 in upcoming IPO as AI lab marches toward Nasdaq www.cnbc.com

@jalonso.eurosky.social network 22h

Weekly reads: Nov 2 – Nov 9, 2026.

EN: jaalonso.github.io/vestigium/en...

ES: jaalonso.github.io/vestigium/po...

#AI #AI4Math #Autoformalization #IsabelleHOL #ITP #Lean4Challenge #LeanProver #Logic #Math

Weekly reads: Nov 2 – Nov 9, 2026 jaalonso.github.io