“"Kripke" is the governance infrastructure for AGI. Fast. Provable. Auditable.” #AI startup: “Kripke empowers humanity, to specify, monitor, and guarantee what intelligent systems must (and must not) do. From winning through AI to ensuring compliance with regulatory frameworks, Kripke guarantees it with infrastructure designed to codify, enforce, and audit AI behavior to ensure aligned outcomes across any domain.” #logic #startups
on 02025-11-05archive of https://techcrunch.com/2021/08/31/here-are-all-the-companies-from-y-combinators-summer-2021-demo-day-part-1/ which is a list of well over 100 #startups in #Y-Combinator’s summer 2021 batch with a short paragraph about each
on 02022-05-26#DHH doesn’t like exponential growth. #sociology #startups
on 02017-03-07Peter #Thiel on how to run #startups: like cults; an excerpt from Zero To One
on 02017-03-02The business history of Creo, the more successful one of Dan #Gelbart’s #startups, acquired by Kodak for one Instagram and then declining.
on 02015-08-16#Geoengineering #startups attempting #carbon-removal to stop #climate-change. (Global Thermostat and Climeworks.)
on 02015-08-15#Agile development practices focus on delivering functionality, but a #lean-startup needs to focus more on validating customer demand, so #startups shouldn’t use agile development? Because you need to focus on learning velocity instead of delivery velocity? Dude, that means you’re DOING AGILE DEVELOPMENT WRONG, because agile development is ALL ABOUT learning.
on 02015-08-13Other Machine is full of women (11 of 21 employees) #feminism #startups #manufacturing
on 02015-08-05