mdbtxt1
mdbtxt2
Proceed to Safety

Computers, High-Performance Algorithms and Software    

This is a partial index of my work over the years relating to high-performance computation. This includes my own software efforts and my investigations into the history of computer architecture and benchmarking.

Software

Xmorphia PDE4 : The CPU-oriented implementation of Gray-Scott reaction-diffusion.

The Xmorphia PDE5 Screensaver performs the same calculations on the GPU, and uses it as a video processing filter for the video input (web cam).

Sloandora : an auto-recommendation engine for browsing a database of textfiles containing OEIS sequences.

RIES : One of several mathematics programs, using non-parallel but yet very high-performance search algorithms; more here.

mcsfind : A program that will find the simplest recurrence-generated integer sequence given some terms. Part of the MCS project.

Smaller Projects

Minimal RNN Implementation in Python : A recurrent neural network that models plain text, based on this gist by Andrej Karpathy (@karpathy), but greatly enhanced. I also have a mirror of his RecurrentJS demo.

Computer History and Benchmarking

The History of Apple Computer Models page also covers Intel's Fabrication and Microarchitecture History and more fundamental trends such as transistor density.

The SPEC Benchmarks : This page explains each edition of the SPEC CPU benchmarks (both "speed" and "rate" measures, from 1989 through the present), showing how they are computed and how each can be compared to any of the others.

Theory

My Functional Computation language is based on a set of recursive definitions starting with a minimal set (three) LISP-like functions. It is meant to be fairly easy to understand, executable on real machines as well as Turing machines and applicable to Goedel numbering.

My annotated version of Goedel's first incompleteness theorem.

Robert``Munafo``on``Stack``Overflow

Miscellaneous

32-bit CRC algorithms including precomputed tables.

C++ Linker Errors from GCC Compiler : These errors are all very cryptic, and would be easily avoided with a simple check in the compiler and a sensible sane error message.

png-csum-fix : Program that recomputes the CRCs in a PNG file; also allows changing colour table (palette) entries on the fly.

User Styles for Stylish in Firefox : Presently has only one, which eliminates a lot of the wasted space in Gmail.


Robert Munafo's home pages on AWS    © 1996-2024 Robert P. Munafo.    about    contact
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. Details here.

This page was written in the "embarrassingly readable" markup language RHTF, and was last updated on 2024 Jan 21. s.30