• News
  • Blog
  • Careers
  • Docs
  • Download
  • News
  • Blog
  • Careers
  • Docs
  • Download
Emergence
  • Subscribe
  • RSS
  • Tags
  • GITHUB
Test & Code : An Unorthodox Technical Interview and Hiring Process

Don't you just love technical interviews, with someone who just saw your resume or CV 5 minutes ago asking you to write some code on a whiteboard. Probably code that has nothing to do with anything you've done before or anything you will do ...

Mon Mar 14 2022
Podcast Test & Code Brian Okken Interviews
James Munns | Emergence Podcast

Fri May 14 2021
Podcast James Munns Ferrous Systems Rust embedded
ilustration
Having a Dialog With Graphs in Their Native Tongue
Dan Pittman  |  Principal Software Engineer, Auxon

Modality’s core technology is one that can reconstruct a partial order of happenings in a system that’s been instru ...

Mon Mar 22 2021
Modality Causal Order Graphs Embedded Systems
Lane Desborough | Emergence Podcast

Wed Mar 17 2021
Testing Complexity Podcast Lane Desborough
Tim Nelson | Emergence Podcast

Wed Feb 24 2021
Formal Methods Testing Property-based Testing Podcast Tim Nelson
ilustration
Effective Property-Based Testing
Russell Mull  |  Principal Software Engineer, Auxon

We have a diverse testing and verification toolkit at Auxon, but one of our most important tools is property-based ...

Mon Feb 01 2021
Safety Testing Verification
ilustration
A Little Story About Graphs and Why Rust Is Terribly Wonderful (Or Wonderfully Terrible)
Dan Pittman  |  Principal Software Engineer, Auxon

Our open source software instrumentation tooling, modality-probe, pr ...

Mon Jan 11 2021
Rust Safety Embedded Systems
ilustration
Listening in on Embedded Devices Using Modality-Probe
Jon Lamb  |  Senior Software Engineer, Auxon

The following is an example of retrieving modality-probe log data off an embedded device using the debug interface. ...

Tue Nov 17 2020
Rust Safety Embedded Systems
Oxidize 2020: Rust in Safety Critical Systems Panel
Nathan Aschbacher  |  CEO, Auxon

Mon Nov 02 2020
Rust Safety Embedded Systems
ilustration
fixed-slice-vec: an Embedded Rust no-std Vector
Zachary Pierce  |  Principal Software Engineer, Auxon

If you need a trustworthy collection with a variable number of elements in it, fast random access, contiguous eleme ...

Mon Oct 26 2020
Coding Rust Vectors fixed-slice-vec
ilustration
Code Reviews are Changes Too
Russell Mull  |  Principal Software Engineer, Auxon

Consider the code review. It's part of many people's daily development practice. Easily available code review tooli ...

Fri Oct 09 2020
Coding Workflow Git
ilustration
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
Dan Pittman  |  Principal Software Engineer, Auxon

In the world of systems programming where one may find themselves writing hardware drivers or interacting directly ...

Fri Oct 25 2019
Rust Safety Embedded Systems
Exposing Design Flaws in Shared-Clock Systems with TLA+
Russell Mull  |  Principal Software Engineer, Auxon

Thu Sep 12 2019
Rust Safety Embedded Systems
Company
  • News
  • Blog
  • Careers
  • Contact
Modality
  • Docs
  • Modality Walkthrough
  • Download
Sign up to receive news and updates.
Copyright 2022 Auxon Corporation. All rights reserved. | info@auxon.io