Tootfinder

@… Well, sounds like you’re doing something far more extravagant, but in case it helps: https://codeberg.org/ooble/fyg…

At this point again where I have no serial console but a display only and the kernel I built from the vendor sources appears to crash or smth, causing a reset. So I add infinite loops early in the kernel to narrow down where it happens. Thus far, we made it into init/main.c past mm_init().

Systemd is one of the best things in moving Linux forward in a long time.
(Original title: systemd has been a complete, utter, unmitigated success)
https://blog.tjll.net/the-systemd-revolution-has-been-a-success/

Die Sächsische will wissen, wie viele Fahrstreifen die neue #Carolabrücke haben soll:
https://aktion.saechs…

wut??

I just implemented librenms-agent and the certificate check on my systems.
I just love the way I can easily access information about a system across its configuration.
For the certificate check I need the domain/s of the system.
While I'm sure this could be further improved it is already a lot of fun to use.
```
az-librenms-certificate = {
enable = true;
domains = [
{ fqdn = "${config.services.freshrss.virtualHost}&qu…

It is fascinating (maybe not the word everyone would use) to watch, what once was viewed as an init replacement, systemd evolve. Terminal emulation:
https://mastodon.social/@pid_eins/114618473677694301

With a sigh of relief (wandering soul et al..) I can mention I've just installed Artix Linux, with the runit init system, Zen kernel and Cosmic alpha 7. My first steps with runit were with Void Linux, obviously. I just love its sparseness and clarity, I think it has become my favorite. Onwards we go!
#cosmic

I think I can take a few more shortcuts.
Understanding the remaining part still requires quite some effort though. I am making small yet good steps again.
RK3566 DRAM init ETA when? 😅

LeanExplore: A search engine for Lean 4 declarations
Justin Asher (Independent Researcher)
https://arxiv.org/abs/2506.11085 https://a…

LeanExplore: A search engine for Lean 4 declarations
The expanding Lean 4 ecosystem poses challenges for navigating its vast libraries. This paper introduces LeanExplore, a search engine for Lean 4 declarations. LeanExplore enables users to semantically search for statements, both formally and informally, across select Lean 4 packages (including Batteries, Init, Lean, Mathlib, PhysLean, and Std). This search capability is powered by a hybrid ranking strategy, integrating scores from a multi-source semantic embedding model (capturing conceptual me…

Right a few days before I'll be talking about patterns in DRAM init at #GPN23, #Binarly are posting on their type inference tooling:

Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
Learn how Binarly enhances decompiled code by recovering meaningful type info—boosting binary analysis, triage, and reverse engineering accuracy.