Tootfinder

i just found out about #glasgow interface explorer this feels incredibly comfy. it seems to unify all those esp/nrf/stm and other flashing/debugging tools out there. we'll…

probe-rs
probe-rs - the embedded toolkit

LISA -- A Modern Proof System
Simon Guilloud, Sankalp Gambhir, Viktor Kun\v{c}ak
https://arxiv.org/abs/2507.11167 https://arxiv.org/p…

LISA -- A Modern Proof System
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and function symbols. It implements polynomial-time proof checking and uses the axioms of ortholattices (which implies the irrelevance of the order of conjuncts and disjuncts and additional propositional laws). The kernel supports the notion of theorems …

This shared memory pool feature is neat in #dotnet 10 preview 6.
https://github.com/dotnet/core/blob/main/release-no…

core/release-notes/10.0/preview/preview6/aspnetcore.md at main · dotnet/core
.NET news, announcements, release notes, and more! - dotnet/core

from my link log —
Rustls server-side performance.
https://www.memorysafety.org/blog/rustls-server-perf/
saved 2025-05-16 …

Rustls Server-Side Performance
In past years, the Rustls project has been happy to receive substantial investments from the ISRG. One of our goals has been to improve performance without compromising on safety. We last posted about our performance improvements in October of 2024, and we're back to talk about another round of improvements. What is Rustls? Rustls is a memory safe TLS implementation with a focus on performance. It is production ready and used in a wide range of applications.

Carolina Panthers training camp 2025 preview: Key dates, notable additions, biggest storylines https://www.nfl.com/news/carolina-panthers-training-camp-2025-preview-key-dates-notable-additions-biggest-storylines

Giants Hangout | Prep for the Home Opener https://www.giants.com/video/giants-hangout-prep-for-the-home-opener

Atlanta Falcons training camp 2025 preview: Key dates, notable additions, biggest storylines https://www.nfl.com/news/atlanta-falcons-training-camp-2025-preview-key-dates-notable-additions-biggest-storylines

Chicago Bears training camp 2025 preview: Key dates, notable additions, biggest storylines https://www.nfl.com/news/chicago-bears-training-camp-2025-preview-key-dates-notable-additions-biggest-storylines

Minnesota Vikings training camp 2025 preview: Key dates, notable additions, biggest storylines https://www.nfl.com/news/minnesota-vikings-training-camp-2025-preview-key-dates-notable-additions-biggest-storylines

Detroit Lions training camp 2025 preview: Key dates, notable additions, biggest storylines https://www.nfl.com/news/detroit-lions-training-camp-2025-preview-key-dates-notable-additions-biggest-storylines