Shortform Posts on Math ∩ Programminghttps://www.jeremykun.com/shortform/Recent content in Shortform Posts on Math ∩ ProgrammingHugo -- gohugo.ioen-usFri, 17 May 2024 15:55:50 -0700Math databaseshttps://www.jeremykun.com/shortform/2024-05-17-1555/Fri, 17 May 2024 15:55:50 -0700https://www.jeremykun.com/shortform/2024-05-17-1555/Steven Clontz informed me of an effort he’s involved in called code4math.
It’s described as a professional organization for the advancement of mathematical research through building non-research software infrastructure. By that he means, for example, writing software packages like Macaulay2 or databases of mathematical objects that other researchers can use to do their research.
Clontz recently gave a talk on the topic, with ample discussion of the evaluation material they can provide to justify the academic value of this sort of work.Experiments with POSSEhttps://www.jeremykun.com/shortform/2024-05-12-2028/Sun, 12 May 2024 20:28:54 -0700https://www.jeremykun.com/shortform/2024-05-12-2028/POSSE stands for Publish (on your) Own Site, Syndicate Elsewhere. I first heard about it from Cory Doctorow.
I’m experimenting with automation to convert posts tagged shortform into Mastodon threads (I’m mathstodon.xyz/@j2kun). I’m using Hugo as a static site generator, with the source a (private) GitHub repository, and Netlify for deployments. After a deployment, Netlify calls a serverless function that hits the GitHub API with a POST request to trigger a GitHub action workflow.Remez and function approximationshttps://www.jeremykun.com/shortform/2024-05-06-1018/Mon, 06 May 2024 10:18:29 -0700https://www.jeremykun.com/shortform/2024-05-06-1018/I’ve been learning recently about how to approximate functions by low-degree polynomials.
This is useful in fully homomorphic encryption (FHE) in the context of “arithmetic FHE” (see my FHE overview article), where the computational model makes low-degree polynomials cheap to evaluate and non-polynomial functions expensive or impossible.
In browsing the state of the art I came across two interesting things. The first is the software package lolremez that implements polynomial (and rational polynomial $f(x) / g(x)$) function approximation using the so-called Remez algorithm.