#PDF of the #documentation for the #SPL systems programming language for #HP’s #HP-3000 line, which looks pretty similar to C and Pascal. #retrocomputing
on 02026-08-27#Tutorial #documentation directory for #Lean 4, starting with the Natural Number Game. #toread
on 02026-06-14You can install #LEAN in a subdirectory with more space by pointing the ELAN_HOME environment variable to it before running elan toolchain install stable or whatever. #documentation #formal-methods
#Rust tuple struct types for static type guarantees (example given is miles vs. kilometers, previously was years vs. days) #documentation
on 02026-05-28Public struct types in #Rust can have private fields. #documentation
on 02026-05-28#PDF scan of Intersil’s #documentation for their 4000-transistor (?) single-chip CMOS #PDP-8, the IM6100.
on 02026-05-26“LEMON Manuals: Even more car manuals for everyone” (Guyana domain) #documentation #automotive
on 02026-05-12“LEMON Manuals: Even more car manuals for everyone” (Laos domain) #documentation #automotive
on 02026-05-12“LEMON Manuals: Even more car manuals for everyone” (Ukraine domain) #documentation #automotive
on 02026-05-12Kia Rondo #automotive repair manuals from “Operation CHARM: Car repair manuals for everyone” #documentation
on 02026-05-12#PDF full manual #documentation for the #PCB-program for #electronics design
on 02026-05-01#PDF refcard #documentation for the #PCB-program for #electronics design
on 02026-05-01#tutorial #documentation for “PCB”. For #electronics design there’s a 43-year-old package called “PCB” which includes a pcb program for PCB layout. #PCB-program
#Epson’s #PDF #reference #documentation for #ESC-P 2; this section describes how to send bit-image or raster #graphics to #printers.
on 02026-04-22#DocTR #documentation: “State-of-the-art Optical Character Recognition made seamless & accessible to anyone, powered by PyTorch” #OCR
on 02026-04-22overview of #Claude Code #documentation including how to install it
on 02026-03-19the #documentation for the ngIRCd #IRC server daemon configuration file, where PongTimeout defaults to an annoyingly short 20 seconds
on 02026-03-06Ed Trager’s old notes from #Unifont about getting #Unicode working in #Linux and #Unix, from the Fribidi days. #documentation
on 02025-12-14how to filter #OSM data to just the features near a given (longitude, latitude) point. #tutorial #documentation #GIS
on 02025-12-02The #Magit #documentation website went down because, the owner says, LLM scrapers drove up AWS hosting costs 5000% last month
on 02025-11-14#GForth #Forth #tutorial #documentation on reading and writing files or grepping them
on 02025-11-11"GNATProve" #formal-methods #documentation #toread
on 02025-11-11410-page #PDF #documentation for #CICS explaining how its #transactions work
on 02025-11-11The #LuaJIT #FFI #documentation
on 02025-10-27"Literate Tracing", a #PDF #paper on “a paradigm for program #documentation that we call literate tracing,” which inserts diagrams of your data structures into your docs? #toread #literate-programming
on 02025-10-21#Documentation for #Love2D’s function to tell if a mouse button is down or not.
on 02025-10-21#documentation for #Scribunto’s debug console (REPL). I didn't know you could <syntaxhighlight lang="lua"> on #MediaWiki.
#PDF #documentation about the new 102.4Tbps #Broadcom #networking switch (2 page product brief, not a datasheet) #electronics #hardware
on 02025-10-09System.Console.ReadLine in #C# doesn’t actually read from the system console, but stdin. But only up to 254 characters by default! And it can still throw an OutOfMemoryException! “Reads the next line of characters from the standard input stream. (...) If standard input is redirected to a file, the ReadLine method reads a line of text from a file. (...) After compiling the example to an executable named ReadLine1.exe, you can run it from the command line to read the contents of the file and display them to the console. The syntax is: ReadLine1 < ReadLine1.txt” #documentation
"Zutty" #terminal emulator FAQ #documentation: “Zutty has a number of interesting properties. It is a terminal with accurate VT support, high performance, low latency, a small codebase and is potentially compatible with a wide array of contemporary graphics hardware. This combination is, as far as I am aware, a unique proposition.”
on 02025-10-02Complete #ARM #SIMD #asm intrinsics list, including the strided things. Reference #documentation.
on 02025-09-28This is the #ARM #documentation for the MOV32 pseudo-instruction consisting of MOV (now we call it movw) and #MOVT.
#ARM #documentation on loading constants in #asm, using constant pools, MOV, MVN, etc. “MOV can load any 8-bit constant value, giving a range of 0x0-0xFF (0-255). It can also rotate these values by any even number.” Adjacent sections of the manual explains LDR with constant pools and the MOV32 pseudo-instruction.
#Valgrind #documentation on the Callgrind ASCII #file-format
on 02025-09-09restarting a stopped #Docker container uses docker start -ai containername #documentation
#documentation for making a #screencast with #ffmpeg
on 02025-08-30#documentation for encoding #H264 with #ffmpeg
on 02025-08-30"Playwright" “enables reliable end-to-end #testing for modern web apps.” It lets you puppet #browsers to automate web browsing, similar to #Selenium. #documentation #toread
on 02025-08-27#documentation for #skimage #morphology operators showing results on a sample image
on 02025-08-27#PDF #documentation for #HP "IBASIC", instrument #BASIC, to run on your 8712ET/ES or 8714ET/ES RF network analyzer. #electronics
on 02025-08-27some #documentation for #LuaJIT probing functions
on 02025-08-27The #Rust official #documentation ("The Rust Programming Language") recommends crashing when your command-line arguments aren’t valid #UTF-8! #Unicode #braindamage
on 02025-08-23#Don-Lancaster’s #tutorial #documentation for his #PostScript utility routines. #PDF
on 02025-08-10#PostScript level 3 reference manual #documentation #ebook #PDF
on 02025-08-10#documentation for #nushell, a #Unix #shell designed to be a programming language
on 02025-07-30#NumPad #calculator #documentation
on 02025-07-27#PDF of the #documentation for the Zenrom addon to the #HP #41C pocket calculator or handheld computer from 01979, documenting its CPU instruction set, etc. #retrocomputing #history #architecture
on 02025-07-23#Hypothesis #documentation for strategies #PBT
on 02025-07-23main #documentation for #Apache mod_rewrite
(import modulename) is how you import modules in #Chicken #Scheme. #documentation
#Chicken #Scheme has modules so you can (import (chicken random)) to use random numbers. #documentation
#C# string comparison #tutorial #documentation. “(...) the most common operations[,] String.Equals[,] String.Equality[,] and String.Inequality, that is, equality operators == and !=, respectively perform a case-sensitive, ordinal comparison. (...) Many string comparison methods (such as String.StartsWith) use linguistic rules for the current culture by default to order their inputs.” Also demonstrates Array.Sort and List<string>.Sort with a StringComparer, etc. #equality
#C++ #documentation for unique_ptr with a #tutorial extended example
more #C# #LINQ #queries #tutorial #documentation: IEnumerable<string> highScoresQuery2 = from score in scores where score > 80 orderby score descending select $"The score is {score}"; “A query expression must begin with a from clause and must end with a select or group clause. Between the first from clause and the last select or group clause, it can contain one or more of these optional clauses: where, orderby, join, let and even another from clauses.”
more #C# #LINQ #queries like IEnumerable<int> scoreQuery = from score in scores where score > 80 select score; for which this is Microsoft’s #tutorial #documentation
the #documentation for Brian Reid’s Scribe runoff program #retrocomputing #history #toread
on 02024-11-15the #documentation for Larry Tesler’s PUB programmable runoff program on TENEX which inspired Scribe and TeX. #retrocomputing #markup #history #toread
on 02024-11-15#PDF of #ngscopeclient super oscilloscope software #documentation (312 pp.) for #electronics
on 02024-09-23#PDF of #documentation for "dtksh", the Desktop KornShell which you could use to write Motif applications as shell scripts
on 02024-09-11#PDF #ebook of #PostScript Language Reference Manual. #reference #documentation
on 02024-07-04Offline #CC licensed versions of the #cppreference site, which it turns out covers not only the #C++ standards but also the #C standards. Already in Debian as cppreference-doc-en (but seven years old) and with online downloadable archives as well (the latest of which is a few weeks old and only 6MB). #reference #documentation
on 02024-06-30the main #documentation on how to use #Z3, including for #optimization #SAT #SMT
on 02024-06-23#Z3 #tutorial #documentation that covers things like validating numerical approximation algorithms and training neural networks with it #SAT #SMT
on 02024-06-23Leonardo de Moura’s #tutorial #documentation #introduction to #Z3 in Python. It starts out focusing on things like integers, real numbers, and arbitrary precision, but then moves on to bitvectors, bit-twiddling hacks, sudoku, N-queens, and package management. #SAT #SMT
on 02024-06-23maybe this is the best introductory #tutorial link for #Hypothesis #documentation #PBT
on 02024-06-23is maybe the best introductory #tutorial link for #Hypothesis #documentation #PBT
on 02024-06-23Microsoft's #tutorial #documentation for #C++’s new (as of 13 years ago) range-based for statement. Recommends for (const auto& y : x) or, when necessary, the non-const version.
aha, #C++ since C++11 now has the Java-like for (auto flust : flusts) { ... } syntax. It uses the preincrement operator to increment the iterator, != to test for termination, and flusts.begin() and flusts.end() for the bounds, or if those aren’t found, begin(flusts) and end(flusts) (plus there’s a special case to let flusts be a bare array). The flusts expression lives until the end of the loop, but temporaries within it don’t (except in C++23). But until C++17 you couldn’t iterate over a nul-terminated string with this syntax without defining a special iterator for it. #documentation
std::make_unique is the easiest way to make a unique_ptr in #C++. Also one of the examples says the boring constructor for an example struct is “no longer needed since C++20”. #documentation
More detailed #tutorial #documentation about #C++ std::unique_ptr, for which it recommends using auto p1 = make_unique<Class>(ctor args); and auto p2 = std::move(p1);. Oh also apparently there's Java-like iteration syntax in C++ now: for (const auto& song : songs) {...}.
Smart pointers in #C++ come from <memory>. #Tutorial shows examples with std::unique_ptr, which it recommends as the default choice for “POCO”. Never create them in a parameter list because it isn’t exception-safe. std::shared_ptr adds a reference count, and std::weak_ptr provides weak access to a shared_ptr object. #documentation
the cppreference site is licensed #CC BY-SA. #C++ #documentation
on 02024-06-21#Godot 4 #compute-shaders #tutorial #documentation. Apparently you have to write GLSL in an external text editor and then make a RDShaderSPIRV with load("res://foo.glsl").get_spirv() and then pass it to RenderingDevice.shader_create_from_spirv.
#documentation on #tilesets from the proprietary software Tilesetter
on 02024-05-26#tutorial #documentation on #Godot #tilesets (used in tilemaps)
on 02024-05-26#tutorial #documentation on #Godot tilemaps (using #tilesets)
on 02024-05-25the 12940-page (!!) #PDF #documentation for #ARM A-profile (DDI0487)
on 02023-10-06the #documentation for #Scheme #performance in #Racket
on 02023-09-02#documentation for #gas #asm #macros, including an example that counts
on 02023-07-15the #perf #documentation #tutorial, which explains -e cycles:u and the like.
on 02023-07-03#documentation for the Medley #Lisp IDE for #Interlisp #retrocomputing
on 02021-11-12#AMD #ROCm #GPGPU #documentation
on 02021-11-02#documentation for the #GDB #debugger’s record-replay backward stepping #reverse-debugging
on 02021-02-03#WebGL #documentation online; this particular page is for built-in functions that return approximate partial derivatives of an arbitrary computed quantity relative to the window x and y coordinates in a fragment shader.
on 02016-04-29The #Python 1.5.2 (p2) #documentation, 2000-03-22 edition. #history
on 02016-04-18