~debian | Bookmarks (281)

Filing tax this year was really painful.

netfort.gr.jp
1
Extrinsic termination proofs for well-founded recursion in Lean – Blog – Joachim Breitner's Homepage

joachim-breitner.de

A few months ago I explained that one reason why this blog has become more quiet...
A few months ago I explained that one reason why this blog has become more quiet is that all my work on Lean is covered elsewhere. This post is an exception, because it is an observation that is (arguably) interesting, but does not lead anywhere, so where else to put it than my own blog… Background When defining a f...
1
My Debian Activities in February 2025

alteholz.eu

This was my hundred-twenty-eighth month that I did some work for the Debian LTS initiative, started...
This was my hundred-twenty-eighth month that I did some work for the Debian LTS initiative, started by Raphael Hertzog at Freexian. During my allocated time I uploaded or worked on: [DLA 4072-1] xorg-server security update to fix eight CVEs related to possible privilege escalation in X.[DLA 4073-1] ffmpeg security u...
1
Thinking inside the box

eddelbuettel.com

An update to our package RcppNLoptExample arrived on CRAN earlier today marking the first update since...
An update to our package RcppNLoptExample arrived on CRAN earlier today marking the first update since the intial release more than four year ago. The nloptr package, created by Jelmer Ypma, has long been providing an excellent R interface to NLopt, a very comprehensive library for nonlinear optimization. In particu...
1
Improving Debian packaging in Kate - Things that I work on in Debian

debian.org

The other day, I noted that the emacs integration with debputy stopped working. After debugging for...
The other day, I noted that the emacs integration with debputy stopped working. After debugging for a while, I realized that emacs no longer sent the didOpen notification that is expected of it, which confused debputy. At this point, I was already several hours into the debugging and I noted there was some discussio...
1
Bahía Blanca floods - Mother nature says: no Nuremberg for you today

perezmeyer.com.ar
1
Thinking inside the box

eddelbuettel.com
1
Auto-expanding aliases in Zsh

bernat.ch
1
Thinking inside the box

eddelbuettel.com

A new release 0.1.13 of the RcppSimdJson package is now on CRAN. RcppSimdJson wraps the fantastic...
A new release 0.1.13 of the RcppSimdJson package is now on CRAN. RcppSimdJson wraps the fantastic and genuinely impressive simdjson library by Daniel Lemire and collaborators. Via very clever algorithmic engineering to obtain largely branch-free code, coupled with modern C++ and newer compiler instructions, it resul...
1
Bits from FOSDEM 2025 | Blog de Paulo Santana

phls.com.br

This year I was at FOSDEM 2025, and it was the fifth edition in a row...
This year I was at FOSDEM 2025, and it was the fifth edition in a row that I participated in person (before it was in 2019, 2020, 2023 and 2024). The event took place on February 1st and 2nd, as always at the ULB campus in Brussels. We arrived on Friday at lunchtime and went straight to the hotel to drop off our bag...
1
Nix Notes - anarcat

anarc.at

In case you haven't noticed, I'm trying to post and one of the things that entails...
In case you haven't noticed, I'm trying to post and one of the things that entails is to just dump over the fence a bunch of draft notes. In this specific case, I had a set of rough notes about NixOS and particularly Nix, the package manager. In this case, you can see the very birth of an article, what it looks like...
1
Thinking inside the box

eddelbuettel.com
1
8k Video Cards

coker.com.au

I previously blogged about getting an 8K TV [1]. Now I’m working on getting 8K video...
I previously blogged about getting an 8K TV [1]. Now I’m working on getting 8K video out for a computer that talks to it. I borrowed an NVidia RTX A2000 card which according to it’s specs can do 8K [2] with a mini-DisplayPort to HDMI cable rated at 8K but on both Windows and Linux the two highest resolutions on offe...
1
Shop scheduling with PuLP

secretsauce.net

I recently used the PuLP modeler to solve a work scheduling problem to assign workers to...
I recently used the PuLP modeler to solve a work scheduling problem to assign workers to shifts. Here are notes about doing that. This is a common use case, but isn't explicitly covered in the case studies in the PuLP documentation. The tool is supposed to allocate workers to the shifts to try to cover all the shift...
1
Reproducible Builds in February 2025 — reproducible-builds.org

reproducible-builds.org

Welcome to the second report in 2025 from the Reproducible Builds project. Our monthly reports outline...
Welcome to the second report in 2025 from the Reproducible Builds project. Our monthly reports outline what we’ve been up to over the past month, and highlight items of news from elsewhere in the increasingly-important area of software supply-chain security. As usual, however, if you are interested in contributing t...
1
Thinking inside the box

eddelbuettel.com

Welcome to post 46 in the $R^4 series! r2u, introduced less than three years ago in...
Welcome to post 46 in the $R^4 series! r2u, introduced less than three years ago in post #37, has become a runaway success. When I last tabulated downloads in early January, we were already at 33 million downloads of binary CRAN packages across the three Ubuntu LTS releases we support. These were exclusively for the...
1
Reverse Engineering (another) Restaurant Pager system 🍽️

k3xec.com
1
Going to Embedded World 2025 in Nuremberg

perezmeyer.com.ar
1
PGP/GPG transition from 0x6286A7D0 to 0xB48C1072

perezmeyer.com.ar
1
RIP: Steve Langasek

earth.li

[I’d like to stop writing posts like this. I’ve been trying to work out what to...
[I’d like to stop writing posts like this. I’ve been trying to work out what to say now for nearly 2 months (writing the mail to -private to tell the Debian project about his death is one of the hardest things I’ve had to write, and I bottled out and wrote something that was mostly just factual, because it wasn’t th...
1
Free software activity in February 2025

greenend.org.uk
1
Network is unreliable.

netfort.gr.jp
1
MiniDebConf Belo Horizonte 2024 - a brief report

debianbrasil.org.br
1
Debian Day 2024 in Santa Maria - Brazil

debianbrasil.org.br
1