TypeSafe AI is an AI lab building machine-native intelligence infrastructure for automation, designed to make decisions within software. Try our first System One Model, Jev, in early access.
Home - TypeSafe AI
TypeSafe AI is an AI lab building machine-native intelligence infrastructure for automation, designed to make decisions within software. Try our first System One Model, Jev, in early access.
Introducing System One Models and Jev - TypeSafe AI Blog
TypeSafe AI is an AI lab building machine-native intelligence infrastructure for automation, designed to make decisions within software. Try our first System One Model, Jev, in early access.
Artificial Intelligence Glossary | Stanford HAI
Artificial Intelligence (AI) is rapidly growing, with new terms and concepts being introduced at a breakneck speed. You may have seen terms such as AGI, machine learning, or foundation models in media headlines, emerging legislation, or in your everyday life.
Mark Zuckerberg's AI manifesto is exactly why people don't like AI | TechCrunch
On Monday, Mark Zuckerberg published a 6,500-word manifesto about personal AI, largely about the possibilities for the "personal superintelligence" systems Meta AI is building.
Meet Foundry: An AI Startup that Builds, Evaluates, and Improves AI Agents
AI agent runs amok in Fedora and elsewhere
Agentic AI systems can be used to do a variety of things autonomously on behalf of a human user [...]
ai-hero-dev/poland-ai-ts-workshop
52 exercises on AI + TypeScript, for Matt's workshop in Poland
Artificial Intelligence
Summary. The term artificial intelligence (AI) is typically used as if it refers to a coherent, extant or near-future set of technologies, but, in fact, it
Is there something it is like to be an AI?
Posted on Wednesday 2 Jul 2025. 1,593 words, 6 links. By Matt Webb.
EU Artificial Intelligence Act | Up-to-date developments and analyses of the EU AI Act
Browse the full AI Act text online. Search within the Act for parts which are relevant to you.
Why Things Like TypeSafe AI Don't Interest Me
A handful of people showed up in the comments asking 'have you tried TypeSafe?'. I use that as a hook to lay out my rule about new AI tools, actually investigate the case, and explain why I don't waste time optimizing token spend.
AI is a business model stress test
AI commoditizes anything you can specify. It can't commoditize what you have to operate.
Lars Grammel on Twitter / X
Finally - almost 5 months of work, our biggest release so far.Completely revamped, type-safe AI chat is a game changer imo. I don't know any other framework that has full stack support for this. Hope it will enable you to build the next generation of AI applications. https://t.co/BYM4HIuNAr— Lars Grammel (@lgrammel) July 31, 2025
Artificial intelligence
Artificial intelligence (AI) is the capability of computational systems to perform tasks typically associated with human intelligence, such as learning, reasoning, problem-solving, perception, and decision-making. It is a field of research in engineering, mathematics and computer science that develops and studies methods and software that enable machines to perceive their environment and use learning and intelligence to take actions that maximize their chances of achieving defined goals.[1]
AI
AI research, critical perspectives, agent design, digital humanities. How AI systems work, their embedded values, and the thinking around building agentic systems.
Agency and Agents
ГАЛЬВАНИЗАЦИЯ АВТОРА, ИЛИ ЭКСПЕРИМЕНТ С НЕЙРОННОЙ ПОЭЗИЕЙ. Борис Орехов. «Новый мир» №6, 2018
Personal Online RL | 🌱 | Offprint
Approaching an unknown communication system by latent space exploration and causal inference | Royal Society Open Science | The Royal Society
Surya Narreddi
Permutation: Issue One
