Using Abstract Data Types in TLA+https://www.hillelwayne.com/post/tla-adt/
Skip to Content Blog Projects Talks Consulting About Newsletter Learn TLA+ New: Logic for Programmers is now content-complete and in the hands of the copy editor! Get the curr
In my 2021 TLAConf Talk I introduced a technique for encoding abstract data types (ADTs). For accessibility I’m reproducing it here. This post is aimed at intermediate-level
Removing setup.cfg from my Python projecthttps://astharoshe.net/2025-01-04-Removing_setup_cfg_from_my_Python_project.html
Index RSS Removing setup.cfg from my Python project Yesterday, I posted about my adventure in learning to package and publish Python code. My first try was successful; I created a
The TTY demystifiedhttp://www.linusakesson.net/programming/tty/
linusakesson.net (show navigation) (hide navigation) Swedish content Site search: Navigation Home & news Random page All pages Databases Fortune&
Eric - a calculatorhttps://shawnhargreaves.com/eric/
Eric - a calculator I wrote this program partly to scratch an itch (I've been failing to find a calculator utility with just the right feature set for years), but also as an exerc
2017: September - December Political Notes - Richard Stallmanhttp://stallman.org/archives/2017-sep-dec.html
RSS site feed Richard Stallman's personal political notes from 2017: September - December These are my personal opinions and do not speak for the GNU Project, the FSF, or anyone e
The WWW Virtual Libraryhttp://vlib.org/
The WWW Virtual Library : en · es · fr · zh The WWW Virtual Library Quick search: Agriculture Irrigation, Livestock, Poultry Science, … The Arts Art
Tiny Core Linux - Indexhttps://forum.tinycorelinux.net/
Welcome | FAQ | Downloads | Wiki Tiny Core Linux Welcome, Guest . Please login or register . Did you miss your activation email ? 1 Hour 1 Day 1 Week 1 Month Forever Login with us
Tiny Core Linux - Index
crawshaw bloghttps://crawshaw.io/
Blog: David Crawshaw 2026-05-07 The agent principal-agent problem 2026-04-22 I am building a cloud 2026-02-08 Eight more months of agents 2025-06-08 How I program with Agents 2025
IBM SAGEhttps://ed-thelen.org/comp-hist/vs-ibm-sage.html
Return to "Visible Storage" *** Please note: This website (comp-hist) was completed before I found out about Wikipedia in 2002. Since then I have added material occasionally. Item
Matt's Script Archive: nms Projecthttps://www.scriptarchive.com/nms.html
Matt's Script Archive: nms Project Other sites by Matt: FormMail.com - hosted form processor Matt's Script Archive For
Why Futhark?https://futhark-lang.org/
The Futhark Programming Language High-performance purely functional data-parallel array programming Overview Examples Docs Publications Gotta Go Fast! Get Involved Blog Fork me on
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
Program - Balisage 2018https://www.balisage.net/2018/Program.html
Balisage Speaker/Author Bios Registration includes breakfast, lunch, and coffee breaks Preconference Symposium Symposium on Markup Vocabulary Ecosystems: a Balisage pre-conference
The program for Balisage: The Markup Conference 2018
Find more...