¯\_(ツ)_/¯

Hello, this is Spencer Baugh's homepage.

If you have any thoughts or questions, about this website or about anything really, feel free to send me email; my address is sbaugh on catern.com. I'm also on OFTC as "catern".

Would you like an RSS feed, or information about changes? Or maybe you want to read some raw .org files? This site is on Github.

Making it easier to run distributed software

Distributed software, which accesses and depends on remote resources, is harder to run than local-only software. I'm interested in making it easier to run distributed software for both programmers and end-users. I think this will promote the development and use of open source distributed software, which will in turn lead to more high-quality distributed software being available.

Taking lambda-abstraction as far as it can go

I'm interested in doing practical programming with just lambda-abstraction and application. Many features, both at the level of surface syntax (such as pattern matching, DSLs) and type system (such as effect systems, access controls, DSLs) are easily implementable with just lambda-abstraction and application, and this allows them to be used productively in languages without such advanced features built-in. I'm interested in taking this further, because I think this helps make such innovations more widely usable.

Improving Linux

Linux is the world's largest software project and the world's most successful open source project, so it will probably be a foundation for my work for many years. So, naturally, I'm interested in improvements to Linux.

Some tips on tools I use, or don't use

I use some tools; some tools, I don't use.

Life

I have a life.