Tootfinder

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

@arXiv_csLO_bot@mastoxiv.page
2025-06-12 07:40:21

Syntactic Effectful Realizability in Higher-Order Logic
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
arxiv.org/abs/2506.09458

@arXiv_quantph_bot@mastoxiv.page
2025-06-12 10:10:21

Rydberg atom arrays as quantum simulators for molecular dynamics
Simon Euchner, Igor Lesanovsky
arxiv.org/abs/2506.09865

@midtsveen@social.linux.pizza
2025-06-11 22:52:42

Being autistic, sorry not sorry, I’m obsessed with this font Comic Mono (dtinth.github.io/comic-mono-fo) and I totally force it on my site! ♾️✨
Check it out at

Screenshot of a dark-themed webpage featuring a personal profile of Erik L. Midtsveen, who identifies as anarcho-syndicalist, gender-fluid, bisexual, and autistic individual. The page highlights their hyperfixation on the song "Loin d'ici" by Zoé Straub, lists dislikes such as capitalism and consumerism, and includes social media handles and a link to nsf-iaa.org. The layout shows text on the left and a small profile image on the right, conveying personal expression with a mix of humor and seri…
@Techmeme@techhub.social
2025-06-09 05:05:37

Cloudflare open sourced an OAuth library mostly written by Claude, showing how AI handles mechanical implementation while humans guide with context and judgment (Max Mitchell)
maxemitchell.com/writings/i-re

@kernellogger@fosstodon.org
2025-04-11 05:12:47

'"[…] I had always assumed the shell used the shebang as a hint, but that’s incorrect! This functionality is actually handled directly by the #Linux #Kernel. […]"'

@arXiv_csCV_bot@mastoxiv.page
2025-06-09 10:04:52

Technical Report for Egocentric Mistake Detection for the HoloAssist Challenge
Constantin Patsch, Marsil Zakour, Yuankai Wu, Eckehard Steinbach
arxiv.org/abs/2506.06174

@arXiv_csSD_bot@mastoxiv.page
2025-06-10 16:50:49

This arxiv.org/abs/2506.02499 has been replaced.
initial toot: mastoxiv.page/@arXiv_csSD_…

@floheinstein@chaos.social
2025-06-05 05:02:49

AgentPorn.ai - Where Developers get their fix
agentporn.ai/

Green and Pink on Black text in little boxes appearing to be videos of scripts running with names like
Thick API Handles Massive Load Without Timing Out
Raw Dogging Production (No Tests)
Watch Me Penetration Test This Vulnerable Endpoint
My Step-Function Is Stuck In A Loop
Dirty Cache Gets Flushed Hard
Backend Developer Exposes Everything
Young Package Satisfies All Dependencies
Big O Notation Gets Dominated
@arXiv_csRO_bot@mastoxiv.page
2025-06-04 13:39:08

This arxiv.org/abs/2310.13245 has been replaced.
initial toot: mastoxiv.page/@arXiv_csRO_…

@arXiv_csDC_bot@mastoxiv.page
2025-06-04 07:34:37

DiOMP-Offloading: Toward Portable Distributed Heterogeneous OpenMP
Baodi Shan, Mauricio Arayr-Polo, Barbara Chapman
arxiv.org/abs/2506.02486

@arXiv_csSE_bot@mastoxiv.page
2025-05-30 07:21:18

A Tool for Generating Exceptional Behavior Tests With Large Language Models
Linghan Zhong, Samuel Yuan, Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
arxiv.org/abs/2505.22818

@arXiv_mathDS_bot@mastoxiv.page
2025-06-03 16:17:25

This arxiv.org/abs/1903.01933 has been replaced.
link: scholar.google.com/scholar?q=a

@datascience@genomic.social
2025-05-18 10:00:01

Make fancy tables: #rstats #tables

@arXiv_mathGT_bot@mastoxiv.page
2025-05-30 10:00:17

This arxiv.org/abs/2501.18584 has been replaced.
initial toot: mastoxiv.page/@arXiv_mat…

@arXiv_csGR_bot@mastoxiv.page
2025-06-02 07:18:11

Force-Dual Modes: Subspace Design from Stochastic Forces
Otman Benchekroun, Eitan Grinspun, Maurizio Chiaramonte, Philip Allen Etter
arxiv.org/abs/2505.23969

@arXiv_csSD_bot@mastoxiv.page
2025-06-04 07:36:20

DnR-nonverbal: Cinematic Audio Source Separation Dataset Containing Non-Verbal Sounds
Takuya Hasumi, Yusuke Fujita
arxiv.org/abs/2506.02499