Posts tagged 'tech'

September 27, 2019: The Tar Pit Lisp Blog Scaffolding genesis
September 20, 2019: Botworks: Trilemabot and Feedbot V patches, the autumn 2019 session
September 13, 2019: Common Lisp WWWism summary
September 6, 2019: Hunchentoot genesis
August 30, 2019: Hunchentoot: requests and replies [b]
August 23, 2019: Hunchentoot: requests and replies [a]
August 16, 2019: Hunchentoot: taskmaster code review
August 1, 2019: Hunchentoot: acceptor code review
July 26, 2019: Hunchentoot: further architectural notes; and usage examples
July 20, 2019: Notes on Hunchentoot architecture
July 5, 2019: CL-WHO demo: The Coad Pit
June 12, 2019: A review of Hunchentoot's code history
May 28, 2019: CL-WHO genesis
April 25, 2019: Feedbot [iii]: the IRC bot
April 8, 2019: Feedbot [ii]: the rss announcer
March 23, 2019: Feedbot [i]: the feed db; its manipulation; and the feed checker
March 19, 2019: A few changes to Feedparse's HTTP requester (prelude to Feedbot)
March 6, 2019: A feed parser for Common Lisp programs
March 1, 2019: An XML parser for Common Lisp programs
November 30, 2018: Botworks manifest+Keccak regrind
July 27, 2018: trilemabot [ii]: prefixed commands
July 7, 2018: May-June 2018 Shithub SSH key harvest, data and preliminary analysis
July 2, 2018: The return of the lost son of the father of adalisp, now in a genesis
June 24, 2018: An early Lisp scriptlang prototype in Ada
June 5, 2018: trilemabot [i]: introduction and self-voicing patch proposal
April 27, 2018: Interfacing Common Lisp programs with GPG the (nearly) painless way
April 13, 2018: What is an operating system?
January 19, 2018: A solution to the largest-of-seven FFACalc puzzle
April 17, 2017: The Tar Pit development log [ii]
April 2, 2017: The generative model of computing
March 19, 2017: The Tar Pit development log [i]
January 29, 2017: Reversing lists, and on how formal methods are not an unambiguously useful tool for software verification
November 5, 2016: On the unambiguous usefulness of tools (in software and elsewhere)
September 18, 2016: Placing the cornerstone for The new Tar Pit: Much like the old one, only slimmer and more maintainable
August 18, 2016: On system reliability, or, a top-down approach to (dispel the myth of) "software engineering"
August 7, 2016: On the future of computing hardware
May 14, 2016: Further on the myth of "software engineering"
January 30, 2016: Category theory and its application in software engineering
November 22, 2015: Android, the bad and the ugly
November 8, 2015: Glasgow Haskell Compiler no longer suitable for teaching
August 9, 2015: The myth of "software engineering"
July 11, 2015: The linguistic barrier of operating system design: A proposal to redesign the OS architecture from first principles.
February 14, 2015: With our balls clean: Or how Homo sapiens survived in the dark ages of the first personal computers.
December 26, 2014: Bitcoin as infrastructure [iv]
December 6, 2014: On usability, a case study
November 8, 2014: LinuxCon Europe 2014
September 27, 2014: How and why systemd has won
July 12, 2014: Type algebra: the semantic ambiguity of nested lists: A short incursion into limitations of algebraic types.
June 1, 2014: Bitcoin as infrastructure [ii]
May 24, 2014: Re: Go-to statement considered harmful: Yet another rant on the difficulty of the discipline of programming.
February 16, 2014: Passwords versus passphrases: A layman's analysis of XKCD's "Password Strength".
November 10, 2013: On context awareness in computing: An analogy between natural language and computing.
September 22, 2013: Haskell, the Lego of programming: In which I argue the utility of functional programming in education and day-to-day activities.
September 12, 2013: Cloud software is unreliable: A weak argument.
August 31, 2013: Composition operators: pipes: In which we describe Unix pipes using application and composition.
August 18, 2013: Conversation view in Mutt: Making some elements of Mutt's user interface look more like Gmail.
July 27, 2013: The Tar Pit: technicalities: A dive into technical aspects of The Tar Pit.