Tootfinder

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.

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

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

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…

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