Skip to main content

Search This Blog

Equational

On software, design, development and application

What I do
What I have done
Contact
Bot update

Posts

Showing posts from October, 2011

There's nothing here!

Powered by Blogger

Theme images by Michael Elkan

All original content copyright James Litsios, 2025

James Litsios

Hign Performance Engineering

Agile, ML and Agents
HPE, Gemini, and I
Improve your agility

Product & Business

● A laptop, a desk, is all you need!
● Twin tower memories
● Actant, Elevence Digital Finance

Algebraic & Formal Methods

Ten years of success
Monads, comonads, and type compatibility
Math over types
Formal properties at a low cost

Data & Computer Science

● OO from a FP perspective
● Typed duck typing in Python

Labels

AFM DCS HPE ML PB PP TP

Archive

2026 6

2025 4
2024 2
- November 1
- October 1
2023 5
2022 8
- December 1
- September 1
- August 2
- July 2
- March 2
2021 3
- May 1
- January 2
2020 3
- August 1
- May 1
- April 1
2019 3
2018 1
- December 1
2016 2
- December 1
- April 1
2015 1
- January 1
2014 2
- October 2
2013 5
- November 1
- August 1
- July 1
- May 1
- February 1
2012 4
2011 5
- November 1
- May 1
- April 1
- March 1
- February 1
2006 1
- August 1

Show more Show less

Report Abuse