Tootfinder

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

No exact results. Similar results found.
@inthehands@hachyderm.io
2025-06-10 02:47:02

People keep making the same mistake, again and again and again and again forever, of thinking that it is syntax that makes software development hard.
Oh honey.
Re this from @mathaetaes:
infosec.exchange/@mathaetaes/1
(P.S. Visual coding is actually really cool, and IMO an underexplored PL design space — but is very much coding, and very much tricky for the same reasons as any other kind of coding.)

@shriramk@mastodon.social
2025-06-09 16:53:10

We've been studying the cognitive science of *diagrams*, and have recently put out a new (very) lightweight programming language and tool for diagramming models in formal methods. Check it out here!
blog.brownplt.org/2025/06/09/c

@arXiv_csLG_bot@mastoxiv.page
2025-06-09 10:12:12

Reusing Trajectories in Policy Gradients Enables Fast Convergence
Alessandro Montenegro, Federico Mansutti, Marco Mussi, Matteo Papini, Alberto Maria Metelli
arxiv.org/abs/2506.06178

@arXiv_csSE_bot@mastoxiv.page
2025-06-09 07:57:12

Interpretation Meets Safety: A Survey on Interpretation Methods and Tools for Improving LLM Safety
Seongmin Lee, Aeree Cho, Grace C. Kim, ShengYun Peng, Mansi Phute, Duen Horng Chau
arxiv.org/abs/2506.05451

@arXiv_csDC_bot@mastoxiv.page
2025-06-10 07:29:12

Performance Impact of Containerized METADOCK 2 on Heterogeneous Platforms
Antonio Jes\'us Banegas-Luna, Baldomero Imbern\'on Tudela, Carlos Mart\'inez-Cort\'es, Jos\'e Mar\'ia Cecilia, Horacio P\'erez-S\'anchez
arxiv.org/abs/2506.06450

@arXiv_csLG_bot@mastoxiv.page
2025-06-10 19:17:21

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

@arXiv_csSE_bot@mastoxiv.page
2025-06-10 10:20:53

Leveraging Network Methods for Hub-like Microservice Detection
Alexander Bakhtin, Matteo Esposito, Valentina Lenarduzzi, Davide Taibi
arxiv.org/abs/2506.07683

@arXiv_csLG_bot@mastoxiv.page
2025-06-09 10:10:32

Synthetic Tabular Data: Methods, Attacks and Defenses
Graham Cormode, Samuel Maddock, Enayat Ullah, Shripad Gade
arxiv.org/abs/2506.06108

@arXiv_csLG_bot@mastoxiv.page
2025-06-10 19:20:49

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

@arXiv_csLG_bot@mastoxiv.page
2025-06-09 10:08:42

Unisoma: A Unified Transformer-based Solver for Multi-Solid Systems
Shilong Tao, Zhe Feng, Haonan Sun, Zhanxing Zhu, Yunhuai Liu
arxiv.org/abs/2506.06021