Symbolic and concrete EVM execution enginehevm hevm is an implementation of the Ethereum virtual machine (EVM) made for symbolic execution, equivalence checking, and (symbolic) unit testing of smart contracts. hevm can symbolically execute smart contracts, perform symbolic equivalence testing, and run arbitrary EVM code. In particular, it can run Documentation & Support User facing documentation can be found in the . We have a public matrix chat room Installing via Static Binaries Static bina... Read more ›
Like gsocket.io but self-hosted. Remote shell to any machine — no public IP, no port forwarding, no VPN. One command install. Read more ›
Information about the latest version of my highly accessible themes for GNU Emacs. Read more ›
Stop Merely Pointing at Ideas • Zettelkasten Method Most people take notes by merely pointing at ideas rather than engaging with them, which produces storage instead of knowledge. The cure is a genuine struggle to capture the complete essence of a single idea, written the way an essayist tries to find their way from A to B. The struggle is not a flaw in the process; it is the process. Read more ›
The productivity upgrade hiding behind my tab addiction. Read more ›
A friend of mine made a cool calculator and unit converter. It parses natural English phrases like “how many inches are in 3 feet?” and “300 miles / 65 mph in hours and minutes” and “download 10GB 1Gbps”. You can access it from web (including PWA), CLI or as a library. It has a strong FOSS philosophy behind it. Read more ›
Security updates have been issued by AlmaLinux (.NET 9.0), Debian (apache2, chromium, jpeg-xl, librabbitmq, and openssl), Fedora (apptainer, bind9-next, chezmoi, chromium, collectd, composer, dnsdist, gh, python-django5, python-python-multipart, varnish, varnish-modules, vmod-querystring, vmod-uuid, weasyprint, and xorg-x11-server-Xwayland), Mageia (cups, expat, libpng, libssh, memcached, nghttp2, openimageio, packages, proftpd, and radare2), Oracle (.NET 10.0, .NET 8.0, .NET 9.0, and firefox... Read more ›
Charlie Holland has a followup to his post on Emacs Help that I wrote about the other day. It’s a reconsidered, condensed version of the original post. As Holland puts it, This is a condensed version of my very long … → Read more ›
Chase Sapphire Preferred and Bilt Obsidian both charge earn transferable points for $95, but they reward different spenders. Here's how to pick the right one. Read more ›
I think you are all somewhat familiar with . It's a framework that describes elevated levels of engagement with information and perfectly captures what we are trying to do with the Zettelkasten Method. There are discussions in the forum that indirectly touch on Bloom's Taxonomy, such as the layers-of-evidence discussion and the Barbell Method of reading. My impression is that the general tendency is to start with the "Apply" layer in the Zettelkasten, as it's the first layer that turns absorb... Read more ›
Over at Ray on Emacs, Raymond Zeitler writes about the Emacs Diary for the June Emacs Carnival. The June topic is underappreciated Emacs built-ins and for Zeitler that’s Emacs Diary. He was a little disconcerted at first by being offered a blank screen for each entry. He wondered where his previous material went but he came to appreciate the fresh start that that blank buffer gave him. He goes on to describes some of the functions and capabilities of Diary. Read more ›
cross-posted from: [ > Here, my summary of key features and decisions of Guix: > > 1. Guix is a package manager that can (optionally) run on top of Linux distributions like Debian or Arch (I use it successfully for both) or other POSIX systems, like cargo, pip, conda or Conan. In difference to the pip and cargo package managers, it is language-agnostic, supports many different build systems and languages, and features around 31000 packages now. > 2. Guix allows to define a fully reproducible ... Read more ›
A minimalist OS based on Ubuntu 24.04 LTS whose sole purpose is to boot directly into Claude Code as the primary interface. TUI only. - mateolafalce/claudios Read more ›
Simple note taking, powerful search, AI ready. Contribute to nico2sh/kimun development by creating an account on GitHub. Read more ›