Published on: 2025-07-07 11:53:55
The 2025 TLA⁺ Community Event was held last week on May 4th at McMaster University in Hamilton, Ontario, Canada. It was a satellite event to ETAPS 2025, which I also attended, and plan to write about in the near future. I gave a talk somewhat-hucksterishly titled It’s never been easier to write TLA⁺ tooling! which I will spin into a general account of the state of TLA⁺ development here. The conference talks were all recorded, so if you’d like this blog post in video form you can watch it below:
Keywords: code language parser tla written
Find related items on AmazonPublished on: 2025-08-10 23:53:15
The rise of local-first web applications demands a rethinking of traditional client-server architectures. Users expect near-native responsiveness, even when offline. This necessitates efficient, client-side data processing, including search. The techniques presented in this article, while discussed in a local-first context, are equally applicable to server-side systems. We’ll explore a type-driven approach, leveraging a Domain-Specific Language (DSL), to create a powerful and maintainable search
Keywords: parser search string type value
Find related items on AmazonPublished on: 2025-08-15 12:53:34
parcom - Parser Combinators parcom is a consise Parser Combinator library in the style of Haskell’s parsec and Rust’s nom . ( in-package :parcom ) (parse (*> ( string " Tempus " ) #' space ( string " fugit " )) " Tempus fugit. " ) fugit parcom operates strictly on strings, not streamed byte data, but is otherwise “zero copy” in that extracted substrings of the original input are not reallocated. parcom has no dependencies. Table of Contents Compatibility Compiler Status SBCL ✅ ECL ✅ Clas
Keywords: package parcom parse parser string
Find related items on AmazonPublished on: 2025-09-03 23:53:05
The next part of the Advent of Code puzzle involves interpreting instructions called do() and don't() which turn on and off the contributions of mul instructions to the sum. As we parse, we now need to keep track of one bit of state. This is a nightmare for regexes to deal with, because they recognise regular languages, and regular languages are literally stateless languages.2 There’s more nuance, of course, but as a first approximation. Technically regular languages are those that can be recogn
Keywords: bytestring import mul parser state
Find related items on AmazonPublished on: 2025-09-06 01:21:22
dockerfmt Dockerfile format and parser, and a modern version of dockfmt. Built on top of the internal buildkit parser. Installation Binaries are available from the releases page. Usage A updated version of the dockfmt. Uses the dockerfile parser from moby/buildkit and the shell formatter from mvdan/sh. Usage: dockerfmt [Dockerfile] [flags] dockerfmt [command] Available Commands: completion Generate the autocompletion script for the specified shell help Help about any command version Print t
Keywords: dockerfmt echo help parser run
Find related items on AmazonGo K’awiil is a project by nerdhub.co that curates technology news from a variety of trusted sources. We built this site because, although news aggregation is incredibly useful, many platforms are cluttered with intrusive ads and heavy JavaScript that can make mobile browsing a hassle. By hand-selecting our favorite tech news outlets, we’ve created a cleaner, more mobile-friendly experience.
Your privacy is important to us. Go K’awiil does not use analytics tools such as Facebook Pixel or Google Analytics. The only tracking occurs through affiliate links to amazon.com, which are tagged with our Amazon affiliate code, helping us earn a small commission.
We are not currently offering ad space. However, if you’re interested in advertising with us, please get in touch at [email protected] and we’ll be happy to review your submission.