Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code. Coccinelle was initially targeted towards performing collateral evolutions in Linux. Such evolutions comprise the changes that are needed in client code in response to evolutions in library APIs, and may include modifications such as renaming a function, adding a function argument whose value is somehow context-dependent, and reorganizing a data structure. Beyond collateral evolutions, Coccinelle is successfully used (by us and others) for finding and fixing bugs in systems code.
https://www.johndcook.com/blog/2022/10/21/math-origins/ explains V.I. Arnolds comment
"All mathematics is divided into three parts: cryptography (paid for by CIA, KGB and the like), hydrodynamics (supported by manufacturers of atomic submarines), and celestial mechanics (financed by military and other institutions dealing with missiles, such as NASA)."
The article https://www.johndcook.com/non_central_chi_square.pdf sounds interesting:
John D. Cook Upper bounds on non-central chi-squared tails and truncated normal moments (2010). UT MD Anderson Cancer Center Department of Biostatistics Working Paper Series. Working Paper 62.
Abstract. We show that moments of the truncated normal distribution provide upper bounds on the tails of the non-central chi-squared distribution, then develop upper bounds for the former.
NeoPG is a modern replacement for GnuPG 2
NeoPG starts as an opinonated fork of GnuPG 2 to clean up the code and make it easier to develop.
We want to provide a stable and extensible API for application developers, too.
Eventually, we will add new ways to use OpenPGP that make it accessible and usable.
As of 2021-12-06, the domain is no longer in use.
Priyom.org is an international group of radio enthusiasts who came together during 2010 when activity from the station known as "UVB-76" increased. The mystery of this station inspired us to seek out other, similarly mysterious stations, and thus into the bizarre world of shortwave radio's infamous number stations. Greatly inspired by the work of other online groups, Priyom has been developed to easily bring both the current and historical information about number stations into one comprehensive site, and to make the recording, listening and analysis of shortwave radio, number stations, and all related on-air enigmas accessible to all who are interested.
J1 is a small (200 lines of Verilog) stack-based CPU, intended for FPGAs. A complete J1 with 16Kbytes of RAM fits easily on a small Xilinx FPGA. Some highlights:
Extremely high code density. A complete system including the TCP/IP stack fits in under 8K bytes.
Single cycle call, zero cycle return
Instruction set maps trivially to Forth
Cross compiler runs on Windows, Mac and Unix
Basic software includes a sizeable subset of ANS Forth and a portable TCP/IP networking stack.
Website dedicated to the inotify technology. Here you can find what is inotify, how to use and why (and the obsolete dnotify is bad) and much more information.
Blog entry about changing some settings for ediff, the file compare tool of the Emacs editor.
Investigate the csetq macro, see also the alternative customize-set-variable suggested in the comments.
Small as a mouse, fast as a cheetah and available for free. NetSurf is a multi-platform web browser for RISC OS, UNIX-like platforms (including Linux), Mac OS X, and more.
When did you last…
download a file just to upload to another device?
download a file from one web service just to upload to another?
make a file public just to share it with one person?
accidentally make something visible to the wrong people?
Upspin is an attempt to address problems like these, and many more.
Upspin is in its early days, but the plan is for you to manage all your data—even data you’ve stored in commercial web services—in a safe, secure, and sharable way that makes it easy to discover what you’ve got and who you’ve shared it with.