Jonathan Dowland: rewrite rule representation
https://jmtd.net/log/phd/representation/
October 4, 2022, 8:29 PM
I've begun writing up my phd and, not for the first time, I'm pondering
issues of how best to represent things. Specifically, rewrite rules.
Here's one way of representing an example rewrite rule:
streamFilter g . streamFilter f = streamFilter (g . f)
This is a fairly succinct representation. It's sort-of Haskell, but not
quite. It's an equation. The left-hand side is a pattern: it's intended
to describe not one expression but a family of expressions that match.
The lower case individual let...
--------------------
Dima Kogan: mrcal 2.2 released
http://notes.secretsauce.net/notes/2022/10/04_mrcal-22-released.html
October 4, 2022, 8:05 AM
Today I released mrcal 2.2 (the release notes are available here). This release
contains lots of medium-important internal improvements, and is a result of
Heavy dogfooding. I use these tools a lot every day, and many things are
nicer, easier and work better in 2.2 than in 2.1
Not-yet-completed cool new functionality. Some of the required internal
improvements for the big new features are being released here.
The biggest single new feature in this release is the interactive graphical too...
--------------------
Russ Allbery: Review: The Dragon Never Sleeps
https://www.eyrie.org/~eagle/reviews/books/1-59780-099-6.html
October 4, 2022, 3:01 AM
Review: The Dragon Never Sleeps, by Glen Cook

Publisher:
Night Shade Books


Copyright:
1988


Printing:
2008


ISBN:
1-59780-099-6


Format:
MOBI


Pages:
449

Canon Space is run, in a way, by the noble mercantile houses, who spread
their cities, colonies, and mines through the mysterious Web that allows
faster-than-light interstellar travel. The true rulers of Canon Space,
though, are the Guardships: enormous, undefe...
--------------------
Mike Hommey: Announcing git-cinnabar 0.6.0rc1
https://glandium.org/blog/?p=4286
October 3, 2022, 10:26 PM
Git-cinnabar is a git remote helper to interact with mercurial repositories. It allows to clone, pull and push from/to mercurial remote repositories, using git.
Get it on github.
These release notes are also available on the git-cinnabar wiki.
What’s new since 0.5.10?
Full rewrite of git-cinnabar in Rust.
Push performance is between twice and 10 times faster than 0.5.x, depending on scenarios.
Based on git 2.38.0.
git cinnabar fetch now accepts a --tags flag to fetch tags.
git cinnabar bundle...
--------------------
Shirish Agarwal: Death Certificate, Legal Heir, Succession Certificate, and Indian Beaureacracy.
https://flossexperiences.wordpress.com/2022/10/04/death-certificate-legal-heir-succession-certificate-and-indian-beaureacracy/
October 3, 2022, 9:00 PM
Death Certificate
After waiting for almost two, two, and a half months, I finally got mum’s death certificate last week. A part of me was saddened as it felt like I was nailing her or putting nails to the coffin or whatever it is, (even though I’m an Agarwal) I just felt sad and awful. I was told just get a death certificate and your problems will be over. Some people wanted me to give some amount under the table or something which I didn’t want to party of and because of that perhaps i...
--------------------
Paul Wise: FLOSS Activities September 2022
http://bonedaddy.net/pabs3/log/2022/10/03/floss-activities/
October 3, 2022, 12:47 PM
Focus
This month I didn't have any particular focus.
I just worked on issues in my info bubble.
Changes
halibut:
add documentation generator metadata
mpv-mpris:
fix tests
duck:
obsolete site indicators
devscripts:
fix example,
add experimental pseudo-excuses
dpkg-repack:
show dpkg-deb cmd
Debian QA services:
add
experimental pseudo-excuses,
improve excuses page
Debian usertags:
fixed ports, lintian usertags
Debian package uploads:
mpv-mpris backport
Debian wiki pages:
ArchitectureSpecificsMe...
--------------------
Thorsten Alteholz: My Debian Activities in September 2022
http://blog.alteholz.eu/2022/10/my-debian-activities-in-september-2022/
October 3, 2022, 12:01 PM
FTP master
This month I accepted 226 and rejected 33 packages. The overall number of packages that got accepted was 232.
All in all I addressed about 60 RM-bugs and either simply removed the package or added a moreinfo tag. In total I spent 5 hours for this task.
Anyway, I have to repeat my comment from last month: please have a look at the removal page and check whether the created dak command is really what you wanted. It would also help if you check the reverse dependencies and write a commen...
--------------------
Russ Allbery: Review: Jingo
https://www.eyrie.org/~eagle/reviews/books/0-06-228020-1.html
October 3, 2022, 3:27 AM
Review: Jingo, by Terry Pratchett

