| Name | Brief | Tags |
|---|
| 3-iamb | Conatus trimetro iambico. | _Aloof as stardust rains_ _Are memory dim prints_ _Eliding tensed face_ _By shad ... | |
| 3-lisp | 3-lisp: an infinite tower of meta-circular interpreters. | Source Précis 3-LISP is a dialect of LISP designed and implemented by Brian C. ... | programming |
| adaptive-replacement | adaptive replacement | „adaptive replacement better than Working Set?“ has (an implicit) idea: VM page ... | kernel programming vm |
| affinity | Weekend affinity. | Groups usually come with homomorphisms, defined as mappings preserving multiplic ... | math |
| an-exercise | An exercise | Here is a little problem. Given an array \(A\) of \(N\) integers, find a sub-arr ... | math programming |
| aodt | What is cosh(List(Bool))? Or beyond algebra: analysis of data types. | There is that curious idea that you can think of a type in a programming languag ... | math programming |
| bsd-vm | BSD VM scanner | BSD vm analyzes object reference counter in page scanner (vm_pageout.c:vm_pageou ... | kernel programming vm |
| catalan | Generating Catalan numbers. | Enumerate all binary trees with N nodes, C++20 way: #include <memory>
#include < ... | programming |
| cographs | Cographs, cocounts and coconuts. | _Abstract_: Dual of the familiar construction of the graph of a function is con ... | math |
| commutativity | Blindsight spot. | I just realised that in any unital ring commutativity of addition follows from d ... | math |
| compound-literals | __VA_ARGS__ + C99 compound literals = safe variadic functions | It occurred to me that new C features added by C99 standard can be used to imple ... | programming |
| concurrency-and-recovery | Concurrency Control and Recovery in Database Systems | Concurrency Control and Recovery in Database Systems by Philip A. Bernstein, Vas ... | programming |
| confessions-microsoft | Confessions of Microsoft developer | As a simple example, when Windows started up, it increased the size of msdos's ... | programming |
| could-be-done | It could be done | "The late André Bensoussan worked with me on the Multics .... We were working o ... | programming |
| cue | Cue a key | There is a typical problem with Emacs experienced by people frequently switching ... | programming |
| donne | Translations. | Licence my roving hands, and let them go, Before, behind, between, above, below. ... | |
| doors | threads, contexts and doors. | Paul Turner gave a talk about new threading interface, designed by Google, at th ... | programming |
| eculid | Euclid continuity | Let's talk about one of the simplest, if not trivial, subjects in the oldest and ... | math |
| exercise | a trivial exercise. | Let's find a sum \sum_{n=1}^\infty {1\over{n(n+2)}} There is a well-know standar ... | math |
| ext3-magic | ext3: magic, more magic. | ext3 htree code in Linux kernel implements peculiar version of balanced tree use ... | fs kernel programming |
| feminism | Review of Feminism, Interrupted: Disrupting Power by L. Olufemi | [>>> "_feminism means freedom, it means the right to be ... incoherent_", p. 71] ... | nonsense |
| forbidden | you have a strange forbidding feeling... | [Updated: 2005.07.24] A scary thing happened to me: my first thought, while look ... | |
| gcc-13-bug | gcc-13 bug | I hit what more and more looks like a bug in the standard Ubuntu 24 gcc version. ... | programming |
| gcc-error-message | gcc error message | Quite some time ago (in the previous century), gcc greeted me with the following ... | c++ programming |
| gdb | the power of gdb | Yesterday I was running long file system stress test (fsx if you want to know) w ... | hacking osx programming |
| golang | Why Go is Not My Favorite Programming Language | _Disclaimer_: this article shares very little except the title with the classica ... | programming |
| greenway | The Cook, The Thief, His Wife and Her Lover go to the masses. | Yesterday [2005/04/21], Russian nation-wide TV Channel Россия, broadcast Peter G ... | cinema |
| hunt.1 | The Hunt for Addi(c)tive Monster | This is another spurious post about mathematics that happened instead of somethi ... | math |
| hunt.2 | The Hunt for Addi(c)tive Monster 2. | In the previous post, we were looking for _a monster_—a nonlinear additive funct ... | math |
| inaccessible-cardinals | Inaccessible Cardinals | [>>>„On the Consistency of Choice for Strongly Inaccessible Cardinals.“] [>>>„О ... | Pope math |
| inactive-dirty | inactive_dirty and inactive_clean are considered harmful | Found interesting discussion on linux-mm (Sept. 2002): AKPM and Rik ("inactive_d ... | kernel programming vm |
| iso | Unexpected isomorphism. | Since Cantor's "I see it, but I cannot believe it" (1877), we know that \(\mathb ... | math |
| later-360 | 360 years later or „Скрещенья ног“ | In 1896 Paul Gauguin completed _Te Arii Vahine_ (_The King’s Wife_): From many ... | |
| leisure | Leisure pace of progress | Recently I found a paper in ACM Library describing two distributed file systems ... | programming |
| lessons | A bit of out-of-context quoting | Lessons Learned Solaris has been functioning, essentially, by accident, for over ... | programming |
| limit-eval | limit and evaluation | Let \(D\) be a category with functorial limits of functors from some category \( ... | math |
| liouville | Publish or Perish in style. | Joseph Liouville, a famous French mathematician, whom multiple important theorem ... | math |
| long-division | Long [story of] division. | The following text can be viewed as extremely dry and intimidating, or, equally, ... | math programming |
| maclane | S. MacLane died | Saunders MacLane passed away on the morning of April 14. ... | math |
| macro | A macro. | C language is wonderfully profound. After almost 20 years, I still find new ways ... | programming |
| mm-units | A look at several memory management units... | An interesting paper (via Muli Ben-Yehuda) that describes, in particular, VM org ... | kernel programming vm |
| modest-proposal | A Modest Proposal: For Generalizing the Field Access in C Programming Language, and for Making It Beneficial to the Public. | [This is an old and never finished draft. HTML produced by asciidoc.] A Modest P ... | programming |
| monster-desktop | A monster desktop | Screenshot of my desktop while running 5 node UML cluster: ... | programming |
| named | named formals | Another C99 abuse: _named formal parameters_: int foo(int a, char b)
{
p ... | programming |
| opahead-patch | opahead patch | Here is a 2.6.15-rc1 version of _opahead_ patch that was sleeping in my patch-sc ... | kernel programming |
| page-tickets | page tickets | Mach VM had (or still has if Mac OS X counts) an interesting detail in its VM sc ... | kernel programming vm |
| parmigianino | Parmigianino faces. | An angel from Madonna with the long neck (1535): An unidentified girl from Ante ... | |
| patches-2.6.12 | kernel patches for 2.6.12-rc6 | After long delay I updated my kernel patches to 2.6.12-rc6. This required instal ... | kernel programming |
| patches-update | Update of my kernel patches for 2.6.14-rc5 | New version of patches is uploaded here. This series include: `vm_02-skip-writep ... | kernel programming |
| plug-crash | plug and crash | I had some problems in my local network to-day, so I had to turn off the switch. ... | kernel programming |
| purelisp.introduction | purelisp: introduction | Some time ago (I just re-checked and... Good Lord it was in October of 2003, tim ... | LISP programming |
| purelisp.object-types | purelisp: object types | As was noted in the previous card, objects in purelisp are partitioned into disj ... | LISP programming |
| python-dict | A Python: it is dictionaries all the way down. | def drill():
return defaultdict(drill) ... | programming |
| qm | When people used to care about the quality of presentation | From Errata to Dijsktra's A Primer of Algol 60 Programming. ... | |
| question | The Question of Life, The Universe, and Everything. | 'How old is that horse, my friend?' inquired Mr. Pickwick, rubbing his nose with ... | |
| reiser4-internal | reiser4: 1. internal tree | This continues previous entry: introduction 0. B-trees overview B-tree is am umb ... | fs programming reiser4 |
| reiser4-introduction | reiser4: 0. introduction | This is an introduction to the series of entries I am going to write about reise ... | fs programming reiser4 |
| repaging-aix | Repaging in AIX VM | _Repaging_ was mentioned to me by Rik van Riel long time ago. How this can be im ... | kernel programming vm |
| riemann | Riemann hypothesis, DIY | Continuing with useless exercises, let's look at prime numbers. We shall use Has ... | math programming |
| rsx | RSX | [expanded. 2004.03.25] Lately, I looked through sources of RSX _executive_ at bi ... | kernel programming |
| side-effete | Side with effete. | More of „I know C better than you!“ stuff. I just discovered (the verb is deeply ... | programming |
| stack-queue | A curious case of stacks and queues. | When studying computing science we all learn how to convert an expression in the ... | programming |
| treadmill | Treadmill | _Treadmill_ is a "real-time" in-place garbage collection algorithm (PDF, Postscr ... | programming |
| unintentionally | Unintentionally yours. | Extension. This post is about set theory, which is a framework to reason about c ... | math |
| usched | usched: stackswap coroutines, neither stackful nor stackless | [Please read the _update_.] This repository (https://github.com/nikitadanilov/us ... | programming |
| usched.algol68 | usched and Algol-68: a connection | usched is a light-weight cooperative-multitasking-coroutine library that I wrote ... | programming |
| usched.update | usched: update | _Update_ for the previous post about stackswap coroutine implementation usched. ... | programming |
| vale | Vale of tears. | Consider a system describing possible computations (e.g., a programming language ... | programming |
| voice | A voice of the reason from the distant past | Dedicated to VM and file system developers and researches... It is immediately a ... | kernel programming vm |
| wikipedia | Wikipedia | I added a bit of material to the Wikipedia entry on Page replacement algorithms: ... | programming |
| windows-collapse | Why windows will collapse ultimately | `Subject: [ntdev] WdfUsbTargetDeviceSendControlTransferSynchronously and timeout ... | programming |
| working-set | working set is not relevant | [Updated: 2005.07.24] The key point of working set algorithm is not _virtual tim ... | programming vm |
| xnu-vm | XNU VM | XNU (OSX kernel) VM scanner marks vnodes as `(vp->v_flag & VHASBEENPAGED)`. `wri ... | kernel programming vm |
| zero | Zero everywhere. | (студенческая олимпиада МФТИ по математике, 2013, задача 3) Предположим, что \( ... | math |
| zero-overrated | Zero is overrated | Define a sequence of functions \(P_i:\mathbb{R}^+\rightarrow\mathbb{R}\), \(i\in ... | math |
| грозный | Грозный | "Чешский археолог Бедржих Грозный (1879--1952), который в 1915 г. расшифровал х ... | |
| деревья | Деревья по кругу. | _Abstract_: orbits of an endomorphism of a finite set are represented as connec ... | math |
| электричество | Если бы я знал, что такое электричество... | (Posted at Борис Борисович™ LJ community) Одним душным предгрозовым вечером 24-г ... | |