Reasonable | Proof Follows Function
Reasonable is building the verification layer for mission-critical software development, making formal correct
Home
Reason.com is the leading libertarian magazine and video website covering news, politics, culture, and more wi
Brain Training Exercises: Reasoning, Ear Training, Mental Math | Clarena
Clarena turns decades of cognitive-science research into 17 focused exercises for memory, reasoning, pitch, vi
Qubes OS: A reasonably secure operating system
Qubes is a security-oriented, free and open-source operating system for personal computers that allows you to
XenonStack - AI Reasoning Foundry for Agentic Enterprises
XenonStack is the Data & AI Foundry for Agentic Systems, unifying infrastructure, analytics, workflows &am
Kaiyu Yang
Kaiyu Yang’s research on AI, formal reasoning, and verification. Publications, projects, and writing.
Jacobin
Reason in Revolt
Free Daily Puzzles, Brain Games and Trivia Quizzes
Play free online daily puzzle games, trivia, word games and guessing games. Test your memory, logic and reason
Learn a language. Memrise is authentic, useful & personalised.
Memrise is a language learning app for people who have a specific reason to learn. Trusted by 80 million learn
.png)
PrismML — Concentrating intelligence
PrismML builds 1-bit and ternary Bonsai models that pack advanced reasoning, tool use, and multimodal AI into
RevGuard Labs: failed-payment recovery for Stripe and PayPal subscriptions
Retries failed Stripe and PayPal payments by decline reason, emails customers a card-update link, warns them b
Tentanote — saving something is usually how you lose it
A native Mac app that takes in what your Mac already holds — contacts, calendar, mail, notes, files, open tabs
TypeScript AI Framework for Agents and Apps | Mastra
Ship AI agents that reason, remember, and act in TypeScript. Mastra provides memory, tools, MCP, and observabi
You're great at recruiting. We find you the leads. | Signalbase
Signalbase finds companies about to hire in your niche, each with the reason to call attached, before the role