RaimaDB, an embedded time series database that can be used for Edge and IoT devices, can run in-memory. It is a lightweight, secure, and extremely powerful RDBMS. It has been field tested by more than 20 000 developers around the world and has been deployed in excess of 25 000 000 times.
RaimaDB is a high-performance, cross-platform embedded database optimized for mission-critical applications in industries such as IoT and edge computing. Its lightweight design makes it ideal for resource-constrained environments, supporting both in-memory and persistent storage options. RaimaDB offers flexible data modeling, including traditional relational models and direct relationships through network model sets. With ACID-compliant transactions and advanced indexing methods like B+Tree, Hash Table, R-Tree, and AVL-Tree, it ensures data reliability and efficiency. Built for real-time processing, it incorporates multi-version concurrency control (MVCC) and snapshot isolation, making it a robust solution for applications demanding speed and reliability.
Learn more
Most AI video tools hand you a black box: closed weights, a subscription, and no way to see what is happening under the hood. LTX takes the opposite approach. Built by Lightricks, LTX is an open foundation model that generates and simulates across video, audio, and the physical world, and it puts the weights, the code, and the control in your hands.
At the center of the model is LTX-2.5, a 22B-parameter dual-stream diffusion transformer that produces native 4K video at up to 50 frames per second, with audio and video generated together in a single pass rather than stitched together afterward. Artificial Analysis, an independent benchmarking group, currently ranks LTX among the top three AI video models in the world.
You choose how you want to use it. Download the open weights and run LTX-2.5 on your own hardware. License the model for on-premise deployment backed by enterprise support. Or build directly on LTX Studio, the production suite that turns the model into a full creative workflow. Companies like ElevenLabs, Asteria Film Co., Magnopus, and NVIDIA already rely on LTX for their own work.
LTX is not built for one-off social clips. It is infrastructure for teams that generate motion, audio, and physical environments as part of their own products and pipelines.
Learn more
Symbolica
Current models are costly to train, complicated to implement, challenging to validate, and notoriously susceptible to generating misleading information. At Symbolica, we are reimagining the process of machine learning from its foundation. By leveraging the highly expressive framework of category theory, we create models that can learn and understand algebraic structures. This approach equips our models with a comprehensive and systematic representation of the world that is both explainable and verifiable. Our goal is to empower developers and end users to grasp and articulate the reasons behind model outputs. This level of interpretability and control over the outputs—such as the ability to remove proprietary data from the training set—is essential for applications that are critical to mission success. Additionally, we believe that enhancing transparency in how models derive their conclusions will foster greater trust and collaboration between humans and machines.
Learn more
Muse Spark 1.2
Muse Spark 1.2 is Meta’s newest coding-focused model, released alongside Muse Code as part of Meta’s AI developer platform. The model improves on Muse Spark 1.1 with stronger code generation, complex debugging, codebase understanding, and full developer workflow performance. Muse Spark 1.2 powers Muse Code, a terminal coding agent that can plan changes, write code, validate results, and coordinate persistent background subagents. The model was co-trained with Muse Code so it performs well inside the agentic coding runtime and tool environment. Its training included scaled coding compute, broader training environment diversity, rejection-sampled harness trajectories, recipe optimizations, and Muse Code toolset integration. Muse Spark 1.2 is designed for long-horizon coding tasks such as whole-repository generation, large end-to-end projects, auto-research, and extended optimization work. It uses planning to sequence work, goal conditioning to stay aligned with the user’s objective, and context compaction to preserve useful knowledge over long sessions. The model also benefits from a self-improvement loop where Muse Spark 1.1 generated challenging coding environments and instruction-following templates for training. By combining coding specialization, agentic workflow support, long-horizon training, subagent compatibility, and Meta Model API availability, Muse Spark 1.2 helps developers build, debug, and optimize software more effectively.
Learn more
