Inspirel banner

List of articles

February 2023 StreamDB - persistency for simple projects
December 2022 YAMI4 2.0.0 - new features and changes
January 2020 YAMI4 1.12.0 - new features and changes
May 2019 YAMI4 1.11.0 - new features and changes
January 2019 Loops and Quantified Statements (FMT dev blog)
December 2018 Ad Hoc Ghosts and Loop Variants (FMT dev blog)
November 2018 Supporting Loop Invariants (FMT dev blog)
  Fixing Loops (FMT dev blog)
September 2018 Supporting Quantified Statements, Part 5 (FMT dev blog)
  Supporting Quantified Statements, Part 4 (FMT dev blog)
August 2018 Supporting Quantified Statements, Part 3 (FMT dev blog)
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