Tootfinder

CoQuIR: A Comprehensive Benchmark for Code Quality-Aware Information Retrieval
Jiahui Geng, Fengyu Cai, Shaobo Cui, Qing Li, Liangwei Chen, Chenyang Lyu, Haonan Li, Derui Zhu, Walter Pretschner, Heinz Koeppl, Fakhri Karray
https://arxiv.org/abs/2506.11066

CoQuIR: A Comprehensive Benchmark for Code Quality-Aware Information Retrieval
Code retrieval is essential in modern software development, as it boosts code reuse and accelerates debugging. However, current benchmarks primarily emphasize functional relevance while neglecting critical dimensions of software quality. Motivated by this gap, we introduce CoQuIR, the first large-scale, multilingual benchmark specifically designed to evaluate quality-aware code retrieval across four key dimensions: correctness, efficiency, security, and maintainability. CoQuIR provides fine-gra…

from my link log —
Implementing dependent types in pi-forall.
https://arxiv.org/abs/2207.02129
saved 2025-06-06 https://dotat.at/…

Implementing Dependent Types in pi-forall
These lecture notes describe the design of a minimal dependently-typed language called "pi-forall" and walk through the implementation of its type checker. They are based on lectures given at the Oregon Programming Languages Summer School during July 2023.

"10 1 im Lesesaal {der @…], diesmal: Spröde Samtpfoten" https://blog.sbb.berlin/?p=132437

Series B, Episode 03 - Weapon
COSER: Now, even if Security trace us to this planet, they'll assume the ship crashed and we died in the explosion. Did you hear what I said?
RASHEL: Yes.
COSER: Well?
RASHEL: It's a very clever plan, sir.
https://blake.torpidity.net/m/203/2

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Erika de Casier:
🎵 Seasons
#ErikadeCasier
https://erikadecasier.bandcamp.com/track/seasons
https://open.spotify.com/track/5RBv4o9OW0v8NWVNrs5krA

Incêndio em um apartamento no andar de baixo ao meu durante a madrugada. Não tive nenhum tipo de prejuízo, apesar de ter inalado um pouco de fumaça. Mas a dona do apartamento em questão foi hospitalizada, não sei em que estado ela estš.
Mesmo assim, podia ter sido bem pior. Se eu tivesse simplesmente atribuído o cheiro de queimado a alguém queimando lixo (um evento comum na vizinhança) e não tivesse ido checar, esse fogo talvez tivesse queimado todo o prédio e ela nem sequer tivesse con…

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
Michele Alberti (LSL), Fran\c{c}ois Bobot (LSL), Julien Girard-Satabin (LSL), Alban Grastien (LSL), Aymeric Varasse (LSL), Zakaria Chihani (LSL)
https://arxiv.org/abs/2506.12084

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
The formal specification and verification of machine learning programs saw remarkable progress in less than a decade, leading to a profusion of tools. However, diversity may lead to fragmentation, resulting in tools that are difficult to compare, except for very specific benchmarks. Furthermore, this progress is heavily geared towards the specification and verification of a certain class of property, that is, local robustness properties. But while provers are becoming more and more efficient at…

#Blakes7 Series B, Episode 03 - Weapon
COSER: I should have known better. A labor-grade slave. You're pathetic.
[Reception chamber]
SERVALAN: Travis, you are pathetic.
TRAVIS: If you say so.
SERVALAN: Of all the cripple-brained idiots.

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

Series B, Episode 11 - Gambit
TRAVIS: Oh, yes. I'm a hero, too.
CHENIE: So. You've saved his life twice. Why?
TRAVIS: It's my noble nature.
CHENIE: Oh, yes, Travis. I can see. It shines from your one yellow eye. Nobility?
https://blake.torpidity.net/m/211/140

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.