Viewing profile — oecumena

'The Lobster Programming Language (strlen.com)' is duplicated.

Analytical series for data types.

Manual derivation of Hoare-triples for the long division algorithm verification.

Still won't work. The Standard explicitly specifies that FILE type includes all stream attributes, including position indicator: ISO/IEC 9899:TC3 7.19.1 FILE which is an object typ…

Sizes of stdio FILE streams are still limited, because of ftell: the standard requires that file position (as measured from the beginning of the file) is representable as long or o…

For any C program there is a number N, that depends on the program, compiler, architecture, etc., but does not depend on the program input, such that the program won't be able to a…

C is definitely not Turing complete. The standard library provides no escape, because file sizes are also limited (due to ftell (3)), and there is no chdir in the C standard librar…

I did another one back in 2001: https://ldoor.sourceforge.net/ .

File descriptor escrow library: provides an interface to send process file descriptors to a separate process ("escrow daemon", "escrowd"). The descriptors can be retrieved later by…

So that's where I put them!

What is really funny is that eventually our understanding circled back and now the rest mass of particles is attributed to their interaction with the Higgs field, by effectively th…

Newton explicitly checks in Principia that the orbital parameters of the moons of Jupiter are consistent with the "empty space" hypothesis.

I agree that the direct hand-off that Solaris shuttles provide is more efficient than general wakeup, but it is less efficient than switching MM context of the client thread. The l…

Original Solaris doors use server thread pools: https://github.com/illumos/illumos-gate/blob/master/usr/src/...

I made a similar doors api implementation for Linux in 2001 ( https://ldoor.sourceforge.net/ ). It eliminated the cost of having a thread pool and context switches by re-using clie…

A simple experimental implementation of coroutines alternative to well-known "stackless" and "stackful" methods.

A 3-lisp program is executed by an interpreter written in 3-lisp that is itself executed by an interpreter written in 3-lisp and so on ad infinitum.