Inspirel banner

List of articles

July 2018 Supporting Quantified Statements, Part 2 (FMT dev blog)
  Supporting Quantified Statements, Part 1 (FMT dev blog)
June 2018 Basic Support For Ghost Variables (FMT dev blog)
May 2018 Implementing Logic Reachability Checks (FMT dev blog)
January 2017 Very Simple Scheduler - bonus chapter for the Ada on Cortex-M tutorial
January 2015 - March 2016 Ada on Cortex-M - tutorial (on-line book)
September 2014 YAMI4 Tip #8 - Easy Sniffer
April 2014 Cheating With Asserts
  YAMI4 Tip #7 - Connect Or Not
March 2014 YAMI4 Tip #6 - Taking Care Of UDP
February 2014 YAMI4 Tip #5 - Let Me Think
October 2013 YAMI4 Tip #4 - Truly Non-Blocking Send
July 2013 Ada-Python Demo
  YAMI4 Tip #3 - Shallow Parameters
June 2013 YAMI4 Tip #2 - Default Objects
  YAMI4 Tip #1 - Connection Timeouts
April 2013 YAMI4 vs. ZeroMQ
  100kB Message Broker
October 2012 How Small Is Your Middleware?
November 2010 Testing Allocation Failures
August 2010 Types Of Middleware
June 2010 Polymorphic Callbacks For Ada/C++ Bindings
May 2010 Ada-Python Binding
April 2010 Avoiding Destruction Races
March 2010 RPC vs Messaging
February 2010 What Happened To R-Value
January 2010 Better Allocator API
December 2009 What Is Wrong With IDL
November 2009 Defending Direct Messaging
March 2009 Mythical Code Coverage
July 2008 Strncpy and Safety
June 2008 Exception Chaining for C++
May 2008 Atomic Log Stream for C++
Feb 2008 Visitor Revisited
Feb 2008 Possible Syntax for C++ Lambda
Jan 2008 Possible Syntax for C++ Threads
Jan 2008 Global Objects and Exceptions
Sep 2007 Security Boundaries, Encapsulation and SQL Injection