TrustInSoft commercializes a source code analyzer called TrustInSoft Analyzer, which analyzes C and C++ code and mathematically guarantees the absence of defects, immunity of software components to the most common security flaws, and compliance with a specification. The technology is recognized by U.S. federal agency the National Institute of Standards and Technology (NIST), and was the first in the world to meet NIST’s SATE V Ockham Criteria for high quality software.
The key differentiator for TrustInSoft Analyzer is its use of mathematical approaches called formal methods, which allow for an exhaustive analysis to find all the vulnerabilities or runtime errors and only raises true alarms.
Companies who use TrustInSoft Analyzer reduce their verification costs by 4, efforts in bug detection by 40, and obtain an irrefutable proof that their software is safe and secure.
The experts at TrustInSoft can also assist clients in training, support and additional services.
Learn more
Join thousands of property managers who trust Buildium to take control of every aspect of their business and drive more revenue per door. It’s the #1 most recommended for a reason.
Buildium is all-in-one property management software loaded with all the features you need to thrive—accounting, communications, leasing, top-rated mobile apps and more. You’ll be able to find new revenue streams from resident services, count on award-winning support, and tap into an ecosystem of proven integrations with Buildium Marketplace. No matter the portfolio, Buildium is purpose-built for your job.
With packages starting at just $62 a month, and zero hidden fees, it’s no wonder Buildium is ranked by Forbes to be the “Best Real Estate Accounting Software for Property Managers.”
Learn more
Inkling
Inkling is Thinking Machines’ open-weights foundation model built for customization, multimodal reasoning, and agentic AI workflows. The model uses a Mixture-of-Experts architecture with 975 billion total parameters and 41 billion active parameters, making it large in capacity while activating only a subset of experts per token. Inkling supports up to a 1 million token context window and was pretrained on 45 trillion tokens spanning text, images, audio, and video. It is designed as a broad generalist model with strengths across coding, reasoning, instruction following, factuality, tool use, vision, audio understanding, forecasting, and safety. Developers can tune its thinking effort to trade off latency, cost, and performance, which is useful for production systems that need efficient reasoning at scale. Inkling can be fine-tuned on Tinker, tested in the Inkling Playground, and deployed through partners such as TogetherAI, Fireworks, Modal, Databricks, Baseten, vLLM, SGLang, llama.cpp, and Hugging Face transformers. The model can generate applications, operate tools, create styled artifacts, reason over visual and audio inputs, and support long refinement loops for collaborative work. Thinking Machines also previewed Inkling-Small, a lighter Mixture-of-Experts model with 276 billion total parameters and 12 billion active parameters for lower-cost and lower-latency workloads. By combining open weights, multimodal training, agentic capabilities, efficient reasoning, and fine-tuning support, Inkling gives builders a flexible AI foundation for specialized products and workflows.
Learn more
MiniMax M3
MiniMax M3 is a frontier open-weight AI model built for coding, agentic work, multimodal understanding, and ultra-long-context tasks. The model supports up to a 1 million token context window, allowing it to work across large codebases, long documents, logs, project histories, and complex task environments. MiniMax M3 introduces MiniMax Sparse Attention, a sparse attention architecture designed to make long-context processing more efficient. The model is natively multimodal, with training that supports deeper semantic fusion across text, image, and video inputs. It is designed to support software engineering tasks, repository analysis, terminal-style work, browser-style retrieval, tool use, and autonomous workflows. MiniMax M3 has a mixture-of-experts architecture with hundreds of billions of total parameters and a smaller activated parameter count for more efficient inference. Developers can use it for AI coding assistants, workflow automation, research agents, document analysis, visual reasoning, and enterprise AI systems. Its long-context capability makes it especially useful when tasks require many files, references, instructions, or interaction histories to stay available at once. MiniMax M3 helps teams build more capable AI agents that can understand larger problems, work across multiple modalities, and execute complex tasks with stronger context awareness.
Learn more