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:
https://infosec.exchange/@mathaetaes/114656764053846137
(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.)
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!
https://blog.brownplt.org/2025/06/09/copeanddrag.html
Reusing Trajectories in Policy Gradients Enables Fast Convergence
Alessandro Montenegro, Federico Mansutti, Marco Mussi, Matteo Papini, Alberto Maria Metelli
https://arxiv.org/abs/2506.06178
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
https://arxiv.org/abs/2506.05451
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
https://arxiv.org/abs/2506.06450
This https://arxiv.org/abs/2504.13151 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…
Leveraging Network Methods for Hub-like Microservice Detection
Alexander Bakhtin, Matteo Esposito, Valentina Lenarduzzi, Davide Taibi
https://arxiv.org/abs/2506.07683
Synthetic Tabular Data: Methods, Attacks and Defenses
Graham Cormode, Samuel Maddock, Enayat Ullah, Shripad Gade
https://arxiv.org/abs/2506.06108 https://
This https://arxiv.org/abs/2505.19038 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…
Unisoma: A Unified Transformer-based Solver for Multi-Solid Systems
Shilong Tao, Zhe Feng, Haonan Sun, Zhanxing Zhu, Yunhuai Liu
https://arxiv.org/abs/2506.06021