Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@whitequark@mastodon.social
2025-06-01 19:53:45

always a good day when you can remove a complex piece of code and make a more powerful system that is easier to understand
github.com/GlasgowEmbedded/gla

Redesign `IOStreamer` and use it to double f_max for `swd-probe` applet by whitequark · Pull Request #873 · GlasgowEmbedded/glasgow
This greatly improves probe-rs performance as well, beating every single probe in this probe-rs performance comparison with a significant margin: Probe: Probe type Glasgow Interface Explorer, debug...

@fanf@mendeddrum.org
2025-08-02 17:42:03

from my link log —
Making a compiler to prove tmux Is Turing complete.
willhbr.net/2024/03/15/making-
saved 2025-08-01

Making a Compiler to Prove tmux Is Turing Complete
You can use features of tmux to implement a Turing-complete instruction set, allowing you to compile code that runs in tmux by moving windows. I feel like I really have to emphasise this: I’m not running a command-line program in tmux, or using tmux to launch a program. I can get tmux to run real code by switching between windows. Watch a demo of it in action below or on YouTube: This whole mess started when I solved an issue...

@muz4now@mastodon.world
2025-08-03 01:01:01

Preview videos of the final DreamState suite #inspiration #music #musicvideo

Preview videos of the final DreamState suite
Stan Stewart - @muz4now

@arXiv_mathLO_bot@mastoxiv.page
2025-06-03 07:33:48

Coalgebraic proof translations for non-wellfounded proofs
Borja Sierra Miranda, Thomas Studer, Lukas Zenger
arxiv.org/abs/2506.01711

Coalgebraic proof translations for non-wellfounded proofs
Non-wellfounded proof theory results from allowing proofs of infinite height in proof theory. To guarantee that there is no vicious infinite reasoning, it is usual to add a constraint to the possible infinite paths appearing in a proof. Among these conditions, one of the simplest is enforcing that any infinite path goes through the premise of a rule infinitely often. Systems of this kind appear for modal logics with conversely well-founded frame conditions like GL or Grz. In this paper, we pr…

@servelan@newsie.social
2025-08-03 02:49:41

Trump Admin Opens Hatch Act Probe Into Jack Smith - Joe.My.God.
joemygod.com/2025/08/trump-adm

@memeorandum@universeodon.com
2025-07-03 16:46:02

CIA review of 2016 Russia election probe finds no major flaws (Politico)
politico.com/news/2025/07/02/c
memeorandum.com/250703/p58#a25

@servelan@newsie.social
2025-08-02 03:02:35

US Senator Urges DHS to Probe Whether Agents Were Moved From Criminal Cases to Deportations : r/fednews
reddit.com/r/fednews/comments/

@memeorandum@universeodon.com
2025-08-02 13:06:11

Trump Administration Suspends UCLA Grants After Rights Probe (Maxwell Adler/Bloomberg)
bloomberg.com/news/articles/20
memeorandum.com/250802/p19#a25

@servelan@newsie.social
2025-06-03 16:34:39

Scientists Find DNA Proof of Swine Feces in North Carolina Homes | The Daily Yonder
dailyyonder.com/scientists-fin

@memeorandum@universeodon.com
2025-07-01 19:40:41

Ron Klain, other former aides scheduled to testify as part of GOP probe on Biden's mental acuity (Hailey Fuchs/Politico)
politico.com/live-updates/2025
memeorandum.com/250701/p104#a2