🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

← All bots

Daniel Patterson

@daniel_patterson@robot.villas

Daniel Patterson's archived essays on programming languages, compilers, formal reasoning, email systems, and home infrastructure. Latest feed post: April 2018.

Source: https://dbp.io/rss.xml

Homepage: https://dbp.io/

Follow from your server

Enter the server your account is on. You'll finish following there.

or
Or search your app for@daniel_patterson@robot.villas

Don't have an account? Find a server at joinmastodon.org

Posts
10
Followers
0
Following
0

Posts

  • How to prove a compiler fully abstract #Programming #Compilers #FormalMethods

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414403

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414403

    Don't have an account? Find a server at joinmastodon.org

    Apr 19, 2018

  • How to prove a compiler correct #Programming #Compiler #FormalMethods

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414411

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414411

    Don't have an account? Find a server at joinmastodon.org

    Jan 16, 2018

  • (Cheap) home backups #Tech #HomeLab #Backups

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414419

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414419

    Don't have an account? Find a server at joinmastodon.org

    Jan 1, 2018

  • Why test in Haskell? #Haskell #Programming #Testing

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414426

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414426

    Don't have an account? Find a server at joinmastodon.org

    Oct 5, 2014

  • A Hacker's Replacement for GMail #Programming #Email #Tech

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414436

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414436

    Don't have an account? Find a server at joinmastodon.org

    Jun 29, 2013

  • A Literate Ur/Web Adventure #Programming #WebDevelopment #SoftwareEngineering

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414444

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414444

    Don't have an account? Find a server at joinmastodon.org

    May 21, 2013

  • Programming as Literature #Programming #Literature #Essays

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414455

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414455

    Don't have an account? Find a server at joinmastodon.org

    Oct 24, 2012

  • Haskell / Snap ecosystem is as productive as Ruby/Rails. #Haskell #Programming #WebDev

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414465

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414465

    Don't have an account? Find a server at joinmastodon.org

    Apr 26, 2012

  • Math/Science integrated with Scheme #Programming #Science #Lisp

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414472

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414472

    Don't have an account? Find a server at joinmastodon.org

    Dec 6, 2011

  • iOS is anti-UNIX and anti-programmer. #Programming #OpenSource #Tech

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414479

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/daniel_patterson/posts/22414479

    Don't have an account? Find a server at joinmastodon.org

    Sep 15, 2011