Series:
Discworld #21


Publisher:
Harper


Copyright:
1997


Printing:
May 2014


ISBN:
0-06-228020-1


Format:
Mass market


Pages:
455

This is the 21st Discworld novel and relies on the previous Watch novels
for characterization and cast development. I would not start here.
In the middle of the Circle Sea, the body of water between Ankh-Morpork
and the desert empire ...
--------------------
Marco d'Itri: Debian bookworm on a Lenovo T14s Gen3 AMD
https://blog.bofh.it/debian/id_463
October 3, 2022, 1:12 AM
I recently upgraded my laptop to a Lenovo T14s Gen3 AMD and I am happy to report that it works just fine with Debian/unstable using a 5.19 kernel.
The only issue is that some firmware files are still missing and I had to install them manually.
Updates are needed for the firmware-amd-graphics package (#1019847) for the Radeon 680M GPU (AMD Rembrandt) and for the firmware-atheros package (#1021157) for the Qualcomm NFA725A Wi-Fi card (which is actually reported as a NFA765).
s2idle (AKA "modern...
--------------------
Dirk Eddelbuettel: RcppArmadillo 0.11.4.0.1 on CRAN: Updates
http://dirk.eddelbuettel.com/blog/2022/10/02#rcpparmadillo_0.11.4.0.1
October 2, 2022, 4:08 PM
Armadillo is a powerful and expressive C++ template library for linear algebra and scientific computing. It aims towards a good balance between speed and ease of use, has a syntax deliberately close to Matlab, and is useful for algorithm development directly in C++, or quick conversion of research code into production environments. RcppArmadillo integrates this library with the R environment and language–and is widely used by (currently) 1023 packages other packages on CRAN, downloaded 26.4 mi...
--------------------
Steve McIntyre: Firmware vote result - the people have spoken!
https://blog.einval.com/2022/10/02#firmware-vote-result
October 2, 2022, 2:15 PM
It's time for another update on Debian's firmware GR. I wrote about
the
problem back
in April and about the vote
itself a
few days back.
Voting closed last night and we have
a result!
This is unofficial so far - the official result will
follow shortly when the Project Secretary sends a signed mail to
confirm it. But that's normally just a formality at this point.
A Result!
The headline result is: Choice 5 / Proposal E
won: Change
SC for non-free firmware in installer, one installer. I'm
happy...
--------------------
Abhijith PA: Laptop refreshment
https://abhijithpa.me/2022/Laptop-refresh/
October 2, 2022, 9:53 AM
(Sorry if you have read this already, due to a tag mistake, my draft
copy got published)
I recently bought a refurbished thinkpad x260. If you have read my
post of my <a href=”<!DOCTYPE html>





Trip to misty mountains in Munnar



















































Abhijith PA


Hello, I'm ...
--------------------
Junichi Uekawa: I've sent a kernel patch.
http://www.netfort.gr.jp/~dancer/diary/daily/2022-Oct-1.html.en#2022-Oct-1-22:07:57
October 1, 2022, 1:07 PM
I've sent a kernel patch. It's been 4 years since my last upstream kernel patch it seems.
Time flies.
--------------------
Jonathan Dowland: vim-css-color
https://jmtd.net/log/vim_plugins/vim-css-color/
September 30, 2022, 7:48 PM
Last year I wrote about a subset of the vim plugins I was using,
specifically those created by master craftsman Tim
Pope. Off and on since then I've reviewed
the other plugins I use and tried a few others, so I thought I'd
write about them.
automatic colour name colouring
vim-css-color is a simple plugin that
recognised colour names specified in CSS-style: e.g. 'red', '#ff0000',
'#rgb(255,0,0)' etc., and colours them accordingly. True to its name,
once installed it's active when editin...
--------------------
Reproducible Builds (diffoscope): diffoscope 223 released
https://diffoscope.org/news/diffoscope-223-released/
September 30, 2022, 12:00 AM
The diffoscope maintainers are pleased to announce the release of diffoscope
version 223. This version includes the following changes:
[ Chris Lamb ]
* The cbfstools utility is now provided in Debian via the coreboot-utils
Debian package, so we can enable that functionality within Debian.
(Closes: #1020630)
[ Mattia Rizzolo ]
* Also include coreboot-utils in Build-Depends and Test-Depends so it is
available for the tests.
[ Jelle van der Waa ]
* Add support for file 5.43.
You find out...
--------------------
Antoine Beaupré: Detecting manual (and optimizing large) package installs in Puppet
https://anarc.at/blog/2022-09-29-optimizing-puppet-bootstrap/
September 29, 2022, 7:05 PM
Well this is a mouthful.
I recently worked on a neat hack called puppet-package-check. It
is designed to warn about manually installed packages, to make sure
"everything is in Puppet". But it turns out it can (probably?)
dramatically decrease the bootstrap time of Puppet bootstrap when it
needs to install a large number of packages.
Detecting manual packages
On a cleanly filed workstation, it looks like this:
root@emma:/home/anarcat/bin# ./puppet-package-check -v
listing puppet packages...
l...
--------------------
Russell Coker: Links September 2022
https://etbe.coker.com.au/2022/09/29/links-september-2022/
September 29, 2022, 12:55 PM
Tony Kern wrote an insightful document about the crash of a B-52 at Fairchild air base in 1994 as a case study of failed leadership [1].
Cory Doctorow wrote an insightful medium article “We Should Not Endure a King” describing the case for anti-trust laws [2]. We need them badly.
Insightful Guardian article about the way reasonable responses to the bad situations people are in are diagnosed as mental health problems [3]. Providing better mental healthcare is good, but the government should a...
--------------------
Jelmer Vernooij: Northcape 4000
https://www.jelmer.uk/northcape4000.html
September 28, 2022, 10:00 PM
This summer, I signed up to participate in the Northcape 4000
<https://www.northcape4000.com/>, an annual 4000km bike ride between Rovereto
(in northern Italy) and the northernmost point of Europe, the North cape.
The Northcape event has been held for several years, and while it always ends
on the North Cape, the route there varies. Last years’ route went through the
Baltics, but this years’ was perhaps as direct as possible - taking us through
Italy, Austria, Switzerland, Germany, th...
--------------------
Ian Jackson: Hippotat (IP over HTTP) - first advertised release
https://diziet.dreamwidth.org/12934.html
September 28, 2022, 8:12 PM
I have released version 1.0.0 of Hippotat, my IP-over-HTTP system. To quote the README:
You’re in a cafe or a hotel, trying to use the provided wifi. But it’s not working. You discover that port 80 and port 443 are open, but the wifi forbids all other traffic.
Never mind, start up your hippotat client. Now you have connectivity. Your VPN and SSH and so on run over Hippotat. The result is not very efficient, but it does work.
Story
In early 2017 I was in a mountaintop cafeteria, hoping to...
--------------------
Vincent Fourmond: Version 3.1 of QSoas is out
https://vince-debian.blogspot.com/2022/09/version-31-of-qsoas-is-out.html
September 28, 2022, 1:29 PM
The new version of QSoas has just been released ! It brings in a host of new features, as the releases before, but maybe the most important change is the following...
Binary images now freely available !
Starting from now, all the binary images for the new versions of QSoas will freely available from the download page. You can download the precompiled versions of QSoas for MacOS or windows. So now, you have no reason anymore not to try !
My aim with making the binaries freely available is also ...
--------------------
François Marier: Upgrading from chan_sip to res_pjsip in Asterisk 18
https://feeding.cloud.geek.nz/posts/upgrading-from-chan_sip-to-res_pjsip-asterisk-18/
September 27, 2022, 11:30 PM
After upgrading to Ubuntu Jammy and
Asterisk 18.10, I saw the following messages in
my logs:
WARNING[360166]: loader.c:2487 in load_modules: Module 'chan_sip' has been loaded but was deprecated in Asterisk version 17 and will be removed in Asterisk version 21.
WARNING[360174]: chan_sip.c:35468 in deprecation_notice: chan_sip has no official maintainer and is deprecated. Migration to
WARNING[360174]: chan_sip.c:35469 in deprecation_notice: chan_pjsip is recommended. See guides at the Asterisk ...
--------------------
Steve McIntyre: Firmware again - updates, how I'm voting and why!
https://blog.einval.com/2022/09/27#firmware-vote
September 27, 2022, 5:46 PM
Updates
Back in April I wrote about
issues
with how we handle firmware in Debian, and I also spoke about it at
DebConf
in July. Since then, we've started the General Resolution process -
this led to a lot of discussion on the
the debian-vote
mailing list and we're now into the second week of
the voting
phase.
The discussion has caught the interest of a few news sites along
the way:
Debian to vote on
its firmware path in Linux Weekly News
Debian
Begins A General Resolution To Decide W...
--------------------
Jelmer Vernooij: Northcape 4000
https://www.jelmer.uk/northcape4000.html
September 26, 2022, 10:00 PM
This summer, I signed up to participate in the Northcape 4000
<https://www.northcape4000.com/>, an annual 4000km bike ride between Rovereto
(in northern Italy) and the northernmost point of Europe, the North cape.
The Northcape event has been held for several years, and while it always ends
on the North Cape, the route there varies. Last years’ route went through the
Baltics, but this years’ was perhaps as direct as possible - taking us through
Italy, Austria, Switzerland, Germany, th...
--------------------
Bits from Debian: New Debian Developers and Maintainers (July and August 2022)
https://bits.debian.org/2022/09/new-developers-2022-08.html
September 26, 2022, 2:00 PM
The following contributors got their Debian Developer accounts in the last two months:
Sakirnth Nagarasa (sakirnth)
Philip Rinn (rinni)
Arnaud Rebillout (arnaudr)
Marcos Talau (talau)
The following contributors were added as Debian Maintainers in the last two months:
Xiao Sheng Wen
Andrea Pappacoda
Robin Jarry
Ben Westover
Michel Alexandre Salim
Congratulations!...
--------------------
Sergio Talens-Oliag: Kubernetes Static Content Server
https://blogops.mixinet.net/posts/k8s_static_content_server/
September 25, 2022, 10:12 PM
This post describes how I’ve put together a simple static content server for
kubernetes clusters using a Pod with a persistent volume and multiple
containers: an sftp server to manage contents, a web server to publish them
with optional access control and another one to run scripts which need access
to the volume filesystem.
The sftp server runs using
MySecureShell, the web
server is nginx and the script runner uses the
webhook tool to publish endpoints to call
them (the calls will come from o...
--------------------
Shirish Agarwal: Rama II, Arthur C. Clarke, Aliens
https://flossexperiences.wordpress.com/2022/09/25/rama-ii-arthur-c-clarke-aliens/
September 25, 2022, 9:07 AM
Rama II
This would be more of a short post about the current book I am reading. Now people who have seen Arrival would probably be more at home. People who have also seen Avatar would also be familiar to the theme or concept I am sharing about. Now before I go into detail, it seems that Arthur C. Clarke wanted to use a powerful god or mythological character for the name and that is somehow the RAMA series started.
Now the first book in the series explores an extraterrestrial spaceship that...
--------------------
Ian Jackson: Please vote in favour of the Debian Social Contract change
https://diziet.dreamwidth.org/12581.html
September 24, 2022, 7:08 PM
tl;dr: Please vote in favour of the Debian Social Contract change, by ranking all of its options above None of the Above. Rank the SC change options above corresponding options that do not change the Social Contract.
Vote to change the SC even if you think the change is not necessary for Debian to prominently/officially provide an installer with-nonfree-firmware.
Why vote for SC change even if I think it’s not needed?
I’m addressing myself primarily to the reader who agrees with me that Debi...
--------------------
Gunnar Wolf: 6237415
https://gwolf.org/2022/09/6237415.html
September 23, 2022, 4:03 PM
Years ago, it was customary that some of us stated publicly the way we
think in time of Debian General Resolutions (GRs). And even if we
didn’t, vote lists were open (except when voting for people,
i.e. when electing a DPL), so if interested we could understand what
our different peers thought.
This is the first vote, though, where a Debian vote is protected under
voting secrecy. I think
it is sad we chose that path, as I liken a GR vote more with a voting
process within a general assembly of...
--------------------
Steve Kemp: Lisp macros are magical
https://blog.steve.fi/lisp_macros_are_magical.html
September 23, 2022, 2:30 PM
In my previous post I introduced yet another Lisp interpreter. When it was posted there was no support for macros.
Since I've recently returned from a visit to the UK, and caught COVID-19 while I was there, I figured I'd see if my brain was fried by adding macro support.
I know lisp macros are awesome, it's one of those things that everybody is told. Repeatedly. I've used macros in my emacs programming off and on for a good few years, but despite that I'd not really given them too much th...
--------------------
Reproducible Builds (diffoscope): diffoscope 222 released
https://diffoscope.org/news/diffoscope-222-released/
September 23, 2022, 12:00 AM
The diffoscope maintainers are pleased to announce the release of diffoscope
version 222. This version includes the following changes:
[ Mattia Rizzolo ]
* Use pep517 and pip to load the requirements. (Closes: #1020091)
* Remove old Breaks/Replaces in debian/control that have been obsoleted since
bullseye
You find out more by visiting the project homepage....
--------------------
Jonathan Dowland: Nine Inch Nails, Cornwall, June
https://jmtd.net/log/nin_cornwall/
September 22, 2022, 10:09 AM
In June I travelled to see Nine Inch Nails perform two nights at the Eden
Project in Cornwall. It'd been eight
years since I last saw them live and when they announced
the Eden shows, I thought it might be the only chance I'd get to see them for a
long time. I committed, and sods law, a week or so later they announced a
handful of single-night UK club shows. On the other hand, on previous tours
where they'd typically book two club nights in each city, I've attended one
night and always felt I sh...
--------------------
Simon Josefsson: Privilege separation of GSS-API credentials for Apache
https://blog.josefsson.org/2022/09/20/privilege-separation-of-gss-api-credentials-for-apache/
September 20, 2022, 6:40 AM
To protect web resources with Kerberos you may use Apache HTTPD with mod_auth_gssapi — however, all web scripts (e.g., PHP) run under Apache will have access to the Kerberos long-term symmetric secret credential (keytab). If someone can get it, they can impersonate your server, which is bad.
The gssproxy project makes it possible to introduce privilege separation to reduce the attack surface. There is a tutorial for RPM-based distributions (Fedora, RHEL, AlmaLinux, etc), but I wanted to get...
--------------------
Matthew Garrett: Handling WebAuthn over remote SSH connections
https://mjg59.dreamwidth.org/61232.html
September 20, 2022, 2:17 AM
Being able to SSH into remote machines and do work there is great. Using hardware security tokens for 2FA is also great. But trying to use them both at the same time doesn't work super well, because if you hit a WebAuthn request on the remote machine it doesn't matter how much you mash your token - it's not going to work.But could it?The SSH agent protocol abstracts key management out of SSH itself and into a separate process. When you run "ssh-add .ssh/id_rsa", that key is being loaded into the...
--------------------
Antoine Beaupré: Looking at Wayland terminal emulators
https://anarc.at/blog/2022-09-19-wayland-terminal-emulators/
September 19, 2022, 4:41 PM
Back in 2018, I made a two part series about terminal emulators
that was actually pretty painful to write. So I'm not going to retry
this here, not at all. Especially since I'm not submitting this to the
excellent LWN editors so I can get away with not being very good
at writing. Phew.
Still, it seems my future self will thank me for collecting my
thoughts on the terminal emulators I have found out about since I
wrote that article. Back then, Wayland was not quite at the level
where it is now, ...
--------------------
Matthew Garrett: Bring Your Own Disaster
https://mjg59.dreamwidth.org/61089.html
September 19, 2022, 7:12 AM
After my last post, someone suggested that having employers be able to restrict keys to machines they control is a bad thing. So here's why I think Bring Your Own Device (BYOD) scenarios are bad not only for employers, but also for users.There's obvious mutual appeal to having developers use their own hardware rather than rely on employer-provided hardware. The user gets to use hardware they're familiar with, and which matches their ergonomic desires. The employer gets to save on the money requi...
--------------------
Axel Beckert: wApua 0.06.4 released
http://noone.org/blog/English/Computer/Web/Browsers/wApua%200.06.4%20released.html
September 19, 2022, 12:55 AM
I today released version 0.06.4
of my WAP WML browser wApua and also uploaded that release to Debian Unstable.
It’s a bugfix release and the first upstream release since 2017.
It fixes the recognition of WAP WML pages with more recent DTD
location URLs ending in .dtd instead of .xml
(and some other small difference). No idea when these URLs changed,
but I assume they have been changed to look more like the URLs of
other DTDs. The old URLs of the DTD still work, but more recent WAP
pages ...
--------------------
Russ Allbery: Effective altruism and the control trap
https://www.eyrie.org/~eagle/journal/2022-09/001.html
September 17, 2022, 8:49 PM
William MacAskill has been on a book tour for What We Owe to the
Future, which has put effective altruism back in the news. That plus the
decision by GiveWell to
remove GiveDirectly from their top charity list got me thinking about
charity again. I think effective altruism, by embracing long-termism, is
falling into an ethical trap, and I'm going to start heavily discounting
their recommendations for donations.
Background
Some background first for people who have no idea what I'm talking a...
--------------------
Shirish Agarwal: Books and Indian Tourism
https://flossexperiences.wordpress.com/2022/09/18/books-and-indian-tourism/
September 17, 2022, 7:32 PM
Fiction
A few days ago somebody asked me and I think it is an often requested to perhaps all fiction readers as to why we like fiction? First of all, reading in itself is told as food for the soul. Because, whenever you write or read anything you don’t just read it, you also visualize it. And that visualization is and would be far greater than any attempt in cinema as there are no budget constraints and it takes no more than a minute to visualize a scenario if the writer is any good. You ju...
--------------------
James Valleroy: How I avoid sysadmin work
https://jvalleroy.me/wordpress/?p=46
September 17, 2022, 2:55 PM
The server running this blog is a RockPro64 sitting in my living room. Besides WordPress (the blogging software), I run various other services on it:
Bepasty for sharing files,Ikiwiki for taking notes,Quassel for staying connected to IRC chat servers,Radicale for synchronizing my calendar and tasks,Shaarli for sharing bookmarks, andTiny Tiny RSS for reading other people’s blogs.
Most of these are for my personal use, and a few of them have pages for public viewing (linked at the top of t...
--------------------
Jonathan Dowland: Prusa Mini
https://jmtd.net/log/prusa_mini/
September 17, 2022, 7:56 AM
In June I caved and bought a Prusa
Mini
3D printer for home. I bought it just before an announced price hike. I went
for a Prusa because of their reputation for "just working", and the Mini mostly
as its the cheapest, although, the print area (7"³) is large enough for most of
the things I am likely to print.
To get started, at the same time I bought some Prusament recycled
PLA to print
with which, unfortunately, I've been a little disappointed with.
I was attracted to the idea of buyi...
--------------------
Jonathan Dowland: Introducing Red Hat UBI9 OpenJDK runtime images
https://jmtd.net/log/ubi9-openjdk/
September 17, 2022, 6:11 AM
A few weeks ago we shipped the first RHEL UBI9-based OpenJDK container images.
Universal Base Image (UBI) is an initiative where you can obtain, share and
build upon official Red Hat container images without needing a Red Hat
subscription. They're exactly the same base images that Red Hat products are
built upon, composed entirely of Open Source software. Your precise rights are
covered in the
EULA.
Nowadays we offer two flavours of images, the original style (now termed
builder images) and le...
--------------------
Joachim Breitner: rec-def: Dominators case study
http://www.joachim-breitner.de/blog/795-rec-def__Dominators_case_study
September 15, 2022, 8:27 AM
More ICFP-inspired experiments using the rec-def library: In Norman Ramsey’s very nice talk about his Functional Pearl “Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structured Control Flow”, he had the following slide showing the equation for the dominators of a node in a graph:
Norman Ramsey shows a formula
He said “it’s ICFP and I wanted to say the dominance relation has a beautiful set of equations … you can read all these algorithms how to compute thi...
--------------------
Matthew Garrett: git signatures with SSH certificates
https://mjg59.dreamwidth.org/60916.html
September 15, 2022, 1:34 AM
Last night I complained that git's SSH signature format didn't support using SSH certificates rather than raw keys, and was swiftly corrected, once again highlighting that the best way to make something happen is to complain about it on the internet in order to trigger the universe to retcon it into existence to make you look like a fool. But anyway. Let's talk about making this work!git's SSH signing support is actually just it shelling out to ssh-keygen with a specific set of options, so let's...
--------------------
Joachim Breitner: rec-def: Program analysis case study
http://www.joachim-breitner.de/blog/794-rec-def__Program_analysis_case_study
September 14, 2022, 9:53 PM
At this week’s International Conference on Functional Programming I showed my rec-def Haskell library to a few people. As this crowd appreciates writing compilers, and example from the realm of program analysis is quite compelling.
To Throw or not to throw
Here is our little toy language to analyze: It has variables, lambdas and applications, non-recursive (lazy) let bindings and, so that we have something to analyze, a way to throw and to catch exceptions:
type Var = String
data Exp
= Var ...
--------------------
Russell Coker: Storing Local Secrets
https://etbe.coker.com.au/2022/09/14/storing-local-secrets/
September 14, 2022, 1:01 AM
In the operation of a normal Linux system there are many secrets stored on behalf of a user. Wifi passwords, passwords from web sites, etc. Ideally you want them to be quickly and conveniently accessible to the rightful user but also be as difficult as possible for hostile parties to access.
The solution in GNOME and KDE is to have a wallet that is encrypted to store such passwords, the idea is that if a hostile party gets access to a PC that doesn’t use full disk encryption then the secrets w...
--------------------
Alberto García: Adding software to the Steam Deck with systemd-sysext
https://blogs.igalia.com/berto/2022/09/13/adding-software-to-the-steam-deck-with-systemd-sysext/
September 13, 2022, 6:00 PM
Introduction: an immutable OS
The Steam Deck runs SteamOS, a single-user operating system based on Arch Linux. Although derived from a standard package-based distro, the OS in the Steam Deck is immutable and system updates replace the contents of the root filesystem atomically instead of using the package manager.
An immutable OS makes the system more stable and its updates less error-prone, but users cannot install additional packages to add more software. This is not a problem for most users s...
--------------------
Petter Reinholdtsen: Time to translate the Bullseye edition of the Debian Administrator's Handbook
https://people.skolelinux.org/pere/blog/Time_to_translate_the_Bullseye_edition_of_the_Debian_Administrator_s_Handbook.html
September 12, 2022, 1:45 PM
(The picture is of the previous edition.)
Almost two years after the previous Norwegian Bokmål translation of
the "The Debian Administrator's
Handbook" was published, a new edition is finally being prepared. The
english text is updated, and it is time to start working on the
translations. Around 37 percent of the strings have been updated, one
way or another, and the translations starting from a complete Debian Buster
edition now need to bring their translation up from 63% to 100%. The
comp...
--------------------
Dirk Eddelbuettel: RcppArmadillo 0.11.2.4.0 on CRAN: Bugfix and Deprecation
http://dirk.eddelbuettel.com/blog/2022/09/11#rcpparmadillo_0.11.2.4.0
September 11, 2022, 8:31 PM
Armadillo is a powerful and expressive C++ template library for linear algebra and scientific computing. It aims towards a good balance between speed and ease of use, has a syntax deliberately close to Matlab, and is useful for algorithm development directly in C++, or quick conversion of research code into production environments. RcppArmadillo integrates this library with the R environment and language–and is widely used by (currently) 1016 packages other packages on CRAN, downloaded 26.2 mi...
--------------------
Shirish Agarwal: Politics, accessibility, books
https://flossexperiences.wordpress.com/2022/09/11/politics-accessibility-books/
September 11, 2022, 3:47 AM
Politics
I have been reading books, both fiction and non-fiction for a long long time. My first book was a comic most probably when I was down with Malaria when I was a kid. I must be around 4-5 years old. Over the years, books have given me great joy and I continue to find nuggets of useful information, both in fiction as well as non-fiction books. So here’s to sharing something and how that can lead you to a rabbit hole. This entry would be a bit NSFW as far as language is concerned.
...
--------------------
Russ Allbery: Review: Hogfather
https://www.eyrie.org/~eagle/reviews/books/0-06-227628-X.html
September 11, 2022, 2:06 AM
Review: Hogfather, by Terry Pratchett

Series:
Discworld #20


Publisher:
Harper


Copyright:
1996


Printing:
February 2014


ISBN:
0-06-227628-X


Format:
Mass market


Pages:
402

Hogfather is the 20th Discworld novel and not a very good place to
start. I recommend at least reading Soul
Music first for a proper introduction to Susan, and you may want to
start with Mort.
When we last saw Susan, she was ...
--------------------
Andrew Cater: 202209110020 - Debian release day(s) - Cambridge - post 4
http://flosslinuxblog.blogspot.com/2022/09/202209110020-debian-release-days.html
September 11, 2022, 12:24 AM
 RattusRattus, Isy, smcv have all just left after a very long day. Steve is finishing up the final stages. The mayhem has quietened, the network cables are coiled, pretty much everything is tidied away. A new experience for two of us - I just hope it hasn't put them off too much.The IRC channels are quiet and we can put this one to bed after a good day's work well done.
--------------------
Andrew Cater: 202209102213 - Debian release day - Cambridge - post 3
http://flosslinuxblog.blogspot.com/2022/09/202209102213-debian-release-day.html
September 10, 2022, 10:18 PM
Working a bit more slowly - coming to the end of the process. I've been wrestling with a couple of annoying old laptops and creating mayhem. The others are almost through the process - it's been a very long day, almost 12 hours now.As ever, it's good to be with people who appreciate this work - I'm also being menaced by a dog that wants fuss all the time. It certainly makes a difference to have fast connectivity and even faster remarks backwards and forwards....
--------------------
Andrew Cater: 202209101602 Debian release day - Cambridge - post 2
http://flosslinuxblog.blogspot.com/2022/09/202209101602-debian-release-day.html
September 10, 2022, 4:14 PM
Definitely settling into a rhythm - we've been joined by smcv in person (and bittin on line). Bullseye testing is now well beyond the standard image testing into the live images.Buster images are gradually being built so there's the added confusion of two sets of wiki editing, two sets of potential edit conflicts ...So six people in a small-ish sitting room, several with multiple laptops running several checks at once. It's all good, as ever.Dining room table has nine machines on it, three packe...
--------------------
Andrew Cater: 202209101115 Debian release day - Cambridge - Bullseye and Buster testing starting
http://flosslinuxblog.blogspot.com/2022/09/202209101115-debian-release-day.html
September 10, 2022, 11:21 AM
And I'm over here with the Debian images/media release team in Cambridge.First time together in Cambridge for a long time: several of the usual suspects - RattusRattus, Sledge, Isy and myself. Also in the room are Kartik and egw - I think this is their first time.Chat is now physically in Sledge's sitting room as well as on IRC. The first couple of images are trickling in and tests are starting for Bullseye.This is going to be a very long day - we've got full tests for Bullseye (Debian 11) and B...
--------------------
Holger Levsen: 20220910-youngest-LUKS-user
http://layer-acht.org/thinking/blog/20220910-youngest-LUKS-user/
September 10, 2022, 10:39 AM
youngest LUKS user I know...
So I'm in Berlin currently to attend the fourth Qubes OS Summit, also to discuss the future of the reproducible-builds.org mirror of snapshot.debian.org and in the evening I've met an old Debian friend who told a lovely story about his 5 year old daughter, who since recently is a Debian user using an old laptop with LUKS encryption, knowing her data will be lost when she forgets her passphrase... 😀
The Qubes OS Summit is also very cool, great people and exciting...
--------------------
Joachim Breitner: rec-def: Behind the scenes
http://www.joachim-breitner.de/blog/793-rec-def__Behind_the_scenes
September 10, 2022, 9:08 AM
A week ago I wrote about the rec-def Haskell library, which allows you to write more recursive definitions, such as in this small example:
let s1 = RS.insert 23 s2
s2 = RS.insert 42 s1
in RS.get s1
This will not loop (as it would if you’d just used Data.Set), but rather correctly return the set S.fromList [23,42]. See the previous blog post for more examples and discussion of the user-facing side of this.
For quick reference, these are the types of the functions involved here:
insert :: a ...
--------------------
Reproducible Builds: Reproducible Builds in August 2022
https://reproducible-builds.org/reports/2022-08/
September 9, 2022, 12:53 PM
Welcome to the August 2022 report from the Reproducible Builds project! In these reports we outline the most important things that we have been up to over the past month. As a quick recap, whilst anyone may inspect the source code of free software for malicious flaws, almost all software is distributed to end users as pre-compiled binaries. The motivation behind the reproducible builds effort is to ensure no flaws have been introduced during this compilation process by promising identical result...
--------------------
Emmanuel Kasper: “Forever loading” error with Jitsi and Google Meet
https://00formicapunk00.wordpress.com/2022/09/09/forever-loading-error-with-jitsi-and-google-meet/
September 9, 2022, 7:25 AM
I had this issue preventing me to start a call, which happened on two different browsers. It turned out that the pulseaudio service was hung, and no audio devices were available for the browser to use.
In that case it makes sense to check:
if pulseaudio is running
systemctl status --user pulseaudio
if pulseaudio is running, that you have a list from input (sources) and output (sinks) audio devices in the Gnome Desktop Settings. You can also check from the command line with
pactl list source...
--------------------
Antoine Beaupré: Complaint about Canada's phone cartel
https://anarc.at/blog/2022-09-08-fido-crtc-complaint/
September 8, 2022, 2:45 PM
I have just filed a complaint with the CRTC about my phone
provider's outrageous fees. This is a copy of the complaint.
I am traveling to Europe, specifically to Ireland, for a 6 days for a
work meeting.
I thought I could use my phone there. So I looked at my phone provider's
services in Europe, and found the "Fido roaming" services:
https://www.fido.ca/mobility/roaming
The fees, at the time of writing, at fifteen (15!) dollars PER DAY
to get access to my regular phone service (not unlimited...
--------------------
Thorsten Alteholz: My Debian Activities in August 2022
http://blog.alteholz.eu/2022/09/my-debian-activities-in-august-2022/
September 8, 2022, 10:38 AM
FTP master
This month I accepted 375 and rejected 25 packages. The overall number of packages that got accepted was 386.
I also had a closer look at the RM-bugs. All in all I addressed about 90 of them and either simply removed the package or added a moreinfo tag. In total I spent 13 hours for this task.
Anyway, if you want to have your RM-bug processed in a timely manner, please have a look at the removal page and check whether the created dak command is really what you wanted. It would also he...
--------------------