NameBriefTags
2003/12/23adaptive replacement„adaptive replacement better than Working Set?“ has (an implicit) idea: VM page ...kernel   programming   vm
2005/03/24RSX[expanded. 2004.03.25] Lately, I looked through sources of RSX _executive_ at bi ...kernel   programming
2005/03/31the power of gdbYesterday I was running long file system stress test (fsx if you want to know) w ...hacking   osx   programming
2005/04/05page ticketsMach VM had (or still has if Mac OS X counts) an interesting detail in its VM sc ...kernel   programming   vm
2005/04/11.09:45purelisp: introductionSome time ago (I just re-checked and... Good Lord it was in October of 2003, tim ...LISP   programming
2005/04/11.10:32purelisp: object typesAs was noted in the previous card, objects in purelisp are partitioned into disj ...LISP   programming
2005/04/12Inaccessible Cardinals[>>>„On the Consistency of Choice for Strongly Inaccessible Cardinals.“] [>>>„О ...Pope   math
2005/04/12.11:58gcc error messageQuite some time ago (in the previous century), gcc greeted me with the following ...c++   programming
2005/04/17S. MacLane diedSaunders MacLane passed away on the morning of April 14. ...math
2005/04/22The 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
2005/05/26Если бы я знал, что такое электричество...(Posted at Борис Борисович™ LJ community) Одним душным предгрозовым вечером 24-г ...
2005/06/11kernel patches for 2.6.12-rc6After long delay I updated my kernel patches to 2.6.12-rc6. This required instal ...kernel   programming
2005/06/26you have a strange forbidding feeling...[Updated: 2005.07.24] A scary thing happened to me: my first thought, while look ...
2005/07/23working set is not relevant[Updated: 2005.07.24] The key point of working set algorithm is not _virtual tim ...programming   vm
2005/07/24limit and evaluationLet \(D\) be a category with functorial limits of functors from some category \( ...math
2005/07/25Repaging in AIX VM_Repaging_ was mentioned to me by Rik van Riel long time ago. How this can be im ...kernel   programming   vm
2005/07/25:15:40Concurrency Control and Recovery in Database SystemsConcurrency Control and Recovery in Database Systems by Philip A. Bernstein, Vas ...programming
2005/07/25:15:57BSD VM scannerBSD vm analyzes object reference counter in page scanner (vm_pageout.c:vm_pageou ...kernel   programming   vm
2005/07/25:16:02XNU VMXNU (OSX kernel) VM scanner marks vnodes as `(vp->v_flag & VHASBEENPAGED)`. `wri ...kernel   programming   vm
2005/07/25:16:06inactive_dirty and inactive_clean are considered harmfulFound interesting discussion on linux-mm (Sept. 2002): AKPM and Rik ("inactive_d ...kernel   programming   vm
2005/07/30__VA_ARGS__ + C99 compound literals = safe variadic functionsIt occurred to me that new C features added by C99 standard can be used to imple ...programming
2005/07/31WikipediaI added a bit of material to the Wikipedia entry on Page replacement algorithms: ...programming
2005/07/31:10:49The Question of Life, The Universe, and Everything.'How old is that horse, my friend?' inquired Mr. Pickwick, rubbing his nose with ...
2005/08/02Confessions of Microsoft developerAs a simple example, when Windows started up, it increased the size of msdos's ...programming
2005/08/12A monster desktopScreenshot of my desktop while running 5 node UML cluster: ...programming
2005/08/18named formalsAnother C99 abuse: _named formal parameters_: int foo(int a, char b) { p ...programming
2005/08/24A look at several memory management units...An interesting paper (via Muli Ben-Yehuda) that describes, in particular, VM org ...kernel   programming   vm
2005/09/13plug and crashI had some problems in my local network to-day, so I had to turn off the switch. ...kernel   programming
2005/10/16Грозный"Чешский археолог Бедржих Грозный (1879--1952), который в 1915 г. расшифровал х ...
2005/10/24Update of my kernel patches for 2.6.14-rc5New version of patches is uploaded here. This series include: `vm_02-skip-writep ...kernel   programming
2005/11/12An exerciseHere is a little problem. Given an array \(A\) of \(N\) integers, find a sub-arr ...math   programming
2005/11/23opahead patchHere is a 2.6.15-rc1 version of _opahead_ patch that was sleeping in my patch-sc ...kernel   programming
2005/12/18reiser4: 0. introductionThis is an introduction to the series of entries I am going to write about reise ...fs   programming   reiser4
2006/01/11A bit of out-of-context quotingLessons Learned Solaris has been functioning, essentially, by accident, for over ...programming
2006/02/01ext3: magic, more magic.ext3 htree code in Linux kernel implements peculiar version of balanced tree use ...fs   kernel   programming
2006/03/03Why windows will collapse ultimately`Subject: [ntdev] WdfUsbTargetDeviceSendControlTransferSynchronously and timeout ...programming
2006/03/26reiser4: 1. internal treeThis continues previous entry: introduction 0. B-trees overview B-tree is am umb ...fs   programming   reiser4
2006/07/22A voice of the reason from the distant pastDedicated to VM and file system developers and researches... It is immediately a ...kernel   programming   vm
2007/08/08Leisure pace of progressRecently I found a paper in ACM Library describing two distributed file systems ...programming
2009/03/25It could be done"The late André Bensoussan worked with me on the Multics .... We were working o ...programming
2009/04/23A 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
2009/08/21a trivial exercise.Let's find a sum \sum_{n=1}^\infty {1\over{n(n+2)}} There is a well-know standar ...math
2010/01/12The Hunt for Addi(c)tive MonsterThis is another spurious post about mathematics that happened instead of somethi ...math
2010/02/04The Hunt for Addi(c)tive Monster 2.In the previous post, we were looking for _a monster_—a nonlinear additive funct ...math
2011/12/08Unintentionally yours.Extension. This post is about set theory, which is a framework to reason about c ...math
2011/12/24Cue a keyThere is a typical problem with Emacs experienced by people frequently switching ...programming
2012/03/03Riemann hypothesis, DIYContinuing with useless exercises, let's look at prime numbers. We shall use Has ...math   programming
2012/05/11A macro.C language is wonderfully profound. After almost 20 years, I still find new ways ...programming
2012/09/28Деревья по кругу._Abstract_: orbits of an endomorphism of a finite set are represented as connec ...math
2012/11/03Zero is overratedDefine a sequence of functions \(P_i:\mathbb{R}^+\rightarrow\mathbb{R}\), \(i\in ...math
2012/11/09Side with effete.More of „I know C better than you!“ stuff. I just discovered (the verb is deeply ...programming
2013/01/17Vale of tears.Consider a system describing possible computations (e.g., a programming language ...programming
2013/01/19Weekend affinity.Groups usually come with homomorphisms, defined as mappings preserving multiplic ...math
2013/12/16threads, contexts and doors.Paul Turner gave a talk about new threading interface, designed by Google, at th ...programming
2014/02/09Parmigianino faces.An angel from Madonna with the long neck (1535): An unidentified girl from Ante ...
2014/10/16Blindsight spot.I just realised that in any unital ring commutativity of addition follows from d ...math
2014/12/13Zero everywhere. (студенческая олимпиада МФТИ по математике, 2013, задача 3) Предположим, что \( ...math
2017/09/22Translations.Licence my roving hands, and let them go, Before, behind, between, above, below. ...
2017/12/18Conatus trimetro iambico._Aloof as stardust rains_ _Are memory dim prints_ _Eliding tensed face_ _By shad ...
2018/03/09Cographs, cocounts and coconuts._Abstract_: Dual of the familiar construction of the graph of a function is con ...math
2019/01/27Why Go is Not My Favorite Programming Language_Disclaimer_: this article shares very little except the title with the classica ...programming
2020/10/15Unexpected isomorphism.Since Cantor's "I see it, but I cannot believe it" (1877), we know that \(\mathb ...math
2020/11/11A curious case of stacks and queues.When studying computing science we all learn how to convert an expression in the ...programming
2021/02/13360 years later or „Скрещенья ног“In 1896 Paul Gauguin completed _Te Arii Vahine_ (_The King’s Wife_): From many ...
2022/07/25Treadmill_Treadmill_ is a "real-time" in-place garbage collection algorithm (PDF, Postscr ...programming
2022/08/223-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
2022/10/06usched: stackswap coroutines, neither stackful nor stackless[Please read the _update_.] This repository (https://github.com/nikitadanilov/us ...programming
2022/10/07Generating Catalan numbers.Enumerate all binary trees with N nodes, C++20 way: #include <memory> #include < ...programming
2022/10/07:00:07A Python: it is dictionaries all the way down.def drill(): return defaultdict(drill) ...programming
2022/10/11usched: update_Update_ for the previous post about stackswap coroutine implementation usched. ...programming
2024/03/04When people used to care about the quality of presentation From Errata to Dijsktra's A Primer of Algol 60 Programming. ...
2024/05/07Euclid continuityLet's talk about one of the simplest, if not trivial, subjects in the oldest and ...math
2025/02/25Long [story of] division.The following text can be viewed as extremely dry and intimidating, or, equally, ...math   programming
2025/03/03Publish or Perish in style.Joseph Liouville, a famous French mathematician, whom multiple important theorem ...math
2025/03/08Review of Feminism, Interrupted: Disrupting Power by L. Olufemi[>>> "_feminism means freedom, it means the right to be ... incoherent_", p. 71] ...nonsense
2025/04/16What 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
2025/04/30usched and Algol-68: a connectionusched is a light-weight cooperative-multitasking-coroutine library that I wrote ...programming
2025/05/04gcc-13 bugI hit what more and more looks like a bug in the standard Ubuntu 24 gcc version. ...programming