good #electronics #introduction #tutorial #video #formina maybe
on 02026-08-24#video #introduction to the #Hermes agent, which apparently is a more popular alternative to Pi and #OpenClaw #toread
on 02026-07-31“Coding theorists are concerned with two things. Firstly and most importantly they are concerned with the private lives of two people called Alice and Bob.” From 01984, giving an #introduction to #compression and #crypto. #humor
on 02026-07-3002019 #introduction to #LaTeX and #TeX.
on 02026-04-29#video #introduction to #Helix, including the new “gw” feature that lets you jump to any word on the screen by typing two letters, taken from an editor called Amp, also reportedly available in Emacs as “Avi”. He shows off some of the #LSP and #tree-sitter features. They’re working on a #Lisp scripting language called Steel for Helix. #editors
on 02026-04-25another #tutorial #introduction to #sc, this one in #PDF
on 02026-04-08#tutorial #introduction to #sc
on 02026-04-08#Veritasium #introduction #video to #asbestos health risks and #history, including Irving Selikoff’s finding in the 01960s that 1.4% of wartime shipyard workers died of #mesothelioma and other asbestos-related #cancer, presented at a conference in 01964, but also covering recent findings about non-quantified risks of natural asbestos exposure.
on 02026-03-12#introduction #tutorial #video for tapestry #crochet, making an 18×18 mushroom on a green background. #fiber-arts
on 02026-01-03#introduction #video for #slide-rules, but only using A, B, C, and D scales, no CI, CIF, DI, L, etc. So just showing multiplication, division, squares, and square roots, and not by the most efficient procedure, by Encyclopaedia Britannica Films, filming Harvey E. White, Professor of Physics, University of California
on 02025-11-27#introduction to #Smalltalk. “Unlike Perl, I actually did use Smalltalk to build a few real applications that had real users. I miss it a lot.”
on 02025-11-05LWN’s 02015 #introduction to how #ELF loading works
on 02025-10-28#introduction to #dynamic-linking from 14 years ago
on 02025-10-28#introduction #tutorial to #Cedarling (in Wasm) in #JS. “To perform an authorization check, follow these steps:” #security #toread
on 02025-10-02#hardware #simulation #video by Sebastian Lague extending a simple store-ALU-output-in-A-or-B computer to have 256 bytes of simulated RAM. Includes a nice #introduction to SRAM and DRAM etc.
on 02025-04-12#introduction to unique_ptr in #C++
#video on #Chinese Mandarin #pronunciation #introduction
on 02024-10-18#video from November on diy #drones and #weaponry in #Ukraine, in the drone labs. Largely talking-head footage though. Claims that they gave Ukraine an “edge” that “leveled the playing field”. Mentions friends of soldiers in Ukraine organizing fundraisers on Instagram. Mentions that they’re using “signal booster drones” to counter jamming, and an SBIR for “a lethal payload capability that can be deployed on a small unmanned aerial system (sUAS)”. A pretty reasonable #introduction if you don’t know anything.
on 02024-06-25#PDF #introduction to #pericyclic #gears
on 02024-06-24Leonardo 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-23#lcamtuf’s #introduction to #Atmel #ARM ATSAMS70J21 #hardware bringup from a year ago. “On an 8-bit MCU, adjusting the clock is trivial; on the SAM S70, you can try some online examples, realize that they’re all wrong, and then spend several hours nose down in the 2,000 page datasheet. (...) The first revelation is that 300 MHz is the maximum clock for the processor core (HCLK), not the entire device. There is an internal bus used by the flash memory controller and other built-in peripherals, and that bus can’t run faster than 150 MHz; this fact is helpfully mentioned on page 1852 of the spec.” #microcontroller
on 02024-03-06#introduction to #TI #68000 #calculators
on 02023-07-08#Tutorial #introduction to #ARM #asm using gas, directed toward #GameBoy Advance hacking. A bit rough-and-ready but only 22000 words. Covers add, ldr, ldmia, b, cmp, mov, lsl, lsr, asr, ror, sub, strh, bl, bx, conditions (-ne, -lt, and -ge), the -s suffix for setting flags, conditional instructions, the (even-bit-shifted) byte-sized immediate limitation, inline shifts, write-back (preincrement and postincrement) addressing mode, and Thumb, and finally the whole instruction set and a GBA optimization guide.
on 02023-07-01#Charity’s retrospective #introduction to #observability in 02021. “The world doesn’t need another classification word for existing data types. And it doesn’t need another synonym for “telemetry” or “insights.” But there is a coherent set of practices that started to emerge about five years ago, in response to changes in how we build modern systems — particularly microservices. Those practices are a fairly discontinuous leap from their heritage of using metrics and logs. In fact, some of the best practices are exactly opposite those of monitoring, and the respective data formats used are entirely incompatible. Those practices do need a word.”
on 02021-11-11#SEM #microscopy #introduction, covering issues like critical-point drying, field emission vs. thermionic, magnetic astigmatism, secondary electron noise, #vacuum, etc.
on 02021-11-11#PyOpenCL #introduction in DDJ from 02013. #OpenCL #GPGPU
on 02021-11-03comments on an #introduction to the #Z3 #SAT #solver
on 02019-02-15#Gray-Scott #reaction-diffusion #introduction
on 02019-02-01#fecebutt “The Messenger Platform is your toolbox for building bots” #introduction
on 02019-01-27an #introduction to #formal-methods with #Coq
on 02017-11-25#Introduction to #git-ssb (#Git using #secure-scuttlebutt for #decentralization)
on 02017-07-31#PDF of the 1986 #introduction to the phase #vocoder that launched a million #DSP careers and AutoTune
on 02017-07-01Hortonworks’ #Kafka #introduction: “a fast, scalable, durable, and fault-tolerant publish-subscribe messaging system”
on 02017-06-18Cloudera’s #Kafka #introduction: “a distributed publish-subscribe messaging system that is designed to be fast, scalable, and durable.…Messages are simply byte arrays…It is possible to attach a key to each message”
on 02017-06-18#SAT #solver #introduction with implementation in Haskell.
on 02017-06-07#Introduction to #H-bridge #hardware for driving #motors #toread
on 02017-05-19#Introduction #appnote #PDF on driving stepper #motors from NXP/Philips #hardware
on 02017-05-19#introduction series of videos on #machine-learning, discussion thread
on 02017-05-19#ebook #introduction to #Clojure called "Clojure for the Brave and True"; this section is on using Emacs
on 02017-05-11The "MGR" window manager was an alternative GUI (or GUI substrate) to X11 back in the late 80s and early 90s; this is an #introduction and some source code. It had some interesting features, like working well over low-bandwidth lines.
on 02017-03-29“Fast Base64 encoding/decoding with #SSE #vectorization”, supposedly the best #introduction to SSE
on 02017-03-22telegraphic #introduction to #UEFI programming with the EDK II in somewhat broken English
on 02016-10-23#Introduction to #UEFI (really EFI) programming with the EDK or EDK II: a hello-world program.
on 02016-10-23#deep-learning #introduction: “[The] [t]op [5] deep learning papers on arXiv are presented, summarized, and explained with the help of a leading researcher in the field.” #toread
on 02016-10-11Short #introduction to how virtual memory works, mostly for novices but also explaining why strict overcommit works so poorly in #Linux
on 02016-10-10#introduction to common #chess tactical motifs: pinning, skewering, underpromotion, sacrificing, etc.
on 02016-10-07#Introduction to #chess opening strategy, recommended highly on reddit
on 02016-10-07a simple #introduction to the Fourier transform, part of an #ebook on #DSP. The formatting is exemplary. #math
on 02016-09-23#Introduction to #GDB, or really the interfaces it uses, by Julia Evans
on 02016-08-11Guerrilla guide to #CNC #machining, mold making, and resin casting, by Michal Zalewski (Michał Załewski?, aka #lcamtuf @coredump.cx). #manufacturing #introduction
on 02016-08-11a much better, though perhaps somewhat outdated, #Tandem #FAQ with a very good #introduction to Tandem systems. Actually I think the other FAQ I found was a newer or older version of this one; it mentions how “72GB disks are expected in future”, and says “Only recently, with the Pentium,” which probably dates it to about 1996, although another part of the FAQ talks about things that are “scheduled to ship in Q3, 2002”, dating that part to 2001 or 2002. Until the Dxx release, you were limited to 256 processes on a CPU because the PINs were 8-bit; a PID contains the CPU number and the PIN. Enscribe’s disk space allocation scheme sounds fairly manual; a file consists of some small number of physically contiguous extents, and you specify up front how big they will be. suid exists on Tandem, but it’s called PROGID; $PATH exists but is the #PMSEARCHLIST TACL built-in; [foo] is $foo; zombies exist; $SYSTEM.SYSTEM.USERID passwords are crypted with DES, though not by default. Apparently numeric “file codes” are used to identify file types; codes 100 through 999 are reserved for the system. A “persistence manager” process called $ZPM is responsible for restarting “persistent” processes that fail, like svc or init. Root exists, but is called the “super id”.
on 02016-08-08#Introduction to #analog #hardware #simulation with #SPICE
on 02016-07-13Another #JTAG #introduction. #hardware
on 02016-07-12#Introduction to #JTAG, explaining what boundary scan is, showing the TAP controller state diagram, listing the standard instructions and registers. #hardware
on 02016-07-12A surprisingly good #introduction to #self-replicating machinery.
on 02016-05-26#introduction to amateur #astronomy with optical #telescopes
on 02016-05-24a “non-technical” #introduction to #machine-learning.
on 02016-03-29a longer #introduction to #accounting (and bookkeeping)
on 02016-03-08#pdf #introduction to local-search #optimization; 41 #slides. “If you want to pick one local search algorithm, learn hill-climbing with random restarts!” Defines “hill-climbing” in a way that excludes continuous state spaces, and always chooses the best neighbor, rather than picking any better neighbor.
on 02016-01-13Quick #pdf #introduction to #gradient-descent #optimization #algorithms.
on 02016-01-13#paper #pdf #introduction to the SLAM (“simultaneous localization and mapping”) #robotics problem and the #algorithms for solving it, focusing on extended #Kalman-filters using a range measurement device. SLAM is the process of building some sort of model of the world your robot is in while also figuring out where you the robot is in that world. Unfortunately, this overview is from 2005, more than ten years old now, before the particle-filter revolution.
on 02016-01-11#introduction to improving #JS #performance with #canvas
on 02016-01-08very basic #introduction to #CNC #machining
on 02016-01-06an #ebook #introduction to #OCaml.
on 02015-11-16an #introduction to the #Magit user interface for #Git.
on 02015-10-29#PDF #introduction to solving systems of #linear-equations, including an overview of why this is a useful thing to do, Fortran code for Gaussian elimination (18 lines of code), LU factorization, explanation of ill-conditioned systems, and equations explaining Gauss-Seidel, Jacobi, and successive over-relaxation iterative solving, with the last in 25 lines of Fortran. Seems to be a draft from 2009.
on 02015-09-18an #introduction to #wavelets as an IPython notebook
on 02015-09-17#introduction to core.logic, the implementation of #miniKanren #logic-programming that’s in the #Clojure standard library. This has the major advantage over the other introductions I’ve found that it starts with explaining the usage of miniKanren, rather than the implementation. #KANREN
on 02015-09-16a 34-page #pdf #introduction to #splines, by Carl de Boor. “‘B-spline’ refers to a certain spline of minimal support and, contrary to usage unhappily current in CAGD [computer-aided geometric design], does not refer to a curve which happens to be written in terms of B-splines.”
on 02015-09-01a 2012 (?) #introduction to #particle-filters, with lots of math and nothing about applications.
on 02015-08-30"Making Pictures With GNU #PIC", by ESR. An #introduction to pic syntax and semantics. (I didn’t know you could embed shell commands in it!) Unfortunately pic doesn’t do autolayout, and although groff’s nroff -p kind of works, the text isn’t nicely fit into boxes, and the arrowheads aren’t displayed as recognizable arrowheads, so pic isn’t a useful way to make ASCII-art bubble-and-arrow diagrams. (-Tutf8 and -Tascii are the options.)
Benjamin Pierce’s #introduction to #Coq for #formal-methods, part of an #ebook on the subject. At least the beginning of this chapter seems pretty approachable, much more so than the stuff I’ve seen about ATS and whatnot.
on 02015-08-25An #introduction to conditional random fields. #machine-learning "CRF Introduction"
on 02015-08-23Tony Marston’s (aka TopMind I think) #introduction to his “#table-oriented programming” paradigm that he’s been evangelizing for like 20 years now.
on 02015-08-17#Introduction to simple, efficient interpreters in #Haskell using the #CEK machine (control, environment, continuation) model of the #lambda-calculus.
on 02015-08-15“Practical Foundations for Programming Languages”, an #introduction #ebook to #type-theory for #formal-methods. 2012 to 2014.
on 02015-08-14an #introduction to “#Stochastic-calculus, the branch of mathematics that is most identified with financial engineering and mathematical finance” explaining Brownian motion, martingales, stochastic integrals, etc. #trading #paper #toread
on 02015-08-13This #tutorial #introduction to A* #pathfinding #search for #video-games programming, by @redblobgames, has interactive demonstrations! I don’t remember those from before! The #UX somewhat lacks affordances to indicate that the things in the illustrations are draggable, so the text has to tell you, but in many other ways, these are among the best #visualization of #algorithms I’ve ever seen.
on 02015-08-13