Red Nova Labs

left quote

The Star Trek computer doesn't seem that interesting. They ask it random questions, it thinks for a while. I think we can do better than that." Larry Page
Cofounder of Google

Inventions

Our Technology

Not only do we make cool things for our clients, but we make them for ourselves. At Red Nova Labs, we find it is important to service our customers with unique and novel solutions to their problems. In this goal, we are our largest customer (i.e. we eat our own dog food), and we have several showcase technologies to demonstrated the innovative powers of our technical gurus.

While many agencies deal with either strictly custom tools or purely open source tools, we are well versed in both fields. We are not afraid to get our hands dirty with standard code, nor are we afraid to plug away with our own system. It all depends on your needs. Having the ability to be versatile in such an agile industry is an incredible plus.

  • Kira

    Core to any dynamic content driven multi-user website is the database. Kira is a programming language designed to security expose the database to designers and programmers easily. Aside from easy interaction, Kira solves scalability, performance, security, availability, and reliability concerns by using formal methods and clean room engineering to produce superior database implementations. In addition to the database, Kira builds upon the Earth platform to provide advanced system services at the language level where important system properties and behaviors can be proven correct.

  • Gravity

    A small team (five to ten developers and designers) source control platform. Gravity works like other source control systems like SVN or Git, but it works by using locks and a live network connection. It was designed to operate along with other large scale concurrent source control management packages like SVN or Git, but it minimizes the entropy generated by a small group by merging them into a lock based SCM. Additionally, lock based SCMs work best when non-text based files (like images) are in play.

  • Mercurial

    Deploying code to multiple platforms from multiple platforms can be time consuming, and Mercurial is a cross platform batch language to deploy source code securely in an automated fashion.

  • libVenus

    libVenus is a collection of handy MySQL User Defined Functions (UDFs) that we use to accelerate performance of common tasks on the database server rather than on the web server. By factoring algorithms and queries across the network, it possible to achieve performance several orders faster than traditional methods.

  • Earth

    A customized Linux installation that we maintain to build our services on top of. It contains Linux, Apache 2, MySQL 5, PHP 5, Memcached, Postfix, x-cache, CutyCapt, Open Office, Tomcat, Solr, ffmpeg, jQueue.

  • Aresian Overseer

    Where Kira manages the software interfaces to scalable systems, overseer manages the machines and controls the databases. It decides which pieces of which database go to which machine, and it provides scalable subsystems to Kira for managing constraints across the network. Additionally, it provides Kira with a deployment system for upgrading databases, and it is impossible to foul up and lose data.

  • Jove3

    AJAX is the word of the day, and Jove3 is the fastest AJAX platform in existence. Jove3 was the adaptation of game based technologies to the web for the purpose of creating hurox.com; it solves many development problems and work flow problems involved in creating a web operating system by utilizing an encapsulated state model compiler. Applications would compile into web executables of highly optimized and dense JavaScript that ran against a web kernel.

    Additionally, Jove3 contained a full proprietary IDE called Jovian Katana. Jovian Katana was a team based editing environment for developing rich interactive websites with many unique development offerings like a layer based editing, MapEncode architecture, and source code validation.