mgreenblog

Posts in the category "Software"

1. How to cook a KAT for your pet theory Friday, May 13, 2022
   I explain our (award-winning!) PLDI 2022 paper. Also, we meet a very good dog.
2. Processing Semi-Structured Data in the Unix Shell Tuesday, June 29, 2021
   I wrote some software to help you work with formats like JSON and YAML in the shell.
3. Formulog: ML + Datalog + SMT Friday, August 7, 2020
   I explain how our OOPSLA 2020 paper can help you prototype static analyses.
4. smoosh v0.1 Wednesday, May 15, 2019
   A reference semantics for the POSIX shell.
5. PHPEnkoder 1.14 Friday, August 19, 2016
   Features.
6. Installing ctypes and ctypes-foreign on OS X with brew and OPAM Wednesday, February 10, 2016
   Outdated instructions; I have had issues with OCaml and FFIs for nearly a decade.
7. Twitter bots and OAuth Monday, February 9, 2015
   Outdated advice about setting up a bot on Twitter.
8. PHPEnkoder 1.13 Monday, February 9, 2015
   Bugfixes.
9. Scheduling the discussion order at PC meetings Friday, October 3, 2014
   A tool for planning the order of discussion at PC meetings to minimize comings-and-goings due to conflicts.
10. PHPEnkoder 1.12.1: "PHP is laughably bad" edition Wednesday, January 15, 2014
    An inane bugfix.
11. PHPEnkoder 1.12: unicode support! Tuesday, January 14, 2014
    Features.
12. LLVM 3.1, Haskell 7.4.1, and OS X Wednesday, August 1, 2012
    Outdated instructions, useful in their time.
13. QuickRedex Wednesday, February 1, 2012
    Run your research in... the Glasgow Haskell Compiler.
14. PHPEnkoder 1.11 Tuesday, October 11, 2011
    A contributed bugfix.
15. PHPEnkoder 1.10 Wednesday, October 5, 2011
    Contributed bugfixes.
16. PHPEnkoder 1.9 Tuesday, March 15, 2011
    Bugfixes.
17. PHPEnkoder 1.8 Monday, February 21, 2011
    Bugfixes.
18. PHPEnkoder 1.7 Monday, May 3, 2010
    Features.
19. Nested functions in GCC Wednesday, March 3, 2010
    Exploring a language feature.
20. Locally installing LLVM with Ocaml bindings Thursday, September 24, 2009
    Outdated instructions, useful in their time.
21. PHPEnkoder 1.6 Tuesday, August 18, 2009
    Bugfixes and features.
22. PHPEnkoder 1.5 Saturday, May 23, 2009
    Bugfixes, features.
23. PHPEnkoder 1.4 Monday, May 18, 2009
    Bugfixes.
24. PHPEnkoder 1.3 Tuesday, February 3, 2009
    Bugfixes.
25. The world's largest Scheme install-base is... Wednesday, January 14, 2009
    ...adware.
26. Practical OCaml Wednesday, October 29, 2008
    I did some homework in OCaml and it was only twenty times slower than C (at first).
27. PHPEnkoder now in Wordpress Plugin Directory Friday, October 24, 2008
    My software makes the medium time.
28. boolopt update: v1.1 Thursday, February 21, 2008
    Bugfixes in old code for simplifying propositional logic formulae.
29. Another nasty bug -- and an idea Friday, March 30, 2007
    A bug with DOM nodes and an idea for structured practice at debugging.
30. PHPEnkoder 1.2 Monday, February 26, 2007
    Bugfixes.
31. XSugar Wednesday, February 7, 2007
    Playing around with bidirectional programming.
32. Google E-Mail Masking Tuesday, November 28, 2006
    Alternative approaches to email obfuscation.
33. World-Wide Enkoder Domination Sunday, November 26, 2006
    Other people using client-side email obfuscation.
34. boolopt Wednesday, July 12, 2006
    Code for minimizing propositional logic formulae.
35. JavaScript "Protection" Tuesday, July 4, 2006
    An argument about email obfuscation.
36. PHPEnkoder 1.1 Monday, June 26, 2006
    Features and bugfixes.