Meta tags:
description= davehudson.io is Dave Hudson s projects, blog, and notes site.;
author= Dave Hudson;
Headings (most frequently used words):
humbug, notes, projects, blog, more, open, source, research, to, 2026, latest, posts, an, 06, dave, hudson, and, current, menai, comes, of, age, decided, design, functional, programming, language, for, llms, use, building, agentic, terminal, path, ai, operating, system, structuring, my, 07, 03, v52, 28, v51, 24, v50,
Text of the page (most frequently used words):
the (25), and (24), more (17), for (16), this (15), that (14), been (12), notes (10), humbug (10), with (10), but (9), would (9), 2026 (8), all (8), read (8), has (8), published (8), have (8), blog (8), help (7), human (7), #projects (7), open (6), them (6), our (6), #operating (6), software (6), find (5), source (5), research (5), new (5), they (5), building (5), use (5), programming (5), can (5), not (4), code (4), time (4), 2025 (4), need (4), systems (4), very (4), are (4), user (4), terminal (4), agentic (4), out (4), build (4), could (4), language (4), llms (4), hudson (3), section (3), most (3), features (3), some (3), future (3), long (3), now (3), posts (3), going (3), site (3), see (3), work (3), few (3), things (3), pretty (3), because (3), about (3), system (3), way (3), wanted (3), good (3), lot (3), writing (3), year (3), llm (3), functional (3), security (3), menai (3), designed (3), unpredictable (3), since (2), any (2), interesting (2), big (2), however (2), v50 (2), quickly (2), v51 (2), also (2), v52 (2), latest (2), week (2), try (2), something (2), davehudson (2), problem (2), effective (2), ways (2), even (2), hardware (2), stack (2), thing (2), change (2), you (2), rethink (2), ideas (2), how (2), went (2), used (2), commands (2), give (2), engineers (2), last (2), tools (2), being (2), released (2), what (2), better (2), pure (2), offer (2), sandboxed (2), doesn (2), access (2), complicated (2), sort (2), design (2), obvious (2), move (2), from (2), rather (2), than (2), model (2), suddenly (2), dave (2), 2014, david, while, posted, focus, front, end, issues, backend, two, themes, today, glm, don, normally, release, versions, important, bug, fixes, ton, quality, improvements, will, hopefully, limit, style, regressions, wanting, binary, installs, macos, windows, linux, three, add, works, recurring, throughout, career, finding, keep, track, structuring, argument, era, already, changed, fundamental, assumptions, significantly, enough, reconsider, questioned, years, bold, concept, given, major, around, become, progressively, capable, evolved, importantly, base, single, difficult, entire, depends, their, stability, convince, path, post, walk, through, why, built, did, enable, both, able, interact, run, check, results, assistant, tasks, allow, come, creative, meet, requests, where, using, shell, love, terminals, exception, thought, fun, explore, seen, development, proprietary, hasn, easy, inside, figured, understand, previously, put, off, trying, taken, months, get, everything, course, claude, sonnet, uses, though, safety, had, mind, expressive, filesystems, networks, example, instead, rely, setting, inputs, interpreting, outputs, famously, bad, counting, letters, text, maths, either, programs, these, available, sometimes, resort, python, scripts, those, risk, doing, weird, potentially, dangerous, safe, environment, awesome, decided, starting, realize, aside, arbitrary, couldn, ever, semantic, versioning, just, feel, right, vision, worked, far, imagined, daily, testing, reviewing, editing, critiquing, specifications, assessing, third, party, maintaining, lots, 100k, net, lines, many, hundreds, thousands, came, prefix, feeling, increasingly, stale, started, view, product, managers, analysts, etc, collaborate, tool, over, one, planning, specific, version, felt, like, warranted, such, bang, comes, age, earlier, inspired, lisp, powerful, safely, without, supervision, custom, optimizing, compiler, infinite, register, virtual, machine, compiled, specifically, approach, privacy, trust, introduction, makes, default, decades, was, interacting, should, predictable, participant, dealing, equally, too, traditional, securely, share, resources, best, ones, attempt, protect, users, buggy, malicious, weakest, link, chain, who, tricked, into, running, unsafe, leaking, sensitive, data, project, explores, secure, reliable, collaboration, current,
Text of the page (random words):
dave hudson s projects blog and notes site davehudson io projects blog notes about dave hudson s projects blog and notes current projects humbug humbug is a project that explores building a secure and reliable operating system for human ai collaboration traditional operating systems are designed to securely use and share hardware resources the best ones attempt to protect users from buggy and malicious software the weakest link in this security chain is the human user who can be tricked into running unsafe software or leaking access to sensitive data the introduction of ai suddenly makes this a lot more complicated our default model of the last few decades was an unpredictable human interacting with what should be a predictable system with ai participant our unpredictable human is suddenly dealing with an equally unpredictable ai too we need to rethink our approach to security privacy and trust find out more menai menai is a compiled pure functional programming language designed specifically for use by an llm rather than a human inspired by lisp menai is designed to offer llms a powerful sandboxed programming model that can be safely used without supervision it features a custom optimizing compiler and an infinite register virtual machine find out more more projects find all my earlier projects in the projects section latest blog posts humbug comes of age published 2026 01 06 i ve been building humbug for over a year and it s one year this week since i released v0 1 for all that time i ve been planning for a future v1 0 of humbug but no specific version felt like it warranted such a big bang change i started humbug with a view that it could help engineers product managers security analysts etc all collaborate with ai in a new sort of tool that vision has worked out far better than i imagined i now use it daily for building and testing software for reviewing design ideas editing and critiquing specifications assessing third party code and even maintaining my blog site with lots of agentic features and 100k net new lines of code with many hundreds of thousands more that came and went the v0 prefix has been feeling increasingly stale the obvious thing would be to move to v1 0 but i ve been starting to realize that aside from being rather arbitrary i couldn t see an obvious way i d ever move to a v2 0 in the future semantic versioning just doesn t feel right read more i decided to design a functional programming language for llms to use published 2025 09 24 llms are famously bad at counting letters in text they re not very good at complicated maths either but they are pretty good at writing programs that can do these things if they have tools available they sometimes resort to writing python scripts to do this sort of work but those risk the ai doing weird or potentially dangerous things if we could give them a safe programming environment however that would be pretty awesome for a long time i ve wanted to build a pure functional programming language because i could see a lot of uses for it for llms though this would offer the safety i had in mind the language can be very expressive but sandboxed it doesn t need access to filesystems or networks for example instead it can rely on the llm setting up any inputs and interpreting the outputs previously i ve put off trying to build this because it would have taken months to get everything i wanted now of course i could use an llm to help me build this claude sonnet read more building an open source agentic terminal published 2025 09 14 in the last year we ve seen a few agentic development tools being released but most of them have been proprietary so it hasn t been easy to work out what s going on inside them i figured it would be interesting to build something open source and to help me understand them better a lot of software engineers love terminals and i m no exception i have 6 open as i m writing this so i thought an agentic terminal would be fun to explore i wanted to enable both an ai and a human user to be able to interact with a terminal run commands and check results this would give the human user an assistant to help with tasks in the terminal but would also allow the ai to come up with creative ways to help meet user requests where using shell commands would be a good way to help in this post i ll walk you through how i went about building this why i built it the way i did and how i used ai to help do this more quickly read more a path to an ai operating system published 2025 08 11 i m going to try to convince you we need to rethink some of our ideas about operating systems that s a pretty bold concept given that all our major operating systems have been around for a very long time they ve been very effective and have become progressively more capable as hardware has evolved importantly as the base of our software stack operating systems are the single most difficult thing to change because that entire software stack depends on their stability even so my argument is the ai era has already changed a few fundamental assumptions significantly enough that we need to reconsider some things we ve not questioned in years read more structuring my research notes published 2025 08 09 a recurring problem throughout my career has been finding effective ways to keep track of all my research notes as i work on a new problem this week i m going to try something new and add them to this site davehudson io we ll have to see if this works or not read more more blog posts find all my blog posts in the blog section latest open source research notes 2026 07 03 humbug v52 published 2026 07 03 i ve been wanting binary installs for macos windows and linux for a long time as of v52 i now have them for all three read more 2026 06 28 humbug v51 published 2026 06 28 i don t normally release new versions so quickly but v51 has some important bug fixes it also has a ton of code quality improvements that will hopefully limit code style regressions in the future read more 2026 06 24 humbug v50 published 2026 06 24 it s been a while since i posted any notes but most of my focus has been on front end issues and not interesting backend features two big themes today however glm 5 2 and humbug v50 read more more open source research notes find all my open source research notes in the notes section 2014 2026 david j hudson
|
