The statement by G.H. Hardy supporting Norman Levinson is remarkable:
"Tell me, Mr Bush, do you think you're running an engineering school or a theological seminary? Is this the Massachusetts Institute of Theology? If it isn't, why not hire Levinson."
Elaborate setup for blogging with Emacs, org-mode, Jekyll and Github actions. Too complicated for my taste, but I still might learn something from the description.
The statement "I've found that Aberth performs worse [than Weierstrass-Durand-Kerner] on most examples as its faster convergence is offset by the slower evaluation." is interesting.
Fredrik Johansson is the author of https://mpmath.org/, https://arblib.org/ and https://flintlib.org/ arbitrary-precision libraries and of the Mathematical Functions Grimoire https://fungrim.org/
statichost.eu is a place for publishing your static websites in a privacy- respecting manner. We do not collect, store or process any personal information related to website visits.
Found on Björn Lindström's page https://elektrubadur.se/about_page/
website2org.el downloads a website, transforms it into minimalist Orgmode, and presents the results as either a temporary Orgmode buffer or creates an .org file in a specified directory.
Might be useful for conversion of my few HTML pages to Orgmode.
Found on Sacha Chua's blog https://sachachua.com/blog/2024/10/2024-10-14-emacs-news/, where the link text states
"Building a blog from Org Mode files using only Emacs". I am not sure whether this is correct, the emacs lisp file has the description
"org-jekyll.el --- Custom Emacs plugin to operate with my OrgMode+Jekyll blog". Does it need Jekyll?
His web site https://eugene-andrienko.com/en/ has a "Powered by Jekyll" link.
Mentioned on the TUHS mailing list https://www.tuhs.org/pipermail/tuhs/2024-September/030872.html
Some interesting documents are
There Is No Royal Road to Programs - A Trilogy on Raster Ellipses and Programming Methodology (M. Douglas McIlroy)
MM 67-4734-7 1967-05-15 2.54 MB An Introduction to the Available Programs and Other Design Aids for the Design of Filters, Equalizers and Other Networks
MM 67-5311-18 1967-08-29 1.27 MB Notes on the Design of Cosine Roll-Off Filters
Sail is a language for defining the instruction-set architecture (ISA) semantics of processors: the architectural specification of the behaviour of machine instructions. Sail is an engineer-friendly language, much like earlier vendor pseudocode, but more precisely defined and with tooling to support a wide range of use-cases.
Found on the CHERI page https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
Last month Terry gave the Oxford Mathematics London Public Lecture at the Science Museum, revealing his thoughts on the potential of Artificial Intelligence for science and mathematics before joining fellow mathematician Po-Shen Lo for a fireside chat.
What does he think? Well, he certainly sees a future where mathematics is embracing and benefiting from AI. It might even bring more mathematicians in to the subject, some of them not even professionals.
Find out more by watching the lecture from 5pm BST on Wednesday 7th August 2024 onwards.
Includes US patent 2,883,619 Electrical Probe by John R. Kobbe and William J. Polits awarded on April 21, 1959 for use of a resistive center conductor.
The site was found via a link on the Tektronix wiki https://w140.com/tekwiki/wiki/Risetime_Calculator
"Chialisp is a pure and functional language with a focus on security and auditability. Chialisp is commonly used on the Chia blockchain to lock funds in smart coins until spent and released by their owner. This enables behavior similar to that of smart contracts."
Mention on the Lisp timeline at https://en.wikipedia.org/wiki/AutoLISP
On 23 March 2024, Rocket Lab launched the Advanced Composite Solar Sail System (ACS3), a NASA solar sail experiment. The main goal of the mission is to test the deployment of a 80 m2 (9 x 9 meter) solar sail from a 12U cubesat bus. The sail will be deployed late May or early June 2024, i.e. some 2 months after the launch. ACS3 (2024-077B) is in a 97.4 deg inclined, 993 x 1023 km sun-synchronous orbit.
The Structured Email (SML) working group will develop standards track specifications for:
- annotating human-readable email content with a machine-readable version, to allow for more reliable and accurate content analysis and processing; and
- recommendations for security and trust mechanisms that should be applied when processing machine-readable content in email messages.
kamid is a FREE, easy-to-use and portable implementation of a 9p file server daemon for UNIX-like systems with a strong focus on security and correctness.
Found via https://www.cliki.net/tinmop, where a client for this 9p file server is described.
See also the author's blog. e.g. https://www.omarpolo.com/post/joy-of-elisp-sndio.html
I knew about Donald Knuth's "TeX, the program" and David R. Hanson's "lcc, A Retargetable C Compiler: Design and Implementation", "C Interfaces and Implementations: Techniques for Creating Reusable Software", but not about "pbrt, Physically Based Rendering: From Theory to Implementation" by Matt Pharr, Wenzel Jakob, Greg Humphreys http://pbrt.org/ and "lguest, A lightweight x86 virtual machine monitor for Linux" by Rusty Russell https://swtch.com/lguest/
jq is like sed for JSON data - you can use it to slice and filter and map and transform structured data with the same ease that sed, awk, grep and friends let you play with text.
A DECstation emulator on a business-card sized PCB. The description is a nice read. https://hackaday.io/project/196769-decstation2040 for a RP2040 version, with 32 MB HyperRAM, 1024 x 864 mono video, and USB mouse/kb
LDAP stands for Lightweight Directory Access Protocol. The lightweight part comes from the fact it does not implement ALL of the standard. X.500 is quite unwieldy, and much of it has been superseded (e.g. the OSI networking stack) or considered impractical (e.g. such as canonical per entry Distinguished Names) or undesirable (e.g. publishing directories of private entities like businesses).
Found via a link on ... to https://wiki.gentoo.org/wiki/Project:Prefix
The description below sounds intriguing.
In numerical analysis, the ITP method, short for Interpolate Truncate and Project, is the first root-finding algorithm that achieves the superlinear convergence of the secant method[1] while retaining the optimal[2] worst-case performance of the bisection method.[3] It is also the first method with guaranteed average performance strictly better than the bisection method under any continuous distribution.[3] In practice it performs better than traditional interpolation and hybrid based strategies (Brent's Method, Ridders, Illinois), since it not only converges super-linearly over well behaved functions but also guarantees fast performance under ill-behaved functions where interpolations fail.[3]
This section of the site offers RF engineers quick access to popular calculators and design aids. They are useful at design time and for training purposes, both of which stimulated their development and use over the years. Each tool is written in Javascript and the user can view the page source should they wish to examine the implementation.
I have tried to include references to the various books/papers that I have used in the development of each tool and although I have used them all at various times and believe them to be accurate, please use due diligence and further simulate where necessary.
Most of the tools come with sample values pre-entered into each input box to offer a degree of help. I apologise if this bothers you, but from the feedback I receive, it is generally preferred.
Please be sure to have read the "terms of use". The link is available at the bottom of every page.
The LOCKSS Program at Stanford Libraries provides open-source technologies and services for high-confidence, resilient, secure digital preservation.
Found on David Rosenthal's blog https://blog.dshr.org/2024/01/a-lesson-learned.htm
Blog, mostly about the Plan 9 operating system. Found https://seh.dev/p9sk1/ when searching for information about the dp9ik authentication protocol introduced by 9front.
The Language-theoretic approach (LangSec) regards the Internet insecurity epidemic as a consequence of ‘ad hoc’ programming of input handling at all layers of network stacks, and in other kinds of software stacks. LangSec posits that the only path to trustworthy software that takes untrusted inputs is treating all valid or expected inputs as a formal language, and the respective input-handling routines as a ‘recognizer’ for that language.
The recognition must be feasible, and the recognizer must match the language in required computation power.
BBOS provides a command line interface (or CLI) that lets you interface with the RP2040 board directly. This makes it possible to not only interact with the Pi but also handle practical functions like real-time debugging. https://github.com/mcknly/breadboard-os
unsurv offline is a privacy friendly, small and lightweight PCB (45 mm x 32 mm) based on an ESP32 featuring a high quality GNSS receiver, accelerometer, and NFC capabilities. Using a combination of onboard features and OpenStreetMap (OSM) data, unsurv offline helps you collect and analyze location data in a privacy-friendly way. Originally conceived to better understand offline video surveillance, this fully open source project is here to help you find and develop a variety of custom use cases.