Thomas Poulsen @tp2750@fosstodon.orgfosstodon.org

President #JimmyCarter created this message to travel on Voyager 1. It's still out there traveling at 40,000 mph, looking for a cosmic community to catch it and play the media.

The wait is over. HTML for People is OUT NOW!

I feel strongly that anyone should be able to make a website with HTML if they want. This web book will teach you how to do just that. It doesn’t require any previous experience making websites or coding. I will cover everything you need to know to get started in an approachable and friendly way.

And it’s free for all.

https://htmlforpeople.com

@pumas_ai named Best Clinical Pharmacology Technology Firm by the 9th Annual Biotechnology Awards! This demonstrates the power of translating #julialang #sciml to industrial practice, building a new foundation of clinical pharmacology.

Anybody feel like playing ADVENTURE on an Four Phase IV/90 computer ?

A visitor to datamuseum.dk donated a ½" tape today:

https://datamuseum.dk/wiki/Bits:30006859

I am very happy to announce the launch of the #SciML Small Grants program! This is an #opensource contributions program to help improve the #julialang #sciml organization and some of the issues that have traditionally been overlooked. No numerical/scientific knowledge needed for many of these projects. If you've been looking contribute and needed an impetus to get started, let this be your call to arms!

For more information, see https://sciml.ai/small_grants/

Here's the 5th installment of my series of posts highlighting key new features of the upcoming v256 release of systemd.

I am pretty sure all of you are well aware of the venerable "sudo" tool that is a key component of most Linux distributions since a long time. At the surface it's a tool that allows an unprivileged user to acquire privileges temporarily, from within their existing login sessions, for just one command, or maybe for a subshell.

"sudo" is very very useful, as it…

Implemented Catmull-Clark subdivision surfaces for rayrender! Don't tell Moses.

A post on assumptions
https://notstatschat.rbind.io/2024/04/14/assumptions/

A better view of the wild solar prominences during Monday's eclipse.

(Quick hand-held shot with Nikon Z9 + Nikkor 800mm f/6.3 PF)

Hardcore math tweet:

The complex numbers are nice in two ways. They are an 'algebraically closed' field, meaning that every polynomial equation with complex coefficients has a complex solution. And they are 'Cauchy complete' metric space, meaning that every Cauchy sequence converges.

We can get the complex numbers in two ways. We can start with the rational numbers and take their Cauchy completion. This gives us the real numbers. But these are not algebraically closed. So we can take their algebraic closure. The result is the complex numbers, which is still Cauchy complete.

Or, we can start with the rational numbers and take their algebraic closure. This gives us the 'algebraic numbers'. There's a way to define a nice metric on these, but the resulting metric space is not Cauchy complete. To fix that, we can take its Cauchy completion. The result is the complex numbers, which is still algebraically closed.

In the first route I used the usual metric on rational numbers. But what if we use one of the p-adic metrics?

We can start with the rational numbers and take their Cauchy completion using the p-adic metric. This gives us the p-adic numbers. But these are not algebraically closed. So then we can take their algebraic closure. There's a nice metric on it, but it's 𝑛𝑜𝑡 still Cauchy complete.

So we can take the Cauchy completion 𝑎𝑔𝑎𝑖𝑛. You may feel sort of pessimistic right around now... but this time the resulting field 𝑖𝑠 algebraically closed, and of course Cauchy complete by definition. So yay, we're done!

The weird part: the resulting field is isomorphic to the complex numbers equipped with a weird metric. Using the axiom of choice.

#julialang v1.10 is released! Major "time to first X" and loading time improvements! With this one, I tend to not even do any system image shenanigans anymore: standard Julia is fast enough to start for me for anything I tend to use. Great work all!

https://github.com/JuliaLang/julia/blob/release-1.10/NEWS.md

#Julialang #SciML solving nonlinear systems of equations w/ automated detection of sparsity patterns, symbolic simplification, and of course faster (GPU) solvers all right out of the box with automatic differentiation support. Faster than #scipy and #matlab!

https://www.youtube.com/watch?v=O-2F8fBuRRg

Monday's Most Read #1 - Johns Hopkins study recommends narrow travel lanes https://bit.ly/3ukdAWH CNU Public Square

End of Advanced Methods in Systems Biology. #Complexsystems Course, we made a contact process using #julialang

PipeWire 1.0 Planned For Release Later This Year

The PipeWire audio and video streams solution for the Linux desktop is planning its big version "1.0" release for later in the year...
https://www.phoronix.com/news/PipeWire-1.0-Release-Plan

We love free software. With much thanks to the talented @SachaChua @sachac for illustrating the reasons. See https://www.sachachua.com/blog/ for emacs news and more! #FreeSoftware

The Viking fortresses in Denmark are now UNESCO Heritage sites. #archaeology
https://whc.unesco.org/en/list/1660

Has anyone else discovered this fantastical trick with these grabbers?

You can poke their nose through PTH, and grab a little bit of wire on the other side... it makes a great and really solid connection!

Next year, in 2024, there will be two major Common Lisp anniversaries:

- 40 years since the publication of the 1st edition of "Common Lisp: The Language" by Guy L. Steele in March of 1984
- 30 years since ANSI approved the Common Lisp standard in 1994

NVK just landed in Mesa!

This been a long time coming... We've been developing NVK in a branch for over a year now but a few minutes ago we finally landed the new driver int he main Mesa repo. We're not conformant yet but being upstream is still a huge milestone.

https://www.collabora.com/news-and-blog/news-and-events/nvk-has-landed.html