The Depressed Milkman

Programmer / computer scientist. Interested in several goals:

• Promoting 'good', simple, modular software (following the UNIX philosophy) at a technical level (particularly through programming language design)
• Providing privacy/security across the Internet (particularly considering ubiquitous Internet protocols)
• Achieving efficient and 'perfect' mathematical computation (particularly via the manipulation of continued fractions)

The Log

Details of day-to-day discoveries or milestones in various projects.

2021-06-29 Why the Keypunch Public License

2021-07-01 A Safe (By Construction) Bytecode-Based Operating System

2021-07-07 Processing Sensitive Data Using Secure Types

Contact

My PGP key is DF4B56D2 / B072D1DFDF4B56D2.

My PGP key

Feel free to reach out at any time.

mailto:gemi@tdmm.eu

License

This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. To view a copy of this license, visit the link below or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA.

Creative Commons - Attribution-NonCommercial-ShareAlike 4.0 International - CC BY-NC-SA 4.0

-- (C) CC BY-NC-SA 4.0 2021-06-24 The Depressed Milkman