Tootfinder

Sound Borrow-Checking for Rust via Symbolic Semantics
Son Ho, Aymeric Fromherz, Jonathan Protzenko
https://arxiv.org/abs/2404.02680 https://

Sound Borrow-Checking for Rust via Symbolic Semantics
The Rust programming language continues to rise in popularity, and as such, warrants the close attention of the programming languages community. In this work, we present a new foundational contribution towards the theoretical understanding of Rust's semantics. We prove that LLBC, a high-level, borrow-centric model previously proposed for Rust's semantics and execution, is sound with regards to a low-level pointer-based language à la CompCert. Specifically, we prove the following: that LLBC is …

Clowney ready to bring prove-it mode to Panthers https://www.espn.com/nfl/story/_/id/39833854/jadeveon-clowney-ready-bring-prove-mode-hometown-panthers

Jadeveon Clowney ready to bring prove-it mode to hometown Panthers - ESPN
Edge rusher Jadeveon Clowney can't wait to bring the prove-it mode he's been in to his hometown Carolina Panthers since his falling out with the Cleveland Browns at the end of the 2022 season.

U.S. Documentary Filmmakers & Execs Ponder Life After The Golden Age
https://deadline.com/2024/05/documentary-industy-ponders-life-after-the-golden-age-imagine-cinetic-submarine-cannes-1235928460/…

U.S. Documentary Filmmakers And Execs Shake Off The Post-Boom Gloom & Ponder Life After The Golden Age
U.S. Documentary Filmmakers And Execs Shake Off The Post-Boom Gloom & Ponder Life After The Golden Age

Feeling great
https://poorlydrawnlines.com/comic/feeling-great/

Three best team fits for LSU WR Brian Thomas Jr. https://www.yardbarker.com/nfl/articles/three_best_team_fits_for_lsu_wr_brian_thomas_jr/s1_13132_40187101

Three best team fits for LSU WR Brian Thomas Jr.
LSU wide receiver Brian Thomas Jr. is flying up draft boards. In his latest big board, ESPN's Mel Kiper Jr. rates him as the 11th-best prospect in this draft class. Thomas Jr. proved he's worthy of a first-round selection at the scouting combine, showcasing elite speed. The 6-foot-3, 209-pounder tied for the third-fastest 40-yard dash (4.33 seconds). With that in mind, here are three teams that would be an ideal fit for the talented wideout. Dallas Cowboys  The Cowboys already have a No. 1 WR …

Trepidations but I ask for own #learning: Why does fmt require casting ptr to void*? I assume there are technical reasons (or it wouldn't be required) which I'm just failing to see. Are there links where I can learn more? 🙏🏽
BTW I dabbled a bit to *convince myself* that arbitrary ptr types can be recognized without casting in client code:

Compiler Explorer - C++
//f is highly simplified proxy for fmt

I'm a happy user of KDEConnect, especially for using my smartphone as a presentation remote and pointer.
A puzzle that has been bothering me for a while is the following: how does the pointer function work at all? In other words, how does it 'know' where to make the pointer appear, esp. if the presentation is being projected onto a different surface than the computer screen? I know about the gyroscope, but it is only part of the explanation...

"#Spring was moving in the air above and in the earth below and around him, penetrating even his dark and lowly little house with its spirit of #DivineDiscontent and longing"
Mole, reacting to the first days of spring in

2024 NFL free agency: Panthers add former first-round pass rusher following Brian Burns trade, per report

https://www.cbssports.com/nfl/news/2024-…

2024 NFL free agency: Panthers add former first-round pass rusher following Brian Burns trade, per report
K'Lavon Chaisson is heading to Carolina

Report: Dallas Cowboys Given 1 More Chance To Bring Back 5X Pro Bowl Player Before Losing Him To Panthers https://www.yardbarker.com/nfl/articles/report_dallas_cowboys_give…

Report: Dallas Cowboys Given 1 More Chance To Bring Back 5X Pro Bowl Player Before Losing Him To Panthers
The Dallas Cowboys will have about a week to lock down a new deal with a key starter from the 2023 season–or they could walk to the Carolina Panthers. The Cowboys have had an anemic free agency this offseason following Jerry Jones’ pledge that he’d be “all-in” for the upcoming season. With the addition of running back Royce Freeman, the Cowboys have signed two outside free agents since the start of the league’s new year in March. The Cowboys have seen core members like Tony Pollard …