~debian | Bookmarks (286)
-
Eigen macro specializations crashes
There's an issue in the Eigen linear algebra library where linking together objects compiled with different...
-
Configuring forgejo actions
Last week I decided I wanted to try out forgejo actions to build this blog instead...
-
What’s New for FreedomBox in Debian 13 “trixie” – James Valleroy
FreedomBox is a Debian blend that makes it easier to run your own server. Approximately every...
-
Article Recommendations via FOSS
Google tracking everything we read is bad, particularly since Google abandoned the “don’t be evil” plan...
-
Getting precise timings out of RS-232 output
For uninteresting reasons I need very regular 58Hz pulses coming out of an RS-232 Tx line:...
-
Libreoffice Conference 2024 in Luxembourg
Last year, I attended the annual LibreOffice Conference in Luxembourg with the help of a generous...
-
Extrinsic termination proofs for well-founded recursion in Lean – Blog – Joachim Breitner's Homepage
A few months ago I explained that one reason why this blog has become more quiet...
-
My Debian Activities in February 2025
This was my hundred-twenty-eighth month that I did some work for the Debian LTS initiative, started...
-
Thinking inside the box
An update to our package RcppNLoptExample arrived on CRAN earlier today marking the first update since...
-
Improving Debian packaging in Kate - Things that I work on in Debian
The other day, I noted that the emacs integration with debputy stopped working. After debugging for...
-
Thinking inside the box
A new release 0.1.13 of the RcppSimdJson package is now on CRAN. RcppSimdJson wraps the fantastic...
-
Bits from FOSDEM 2025 | Blog de Paulo Santana
This year I was at FOSDEM 2025, and it was the fifth edition in a row...
-
Nix Notes - anarcat
In case you haven't noticed, I'm trying to post and one of the things that entails...
-
8k Video Cards
I previously blogged about getting an 8K TV [1]. Now I’m working on getting 8K video...
-
Shop scheduling with PuLP
I recently used the PuLP modeler to solve a work scheduling problem to assign workers to...
-
Reproducible Builds in February 2025 — reproducible-builds.org
Welcome to the second report in 2025 from the Reproducible Builds project. Our monthly reports outline...