Neut Programming Language
Neut is a functional programming language with static memory management. Its key features include: Full λ-calculus support Predictable automatic memory management The absence of annotations to the type system when achieving both of the above Neut doesn’t use GCs or regions. Instead, it takes a type-directed approach to handle resources. Like the following: // the […]
Write the post you wish you’d found
Archives Categories Blogroll While laid up with a minor but annoying medical issue over the last week, I’ve blogged more than usual. I’ve also spent some time reading through the archives here, and come to the conclusion that the best posts I’ve made — at least from my perspective — follow a similar pattern. They’re […]
The DOS 3.3 Sys.com Bug Hunt
SYS.COM corrupted a NetDrive image. But why? Posted: 2025-02-22Tags: DOS, NetDrive, ForgotToCheckReturnCode In ye olden days to make a diskette bootable you had to format it using the /s option of the FORMAT command. That works fine for blank disks, but software vendors had a small problem – they would sell you a disk with […]
Sublinear Time Algorithms
We have long considered showing the existence of a linear time algorithm for a problem to be the gold standard of achievement. Indeed, it is hard to imagine doing much better than that, since for any nontrivial problem, it would seem that an algorithm must consider all of the input in order to make a […]
Bald eagles are thriving again after near extinction
The bald eagle, once teetering on the brink of extinction, has made a significant comeback in the United States. Long a symbol of national pride, the raptor is experiencing a resurgence both in population and cultural significance. In December, then-President Joe Biden signed legislation officially designating the bald eagle as the country’s national bird—a title […]
Defragging my old Dell’s UEFI NVRAM
Defragging my old Dell’s UEFI NVRAM Defragging my old Dell’s UEFI NVRAM | artemis.sh artemis.sh – bandcamp – projects – blog – contact – rss – art – places – archive this site 2025-02-22 I’m setting up an old Dell box (2011-era tech). I was migrating to some new boot drives and setting up grub […]
Adding Mastodon Comments to Your Blog
2025-02-21 Comments powered by Mastodon! I hate ads. I also hate tracking and bloat. But I didn’t actually hate the latter quite enough to get rid of Disqus for comments. It was a free, good service, and you could turn off ads for the users (which I did). But recently they sent out a mail […]
Ask HN: What are you working on? (February 2025)
A parser combinator library. I’m writing a tool that will do static analysis of SQL (in a very limited fashion, it’s a build tool and not a static analyzer, but I need to understand dependency relationships between statements). I started out using `nom`, but found it imperfectly matched to my needs (underpowered in areas I […]
Tokio and Prctl = Nasty Bug
Recently I encountered a bug so cute that I immediately knew that I will want to share it on my blog. It was one of those bugs that even Rust can’t save you from. It occurred in HyperQueue (HQ), a distributed task scheduler written in Rust that I work on. Despite the fact that HyperQueue […]
Partnering with the Shawnee Tribe for Civilization VII
[embedded content] With each Civilization title, we take great care to thoughtfully and authentically portray every culture on our roster of civilizations and leaders. During the development of Civilization VII, Firaxis Games reached out to Ben Barnes, chief of the Shawnee Tribe, to discuss the possibility of incorporating Shawnee history into the game. By chance, […]