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
from my link log —
Implementing dependent types in pi-forall.
https://arxiv.org/abs/2207.02129
saved 2025-06-06 https://dotat.at/…
"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
🇺🇦 #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
#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.
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