
We've been quiet for a few days, the team is heads down building. Most AI coding tools today are single-player. We think the future is collaborative, and we’re building the platform for it. More soon. Get on the waitlist: guild.ai
Sidhartha Mani
985 posts

@utter_babbage
Apple Containers

We've been quiet for a few days, the team is heads down building. Most AI coding tools today are single-player. We think the future is collaborative, and we’re building the platform for it. More soon. Get on the waitlist: guild.ai










Claim: gpt-5-pro can prove new interesting mathematics. Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct. Details below.

Instructions to run @OpenWebUI in Apple Container in a single screenshot, with @lmstudio for MLX and @ollama Main differences are (simpler than Docker!): - no port mapping, each VM gets its own IP Address - no named volume - host is reachable by containers using 192.168.64.1



