A desktop application based on Verilog to Factorio compiler, allowing designers to create Factorio blueprints via code, leveraging a Rust/Lua API for manual design and export.
A desktop application leveraging the OpenYak concept, providing secure, local storage and analysis of personal data (spreadsheets, documents, etc.) with AI assistance for anomaly detection, trend tracking, and automated task management. Prioritizes user privacy by avoiding cloud uploads.
A searchable archive platform allowing users to explore released text message exchanges between notable figures like Zuckerberg and Musk, offering sentiment analysis and historical context.
A data visualization and analysis platform specializing in lunar observation data, offering customizable displays of moon phases, surface features, and correlating astronomical events, specifically designed for educators and amateur astronomers.
A security auditing tool that analyzes application code and configurations to identify potential vulnerabilities based on leaked security disclosures, utilizing physics-based benchmark testing to identify LLM inaccuracies in risk assessment.
Attie Pro
A premium, privacy-focused AI feed curation and personalization tool for professionals, offering advanced algorithm design, data privacy controls, and integration with existing productivity workflows.
A mobile application that leverages astronomical data to provide detailed moon phase information, optimized observation schedules for lunar features, and personalized analytics of moon observations. Includes community sharing of observations and predictive models for lunar events.
A continuously updated platform providing a robust benchmark for LLMs’ physics reasoning capabilities. It generates adversarial physics questions with symbolic math validation, delivering quantitative results to uncover flaws and guide LLM training for more accurate responses.
Attie Pro
A commercial, enhanced version of Bluesky’s Attie, offering advanced AI-powered custom feed creation, content curation, and app prototyping capabilities for power users and businesses. Provides enterprise-level support and customizable algorithms, allowing users to monetize their custom feeds or integrate them into existing platforms.
A developer tool that visually maps and analyzes dependency injection relationships within a TypeScript codebase. It highlights potential inversions of control, facilitates refactoring, and improves code maintainability by providing a clearer understanding of dependencies.
A software platform that hosts and analyzes daily word games like Hurdle, Wordle and NYT Connections. It provides advanced analytics on player performance, optimal strategies, and trending words, offering subscription-based data insights for game developers and hobbyists.
A security auditing tool designed to analyze leaked documents (like Mythos) and identify potential offensive cyber capabilities hidden within seemingly benign systems. It utilizes natural language processing and behavioral analysis to detect patterns indicative of latent cyber risks and assesses the validity of the 'Safety' narrative applied to those systems.
A software platform that automatically validates the correctness of physics-related answers generated by Large Language Models (LLMs) using symbolic math. It leverages a benchmark of adversarial physics questions and integrates with sympy and pint libraries to ensure rigorous, math-based evaluation, preventing false confidence in LLM responses.
A professional-grade AI music production tool built upon Suno's technology, offering advanced customization options like voice cloning, style transfer, and custom model training for creating unique and high-quality musical compositions.
ConcurrencyGuard
A developer tool that monitors and analyzes application code for concurrency coordination issues (deadlocks, race conditions), suggesting improvements and mitigating risks. Leverages the insights about costs of coordination.