Software on Lomont.org

MinimalTicTacToe

Fri, 26 Jul 2024 07:50:18 -0400

Derivation of a minimal size tree for playing perfect tic tac toe

Correct alpha and gamma for image processing

Mon, 28 Aug 2023 18:40:19 -0400

This is a note on the correct usage of alpha blending, pre-multiplied alpha, gamma correction, and linear colors for image processing.

IOS PNG Errors

Sun, 23 Jul 2023 14:44:11 -0400

XCode corrupts PNG images for iOS builds. This post details the error.

Problems using SSIM for image quality comparisons

Sat, 24 Jun 2023 10:36:07 -0400

Variation among SSIM implementations make comparing results a mess. This version matches the output of the original, unlike most of those in common use as of 2023.

Accurate color conversions

Tue, 06 Jun 2023 07:12:30 -0400

This is a quick note for converting byte values colors in 0-255 back and forth to floating-point colors in 0-1 which avoids common errors.

Button debouncing and pattern matching

Tue, 22 Nov 2022 18:17:00 -0400

A robust, portable, extensible method for handling button presses when interfacing software and hardware.

A better quadratic formula algorithm

Sat, 27 Aug 2022 08:12:01 -0400

A robust algorithm for computing roots of quadratic equations, much better than common code.

Lomont floating point notes

Fri, 26 Aug 2022 08:07:00 -0400

Notes on floating point issues, including lists of facts and theorems useful for algorithm development.

Rtk Gps Project

Mon, 07 Dec 2020 20:25:57 -0500

I built a RTK-GPS gadget and wrote enough software to do basic GNS tasks such as finding distances, decoding GPS NMEA and RTCM messages, finding intersections, and doing boundary detection.

Chris Lomont's lines of code over time

Sun, 23 Jun 2019 12:10:43 -0400

Over decades I’ve written a lot of personal code. I made a bar chart race showing how many lines I’ve written in different languages over time.

New C# syntax and features

Sat, 01 Jun 2019 17:08:08 -0400

Here’s a brief summary of C# features by version.

30 Algorithms in 60 Minutes

Wed, 15 May 2019 12:56:57 -0400

This is a 60 minute talk in which I tried to cover 30 algorithms and data structures in a concise manner. It covers all sorts of areas: sorting, string searching and matching, backtracking, randomness, skip lists, hashing, bloom filters, graph algorithms, space partitioning, concurrent and immutable data structures, cache oblivious techniques, compression, boolean satisfiability, and control theory.

Computation: Theory, Methods, Limitations, and the Future

Mon, 25 Feb 2019 12:58:12 -0400

These slides are from a talk I gave on many aspects of computing, starting with classical computing (Hilbert’s 10th problem, Church and Turing, Godel, boolean functions, complexity theory, transistors, Moore’s law and demise), then going through physics (relativity, quantum mechanics, quantum field theory), and finally into quantum computing basics (qubits, superposition, entanglement, no cloning, basic gates) and quantum algorithms (Deutsch, Simon, Shor, Grover).

Then I cover advanced quantum topics, such as quantum machines,quantum complexity theory, the Quantum-Church-Turing-Deutsch principle, graph isomorphism, quantum error correction, and quantum security. A final speculative section covers even weirder computation ideas (closed timelike curves, string computing) and how computing seems intertwined with the nature of reality (It from Bit, Simulation Hypthesis, Free Will Theorem).

Intro to Wireless Communications

Sat, 21 Jul 2018 12:59:10 -0400

This talk is an intro to wireless communications, starting with the basic physics of EM waves and how they interact with materials, then how antennas work, then on to antenna properties and design. Next modulation schemes are discussed, showing how data is encoded and transmitted over noisy channels via modulation, spread spectrum, time and frequency division, and other methods. Noise in the form of doppler, intermodulation, and other causes is covered. Information theory (channel capacity, Shannon entropy, error correction) is covered. Finally specific protocols are analyzed under this framework: FM, NTSC, remotes, WiFi, Bluetooth, ZigBee, satellite radio, GPS, and cellular formats.

Cryptography Best Practices 2018

Mon, 02 Apr 2018 12:58:39 -0400

This talk covers cryptography best practices as of April, 2018. Background on each area is covered, with each section ending with a best practices slide. Sections are Symmetric Encryption, Asymmetric Encryption, Key Lengths, Hashing/HMAC, Password usage, Key Exchange, Random number generation, Digital Signatures,

Intro to Functional Programming with F#

Wed, 14 Mar 2018 12:58:59 -0400

This talk is an introduction to functional programming, with a focus on F#. The first section covers functional programming history, techniques, and benefits. The second part shows how this is used in F#, covering F# syntax and some special features like Type Providers, Units of Measure, and performance compared to C#.

The third section goes into mind-bending topics like immutable data structure implementation, currying, the y-combinator, contravariant and covariant functors, and category theory.

Meltdown and Modern CPU Architecture

Wed, 10 Jan 2018 12:56:17 -0400

This talk covers CPU architecture from the early days (Intel 4004) through modern designs (2018, Intel i7 and i9), with a view towards how the Meltdown and Spectre exploits were discovered. It covers virtual memory, process separation, cache issues, RAM details, pipelining and stalls, branch prediction, Moore’s law versus physics, and finally how Meltdown and Spectre are the consequence of many of these design decisions.

In the end I show the code for Meltdown along with a demo.

A Universal FRACTRAN Interpreter in FRACTRAN

Mon, 01 May 2017 17:08:08 -0400

Here’s FRACTRAN, a weird fraction based programming language, written in FRACTRAN.

Generating Uniform Random Numbers on [0,1]

Sun, 05 Mar 2017 17:08:08 -0400

How does one generate uniform random numbers in [0,1] using IEEE 754 floating point formats? It’s tricky.

Efficient divisibility testing

Tue, 21 Feb 2017 17:08:08 -0400

Here’s bit tricks for efficient divisibility testing.

Making Three NOT Gates from Two

Sat, 17 Sep 2016 17:08:08 -0400

This is a hard puzzle about using two NOT gates to build three.

Compression Notes

Mon, 29 Aug 2016 17:08:08 -0400

Here’s some notes on compression.

LZCL: An embedded compression library

Mon, 29 Aug 2016 17:08:08 -0400

Here’s an embedded compression format I designed to meet certain requirements. It’s small, fast, and efficient.

Test site features

Fri, 01 Jul 2016 17:08:08 -0400

A post to test site features such as tables, math, code…