Tootfinder

Measure-Theoretic Aspects of Star-Free and Group Languages
Ryoma Sin'ya, Takao Yuyama
https://arxiv.org/abs/2506.14134 https://ar…

Measure-Theoretic Aspects of Star-Free and Group Languages
A language $L$ is said to be ${\cal C}$-measurable, where ${\cal C}$ is a class of languages, if there is an infinite sequence of languages in ${\cal C}$ that ``converges'' to $L$. We investigate the properties of ${\cal C}$-measurability in the cases where ${\cal C}$ is SF, the class of all star-free languages, and G, the class of all group languages. It is shown that a language $L$ is SF-measurable if and only if $L$ is GD-measurable, where GD is the class of all generalised definite language…

word_adjacency: Word Adjacency Networks
Directed Networks of word adjacency in texts of several languages including English, French, Spanish and Japanese.
This network has 7381 nodes and 46281 edges.
Tags: Informational, Language, Unweighted
https://networks.skewed.de/net/word_ad

Optimized Execution of FreeCHR
Sascha Rechenberger, Thom Fr\"uhwirth
https://arxiv.org/abs/2506.14485 https://arxiv.org/pdf/2506…

Optimized Execution of FreeCHR
Constraint Handling Rules (CHR) is a rule-based programming language that rewrites collections of constraints. It is typically embedded into a general-purpose language. There exists a plethora of implementations for numerous host languages. However, the existing implementations often re-invent the method of embedding, which impedes maintenance and weakens assertions of correctness. To formalize and thereby unify the embedding of a ground subset of CHR into arbitrary host languages, we introduce…

The Teacher's Dilemma: Balancing Trade-Offs in Programming Education for Emergent Bilingual Students
Emma R. Dodoo, Tamara Nelson-Fromm, Mark Guzdial
https://arxiv.org/abs/2506.14147

The Teacher's Dilemma: Balancing Trade-Offs in Programming Education for Emergent Bilingual Students
K-12 computing teachers must navigate complex trade-offs when selecting programming languages and instructional materials for classrooms with emergent bilingual students. While they aim to foster an inclusive learning environment by addressing language barriers that impact student engagement, they must also align with K-12 computer science curricular guidelines and prepare students for industry-standard programming tools. Because programming languages predominantly use English keywords and most…

Evolving music theory for emerging musical languages
Emmanuel Deruty
https://arxiv.org/abs/2506.14504 https://arxiv.org/pdf/2506.1450…

Evolving music theory for emerging musical languages
This chapter reconsiders the concept of pitch in contemporary popular music (CPM), particularly in electronic contexts where traditional assumptions may fail. Drawing on phenomenological and inductive methods, it argues that pitch is not an ontologically objective property but a perceptual construct shaped by listeners and conditions. Analyses of quasi-harmonic tones reveal that a single tone can convey multiple pitches, giving rise to tonal fission. The perception of pitch may also be multista…

A Rigorous Evaluation of LLM Data Generation Strategies for Low-Resource Languages
Tatiana Ankinina, Jan Cegin, Jakub Simko, Simon Ostermann
https://arxiv.org/abs/2506.12158

A Rigorous Evaluation of LLM Data Generation Strategies for Low-Resource Languages
Large Language Models (LLMs) are increasingly used to generate synthetic textual data for training smaller specialized models. However, a comparison of various generation strategies for low-resource language settings is lacking. While various prompting strategies have been proposed, such as demonstrations, label-based summaries, and self-revision, their comparative effectiveness remains unclear, especially for low-resource languages. In this paper, we systematically evaluate the performance of …

Forty years ago I moved to Scotland and tried to read the classic “A Scots Quair” by Lewis Grassic Gibbon. It’s written in a variant of Scots that aimed to be accessible to English readers. I had the Scots dictionary by my side and was looking up words constantly until I gave up. A few years later (with some more experience of hearing Scots spoken) I read it without the dictionary and, while I was occasionally guessing at words from context, I went with the flow and loved it.
Like mos…

We have translators who work on commission for the journal I edit (it's a bilingual publication - articles are in either English or French with abstracts and author bios for every article in both languages). The translators tend to be pretty good, most often only having trouble with technical terms (which is understandable - this happens when you're not a specialist). Still, on occasion, they manage to produce something spectacularly bad. No, the French for "He is" is not &…

I've been testing "vibe coding" lately. Takeaways:
* It works
* Gemini is my favorite
* They all make mistakes, but if you tell them what broke they will try to fix the issue
* Important: I already know how to program in multiple languages but not to this level
https://github.com/DennisF…

Group then Scale: Dynamic Mixture-of-Experts Multilingual Language Model
Chong Li, Yingzhuo Deng, Jiajun Zhang, Chengqing Zong
https://arxiv.org/abs/2506.12388

Group then Scale: Dynamic Mixture-of-Experts Multilingual Language Model
The curse of multilinguality phenomenon is a fundamental problem of multilingual Large Language Models (LLMs), where the competition between massive languages results in inferior performance. It mainly comes from limited capacity and negative transfer between dissimilar languages. To address this issue, we propose a method to dynamically group and scale up the parameters of multilingual LLM while boosting positive transfer among similar languages. Specifically, the model is first tuned on monol…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
A Performance Model for Warp Specialization Kernels
https://

Atys: An Efficient Profiling Framework for Identifying Hotspot Functions in Large-scale Cloud Microservices
Jiaqi Sun, Dingyu Yang, Shiyou Qian, Jian Cao, Guangtao Xue
https://arxiv.org/abs/2506.15523

Atys: An Efficient Profiling Framework for Identifying Hotspot Functions in Large-scale Cloud Microservices
To handle the high volume of requests, large-scale services are comprised of thousands of instances deployed in clouds. These services utilize diverse programming languages and are distributed across various nodes as encapsulated containers. Given their vast scale, even minor performance enhancements can lead to significant cost reductions. In this paper, we introduce Atys1, an efficient profiling framework specifically designed to identify hotspot functions within large-scale distributed servi…

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.

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- A refined operational semantics for FreeCHR
Sascha Rechenberger, Thom Fr\"uhwirth

unicodelang: Languages spoken by country (2015)
A bipartite network of languages and the countries in which they are spoken, as estimated by Unicode. Edges are weighted by the proportion of the given country's population that is literate in a particular language.
This network has 868 nodes and 1255 edges.
Tags: Informational, Relatedness, Weighted

Empirical Evaluation of Large Language Models in Automated Program Repair
Jiajun Sun, Fengjie Li, Xinzhu Qi, Hongyu Zhang, Jiajun Jiang
https://arxiv.org/abs/2506.13186

Empirical Evaluation of Large Language Models in Automated Program Repair
The increasing prevalence of software bugs has made automated program repair (APR) a key research focus. Large language models (LLMs) offer new opportunities for APR, but existing studies mostly rely on smaller, earlier-generation models and Java benchmarks. The repair capabilities of modern, large-scale LLMs across diverse languages and scenarios remain underexplored. To address this, we conduct a comprehensive empirical study of four open-source LLMs, CodeLlama, LLaMA, StarCoder, and DeepSeek…

Towards Safety and Security Testing of Cyberphysical Power Systems by Shape Validation
Alexander Geiger, Immanuel Hacker, \"Omer Sen, Andreas Ulbig
https://arxiv.org/abs/2506.12466

Towards Safety and Security Testing of Cyberphysical Power Systems by Shape Validation
The increasing complexity of cyberphysical power systems leads to larger attack surfaces to be exploited by malicious actors and a higher risk of faults through misconfiguration. We propose to meet those risks with a declarative approach to describe cyberphysical power systems and to automatically evaluate security and safety controls. We leverage Semantic Web technologies as a well-standardized framework, providing languages to specify ontologies, rules and shape constraints. We model infrastr…

[2025-06-19 Thu (UTC), 1 new article found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

Harvard releases Institutional Books 1.0, a dataset for AI researchers with 242B tokens, from 394M scanned pages and 983K public domain books in 254 languages (Matt O'Brien/Associated Press)
https://apnews.com/article/ai-chatbot-

Identifying and Investigating Global News Coverage of Critical Events Such as Disasters and Terrorist Attacks
Erica Cai, Xi Chen, Reagan Grey Keeney, Ethan Zuckerman, Brendan O'Connor, Przemyslaw A. Grabowicz
https://arxiv.org/abs/2506.12925

Identifying and Investigating Global News Coverage of Critical Events Such as Disasters and Terrorist Attacks
Comparative studies of news coverage are challenging to conduct because methods to identify news articles about the same event in different languages require expertise that is difficult to scale. We introduce an AI-powered method for identifying news articles based on an event FINGERPRINT, which is a minimal set of metadata required to identify critical events. Our event coverage identification method, FINGERPRINT TO ARTICLE MATCHING FOR EVENTS (FAME), efficiently identifies news articles about…

I have time to experiment with different programming languages and while I'm a big fan of functional or functional style programming, my recent obsession is with #Go
It is a tremendously simple language, without surprises or elaborate mechanisms, procedural and totally boring.. and I love it.
Most satisfying thing is life reload with air and it's usually already compiled and…

{tesseract} allows you to read text from images https://docs.ropensci.org/tesseract/ it can also be combined with {magick} https://

Open Source OCR Engine
Bindings to Tesseract: a powerful optical character recognition (OCR) engine that supports over 100 languages. The engine is highly configurable in order to tune the detection algorithms and obtain the best possible results.

Nominal Equational Rewriting and Narrowing
Mauricio Ayala-Rinc\'on (University of Bras\'ilia, Brazil), Maribel Fern\'andez (King's College London, UK), Daniele Nantes-Sobrinho (University of Bras\'ilia, Brazil,Imperial College London, UK), Daniella Santaguida (University of Bras\'ilia, Brazil)
https://arx…

Nominal Equational Rewriting and Narrowing
Narrowing is a well-known technique that adds to term rewriting mechanisms the required power to search for solutions to equational problems. Rewriting and narrowing are well-studied in first-order term languages, but several problems remain to be investigated when dealing with languages with binders using nominal techniques. Applications in programming languages and theorem proving require reasoning modulo alpha-equivalence considering structural congruences generated by equational axioms, suc…

[2025-06-18 Wed (UTC), 2 new articles found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

[2025-06-18 Wed (UTC), 1 new article found for cs.PL Programming Languages]
toXiv_bot_toot

GLAP: General contrastive audio-text pretraining across domains and languages
Heinrich Dinkel, Zhiyong Yan, Tianzi Wang, Yongqing Wang, Xingwei Sun, Yadong Niu, Jizhong Liu, Gang Li, Junbo Zhang, Jian Luan
https://arxiv.org/abs/2506.11350

GLAP: General contrastive audio-text pretraining across domains and languages
Contrastive Language Audio Pretraining (CLAP) is a widely-used method to bridge the gap between audio and text domains. Current CLAP methods enable sound and music retrieval in English, ignoring multilingual spoken content. To address this, we introduce general language audio pretraining (GLAP), which expands CLAP with multilingual and multi-domain abilities. GLAP demonstrates its versatility by achieving competitive performance on standard audio-text retrieval benchmarks like Clotho and AudioC…

Do you also write down mostly undecipherable notes mixing languages when programming complex stuff?

[2025-06-19 Thu (UTC), 2 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

unicodelang: Languages spoken by country (2015)
A bipartite network of languages and the countries in which they are spoken, as estimated by Unicode. Edges are weighted by the proportion of the given country's population that is literate in a particular language.
This network has 868 nodes and 1255 edges.
Tags: Informational, Relatedness, Weighted

Can we "seamlessly" divide a polygon?
Byungchang So
https://arxiv.org/abs/2506.11742 https://arxiv.org/pdf/2506.11742

Can we "seamlessly" divide a polygon?
While the contents of Euclid's Elements are well-known these days, some characters of the original text have been overlooked due to interpretation by modern mathematical languages. The lens of modern mathematics once anachronistically misled researchers of the history of mathematics, and this shows that the classic text itself contains ideas that have not been completely accurately translated. This article concentrates on the division of geometric figures(line, polygon, polyhedron, etc.). In mo…

Magnetoencephalography (MEG) Based Non-Invasive Chinese Speech Decoding
Zhihong Jia, Hongbin Wang, Yuanzhong Shen, Feng Hu, Jiayu An, Kai Shu, Dongrui Wu
https://arxiv.org/abs/2506.12817

Magnetoencephalography (MEG) Based Non-Invasive Chinese Speech Decoding
As an emerging paradigm of brain-computer interfaces (BCIs), speech BCI has the potential to directly reflect auditory perception and thoughts, offering a promising communication alternative for patients with aphasia. Chinese is one of the most widely spoken languages in the world, whereas there is very limited research on speech BCIs for Chinese language. This paper reports a text-magnetoencephalography (MEG) dataset for non-invasive Chinese speech BCIs. It also proposes a multi-modality assis…

Looks like github copilot PR review now supports all the languages in public preview. This will be useful for me as I commit #fsharp code a lot. In fact I had a PR today that it reviewed, found a few decent suggestions actually.

SPOT: Bridging Natural Language and Geospatial Search for Investigative Journalists
Lynn Khellaf, Ipek Baris Schlicht, Tilman Mirass, Julia Bayer, Tilman Wagner, Ruben Bouwmeester
https://arxiv.org/abs/2506.13188

SPOT: Bridging Natural Language and Geospatial Search for Investigative Journalists
OpenStreetMap (OSM) is a vital resource for investigative journalists doing geolocation verification. However, existing tools to query OSM data such as Overpass Turbo require familiarity with complex query languages, creating barriers for non-technical users. We present SPOT, an open source natural language interface that makes OSM's rich, tag-based geographic data more accessible through intuitive scene descriptions. SPOT interprets user inputs as structured representations of geospatial objec…

https://youtube.com/watch?v=wfpjNdhpMzg
You know when a foreigner teaches you more about your own country than you know? This guy is such a good subject matter expert at languages, that by accident he knows things about Australian languages and culture that I guarantee you won…

Language Surgery in Multilingual Large Language Models
Joanito Agili Lopo, Muhammad Ravi Shulthan Habibi, Tack Hwa Wong, Muhammad Ilham Ghozali, Fajri Koto, Genta Indra Winata, Peerat Limkonchotiwat, Alham Fikri Aji, Samuel Cahyawijaya
https://arxiv.org/abs/2506.12450

Language Surgery in Multilingual Large Language Models
Large Language Models (LLMs) have demonstrated remarkable generalization capabilities across tasks and languages, revolutionizing natural language processing. This paper investigates the naturally emerging representation alignment in LLMs, particularly in the middle layers, and its implications for disentangling language-specific and language-agnostic information. We empirically confirm the existence of this alignment, analyze its behavior in comparison to explicitly designed alignment models, …

Understanding nature's choice of genetic languages
Apoorva D. Patel
https://arxiv.org/abs/2505.06718 https://arxiv.org/pdf/2505.0…

Understanding nature's choice of genetic languages
All living organisms use the same genetic languages in their molecular biology machinery. They can be understood as the optimal solutions to the replication tasks involving DNA and proteins. These solutions perfectly fit the pattern predicted by Grover's algorithm, which is more efficient than the best Boolean search algorithm (i.e. binary tree search) that predicts a different pattern. The challenge is to demonstrate how Grover's algorithm would be executed in vivo by the living organisms.

ProtocolLLM: RTL Benchmark for SystemVerilog Generation of Communication Protocols
Arnav Sheth, Ivaxi Sheth, Mario Fritz
https://arxiv.org/abs/2506.07945 h…

ProtocolLLM: RTL Benchmark for SystemVerilog Generation of Communication Protocols
Recent advances in Large Language Models (LLMs) have shown promising capabilities in generating code for general-purpose programming languages. In contrast, their applicability for hardware description languages, particularly for generating synthesizable and functionally correct designs, remains significantly underexplored. HDLs such as SystemVerilog are logic-oriented and demand strict adherence to timing semantics, concurrency, and synthesizability constraints. Moreover, HDL-based design flow…

Multimodal Zero-Shot Framework for Deepfake Hate Speech Detection in Low-Resource Languages
Rishabh Ranjan, Likhith Ayinala, Mayank Vatsa, Richa Singh
https://arxiv.org/abs/2506.08372

Multimodal Zero-Shot Framework for Deepfake Hate Speech Detection in Low-Resource Languages
This paper introduces a novel multimodal framework for hate speech detection in deepfake audio, excelling even in zero-shot scenarios. Unlike previous approaches, our method uses contrastive learning to jointly align audio and text representations across languages. We present the first benchmark dataset with 127,290 paired text and synthesized speech samples in six languages: English and five low-resource Indian languages (Hindi, Bengali, Marathi, Tamil, Telugu). Our model learns a shared seman…

“The UK must spend more on defence or be ready to speak Russian”
I think Mark Rutte is grossly overestimating the British ability to learn foreign languages 😂😂
https://www.standard.co.uk/news/politics/nato-chief-m…

Nato chief Mark Rutte warns UK must spend more on defence or ‘learn to speak Russian’
Nato needs a 400% increase in air and missile defence, Mr Rutte says, warning Russia could be ready to use force against it within five years

A former employee says fewer than 10,000 people use Ola Krutrim's LLM chatbot, which supports 10 Indian languages, and that over 60% of them are random testers (Swathi Moorthy/The Economic Times)
https://

Krutrim finds few takers for its LLMs and cloud products
Ola founder Aggarwal first announced Krutrim in December 2023, launching an LLM that could support 10 Indian languages, starting with Krutrim chatbot in February 2024, and cloud offering shortly after. Two founders told ET recently that repeated sign-in attempts were blocked by a persistent “logged out of session” error, making sign-up via mobile or Gmail difficult.

Replaced article(s) found for cs.FL. https://arxiv.org/list/cs.FL/new
[1/1]:
Regular Grammars for Sets of Graphs of Tree-Width 2
https://

I think strong and weak typing in programming languages is actually a spectrum rather than a binary classification.
See terraform for example:
> All values have a type, which dictates where that value can be used and what transformations can be applied to it.
https://developer.hashicorp…

Types and Values - Configuration Language | Terraform | HashiCorp Developer
Learn about value types and syntax, including string, number, bool, list, and map. Also learn about complex types and type conversion.

tap in yall
https://paralogue.org/viewtopic.php?p=559#p559

Training-free LLM Merging for Multi-task Learning
Zichuan Fu, Xian Wu, Yejing Wang, Wanyu Wang, Shanshan Ye, Hongzhi Yin, Yi Chang, Yefeng Zheng, Xiangyu Zhao
https://arxiv.org/abs/2506.12379

Training-free LLM Merging for Multi-task Learning
Large Language Models (LLMs) have demonstrated exceptional capabilities across diverse natural language processing (NLP) tasks. The release of open-source LLMs like LLaMA and Qwen has triggered the development of numerous fine-tuned models tailored for various tasks and languages. In this paper, we explore an important question: is it possible to combine these specialized models to create a unified model with multi-task capabilities. We introduces Hierarchical Iterative Merging (Hi-Merging), a …

(1/4) “When the day of Pentecost had come, they were all together in 1 place. And suddenly from heaven there came a sound like the rush of a violent wind, & it filled the entire house where they were sitting. Divided tongues, as of fire, appeared among them, & a tongue rested on each of them. All of them were filled with the Holy Spirit & began to speak in other languages, as the Spirit gave them ability. Now there were devout Jews from every nation under heaven living in Jerusal…

YouTube rolls out a tool to let some creators upload different thumbnails for each video dubbed into a different language, to help expand their global audience (Dan Whateley/Business Insider)
https://www.businessinsider.com/youtube-te

YouTube is testing a new feature to help videos travel globally
YouTube is testing a new tool to let creators switch out thumbnails for videos in different languages, helping their content spread globally.

TIL: »Specific typographic rules have been developed for each language for centuries, but in recent decades, especially due to globalisation and the unification of software tools, they have been disregarded. The international project of a typographic proofreader for European languages will preserve these rules as an expression of European cultural diversity for future generations.«
Source:

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
Opportunistically Parallel Lambda Calculus
https://

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
Cynthia Kop (Radboud Universiteit Nijmegen), Helida Salles Santos (Universidade Federal do Rio Grande)
https://arxiv.org/abs/2506.05219

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
This volume contains the post-proceedings of the 19th LSFA, which was held in Goiânia, the capital of Goiás state in Brazil, from September 18 to September 20, 2024. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning. The aim of this series is bringing together theoreticians and practitioners t…

"We cannot preclude developers from “vibe coding” their way into a working application; but we can teach them how to properly integrate the very likely spaghetti mess produced by those bullshit machines, how to understand it, and how to make it work with today’s compilers, which, let us be honest: are the best we have ever had, and it would be a shame to ignore them completely."

The Allure Of Vibe Coding
"Compiler Explorer" is the name of a fascinating project by Matt Godbolt, a British C++ software developer living in Chicago. It is the simplest and most wonderful thing; just paste a snippet of code on the left pane (in C, C++, D, C#, Java, Python, and a myriad more languages), and you will see on the right its equivalent in assembly code, as produced by one of a long list of compilers, including some commercial ones, for a wide variety of CPU architectures and software versions.

wikipedia_link: Wikipedia links (2016)
Networks of hyperlinks among articles on Wikipedia, for all available languages. A directed edge (i,j) indicates that article i hyperlinks to j.
This network has 8758 nodes and 335267 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/net…

Hubert-Félix Thiéfaine and Nick Cave are two impersonators of the same djinn singing in two different languages at once

from my link log —
Alan Kay did not invent object-oriented programming.
https://www.hillelwayne.com/post/alan-kay/
saved 2025-05-11 https://

Large Language Models for Toxic Language Detection in Low-Resource Balkan Languages
Amel Muminovic, Amela Kadric Muminovic
https://arxiv.org/abs/2506.09992

Large Language Models for Toxic Language Detection in Low-Resource Balkan Languages
Online toxic language causes real harm, especially in regions with limited moderation tools. In this study, we evaluate how large language models handle toxic comments in Serbian, Croatian, and Bosnian, languages with limited labeled data. We built and manually labeled a dataset of 4,500 YouTube and TikTok comments drawn from videos across diverse categories, including music, politics, sports, modeling, influencer content, discussions of sexism, and general topics. Four models (GPT-3.5 Turbo, G…

Textual-Based vs. Thinging Machines Conceptual Modeling
Sabah Al-Fedaghi
https://arxiv.org/abs/2506.02646 https://arxiv.org/pdf/2506.…

Textual-Based vs. Thinging Machines Conceptual Modeling
Software engineers typically interpret the domain description in natural language and translate it into a conceptual model. Three approaches are used in this domain modeling: textual languages, diagrammatic languages, and a mixed based of text and diagrams. According to some researchers, relying on a diagrammatic notation levies certain burdens for designing large models because visual languages are intended to depict everything diagrammatically during a development process but fail to do so fo…

[2025-06-17 Tue (UTC), 1 new article found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

[2025-06-17 Tue (UTC), 3 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Tone recognition in low-resource languages of North-East India: peeling the layers of SSL-based speech models
Parismita Gogoi, Sishir Kalita, Wendy Lalhminghlui, Viyazonuo Terhiija, Moakala Tzudir, Priyankoo Sarmah, S. R. M. Prasanna
https://arxiv.org/abs/2506.03606

Tone recognition in low-resource languages of North-East India: peeling the layers of SSL-based speech models
This study explores the use of self-supervised learning (SSL) models for tone recognition in three low-resource languages from North Eastern India: Angami, Ao, and Mizo. We evaluate four Wav2vec2.0 base models that were pre-trained on both tonal and non-tonal languages. We analyze tone-wise performance across the layers for all three languages and compare the different models. Our results show that tone recognition works best for Mizo and worst for Angami. The middle layers of the SSL models ar…

Apple announces a new live translation feature across Messages, FaceTime, and Phone apps, but has not yet said how many languages will be supported (Rebecca Bellan/TechCrunch)
https://techcrunch.com/2025/06/09/appl…

Apple introduces live translation across Messages, FaceTime, and Phone at WWDC 25 | TechCrunch
Apple is introducing Live Translation, powered by Apple Intelligence, for Messages, FaceTime and Phone calls. 

Saturation Problems for Families of Automata
Le\'on Bohn, Yong Li, Christof L\"oding, Sven Schewe
https://arxiv.org/abs/2506.13197 https://…

Saturation Problems for Families of Automata
Families of deterministic finite automata (FDFA) represent regular $ω$-languages through their ultimately periodic words (UP-words). An FDFA accepts pairs of words, where the first component corresponds to a prefix of the UP-word, and the second component represents a period of that UP-word. An FDFA is termed saturated if, for each UP-word, either all or none of the pairs representing that UP-word are accepted. We demonstrate that determining whether a given FDFA is saturated can be accomplish…

from my link log —
EBCDIC is incompatible with GDPR.
https://shkspr.mobi/blog/2021/10/ebcdic-is-incompatible-with-gdpr/
saved 2024-10-28

EBCDIC is incompatible with GDPR
Welcome to acronym city! The Court of Appeal of Brussels has made an interesting ruling. A customer complained that their bank was spelling the customer's name incorrectly. The bank didn't have support for diacritical marks. Things like á, è, ô, ü, ç etc. Those accents are common in many languages. So it was a little surprising that the bank didn't support them. The bank refused to spell their c…

Notes on applicative matching logic
Laurentiu Leustean
https://arxiv.org/abs/2506.10088 https://arxiv.org/pdf/2506.10088

Notes on applicative matching logic
Matching logic (ML) was developed by Grigore Roşu and collaborators as a logic for defining the formal semantics of programming languages and for specifying and reasoning about the behavior of programs. These lecture notes present basic definitions and results on applicative matching logic (AML), a functional variant of ML introduced recently by Xiaohong Chen and Grigore Roşu. They can be used as an introductory text in the theory of AML. Monk's textbook on mathematical logic has an enormous …

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
QPanda3: A High-Performance Software-Hardware Collaborative Framework for Large-Scale Quantum-Cla...

Positive Varieties of Lattice Languages
Yusuke Inoue, Yuji Komatsu
https://arxiv.org/abs/2506.05824 https://arxiv.org/pdf/2506.05824

Positive Varieties of Lattice Languages
While a language assigns a value of either `yes' or `no' to each word, a lattice language assigns an element of a given lattice to each word. An advantage of lattice languages is that joins and meets of languages can be defined as generalizations of unions and intersections. This fact also allows for the definition of positive varieties -- classes closed under joins, meets, quotients, and inverse homomorphisms -- of lattice languages. In this paper, we extend Pin's positive variety theorem, pro…

StacKAT: Infinite State Network Verification
Jules Jacobs, Nate Foster, Tobias Kapp\'e, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
https://arxiv.org/abs/2506.13383

StacKAT: Infinite State Network Verification
We develop StacKAT, a network verification language featuring loops, finite state variables, nondeterminism, and - most importantly - access to a stack with accompanying push and pop operations. By viewing the variables and stack as the (parsed) headers and (to-be-parsed) contents of a network packet, StacKAT can express a wide range of network behaviors including parsing, source routing, and telemetry. These behaviors are difficult or impossible to model using existing languages like NetKAT. W…

wikipedia_link: Wikipedia links (2016)
Networks of hyperlinks among articles on Wikipedia, for all available languages. A directed edge (i,j) indicates that article i hyperlinks to j.
This network has 83330 nodes and 2095962 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/n…

Replaced article(s) found for cs.FL. https://arxiv.org/list/cs.FL/new
[1/1]:
A complete formalization of Fermat's Last Theorem for regular primes in Lean

S2ST-Omni: An Efficient and Scalable Multilingual Speech-to-Speech Translation Framework via Seamlessly Speech-Text Alignment and Streaming Speech Decoder
Yu Pan, Yuguang Yang, Yanni Hu, Jianhao Ye, Xiang Zhang, Hongbin Zhou, Lei Ma, Jianjun Zhao
https://arxiv.org/abs/2506.11160

S2ST-Omni: An Efficient and Scalable Multilingual Speech-to-Speech Translation Framework via Seamlessly Speech-Text Alignment and Streaming Speech Decoder
Multilingual speech-to-speech translation (S2ST) aims to directly convert spoken utterances from multiple source languages into natural and intelligible speech in a target language. Despite recent progress, significant challenges remain: (1) achieving high-quality and low-latency S2ST remains a critical hurdle; (2) existing S2ST approaches heavily rely on large-scale parallel speech corpora, which are extremely difficult to collect. To address these issues, we propose S2ST-Omni, an efficient an…

Read it in Two Steps: Translating Extremely Low-Resource Languages with Code-Augmented Grammar Books
Chen Zhang, Jiuheng Lin, Xiao Liu, Zekai Zhang, Yansong Feng
https://arxiv.org/abs/2506.01796

Read it in Two Steps: Translating Extremely Low-Resource Languages with Code-Augmented Grammar Books
While large language models (LLMs) have shown promise in translating extremely low-resource languages using resources like dictionaries, the effectiveness of grammar books remains debated. This paper investigates the role of grammar books in translating extremely low-resource languages by decomposing it into two key steps: grammar rule retrieval and application. To facilitate the study, we introduce ZhuangRules, a modularized dataset of grammar rules and their corresponding test sentences. Our …

from my link log —
How to take the inverse of a type.
https://2022.ecoop.org/details/ecoop-2022-papers/6/How-to-Take-the-Inverse-of-a-Type
saved 2025-06-03

How to Take the Inverse of a Type (ECOOP 2022 - Research Papers) - ECOOP 2022
ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.

Beyond C/C : Probabilistic and LLM Methods for Next-Generation Software Reverse Engineering
Zhuo Zhuo, Xiangyu Zhang
https://arxiv.org/abs/2506.03504 http…

Beyond C/C++: Probabilistic and LLM Methods for Next-Generation Software Reverse Engineering
This proposal discusses the growing challenges in reverse engineering modern software binaries, particularly those compiled from newer system programming languages such as Rust, Go, and Mojo. Traditional reverse engineering techniques, developed with a focus on C and C++, fall short when applied to these newer languages due to their reliance on outdated heuristics and failure to fully utilize the rich semantic information embedded in binary programs. These challenges are exacerbated by the limi…

YouTube rolls out a tool to let some creators upload different thumbnails for each video dubbed into a different language, to help expand their global audience (Dan Whateley/Business Insider)
https://www.businessinsider.com/youtube-te

YouTube is testing a new feature to help videos travel globally
YouTube is testing a new tool to let creators switch out thumbnails for videos in different languages, helping their content spread globally.

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

Syntactic Effectful Realizability in Higher-Order Logic
Realizability interprets propositions as specifications for computational entities in programming languages. Specifically, syntactic realizability is a powerful machinery that handles realizability as a syntactic translation of propositions into new propositions that describe what it means to realize the input proposition. This paper introduces EffHOL (Effectful Higher-Order Logic), a novel framework that expands syntactic realizability to uniformly support modern programming paradigms with sid…

[2025-06-16 Mon (UTC), 3 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Minimality and computability of languages of G-shifts
Djamel Eddine Amir, Benjamin Hellouin de Menibus
https://arxiv.org/abs/2506.10610 https://

Minimality and computability of languages of G-shifts
Motivated by the notion of strong computable type for sets in computable analysis, we define the notion of strong computable type for $G$-shifts, where $G$ is a finitely generated group with decidable word problem. A $G$-shift has strong computable type if one can compute its language from the complement of its language. We obtain a characterization of $G$-shifts with strong computable type in terms of a notion of minimality with respect to properties with a bounded computational complexity. We…

[2025-06-16 Mon (UTC), 1 new article found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

How Morgan Stanley is using its DevGen.AI tool, built in-house on OpenAI's GPT models, to translate legacy code into modern coding languages (Isabelle Bousquette/Wall Street Journal)
https://www.wsj.com/article…

This https://arxiv.org/abs/2503.19217 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

LLM Benchmarking with LLaMA2: Evaluating Code Development Performance Across Multiple Programming Languages
The rapid evolution of large language models (LLMs) has opened new possibilities for automating various tasks in software development. This paper evaluates the capabilities of the Llama 2-70B model in automating these tasks for scientific applications written in commonly used programming languages. Using representative test problems, we assess the model's capacity to generate code, documentation, and unit tests, as well as its ability to translate existing code between commonly used programming…

from my link log —
SKIM: The implementation of functional languages using custom hardware.
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-81.html
saved 2025-03-22

The Emergence of Abstract Thought in Large Language Models Beyond Any Language
Yuxin Chen, Yiran Zhao, Yang Zhang, An Zhang, Kenji Kawaguchi, Shafiq Joty, Junnan Li, Tat-Seng Chua, Michael Qizhe Shieh, Wenxuan Zhang
https://arxiv.org/abs/2506.09890

The Emergence of Abstract Thought in Large Language Models Beyond Any Language
As large language models (LLMs) continue to advance, their capacity to function effectively across a diverse range of languages has shown marked improvement. Preliminary studies observe that the hidden activations of LLMs often resemble English, even when responding to non-English prompts. This has led to the widespread assumption that LLMs may "think" in English. However, more recent results showing strong multilingual performance, even surpassing English performance on specific tasks in other…

Proceedings of the 23rd International Overture Workshop
Hugo Daniel Macedo, Ken Pierce
https://arxiv.org/abs/2506.08680 https://arxiv…

Proceedings of the 23rd International Overture Workshop
This volume contains the papers presented at the 23rd International Overture Workshop, held on the 11th of June 2025. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the longest established formal methods for systems development. A lively community of researchers and practitioners has grown up in academia and industry has grown around the modelling languages (VDM-SL, …

from my link log —
Wasm SpecTec has been adopted.
https://webassembly.org/news/2025-03-27-spectec/
saved 2025-03-28 https://

SpecTec has been adopted - WebAssembly
WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications.

This https://arxiv.org/abs/2410.05460 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
Does the choice of programming language affect energy consumption? Previous highly visible studies have established associations between certain programming languages and energy consumption. A causal misinterpretation of this work has led academics and industry leaders to use or support certain languages based on their claimed impact on energy consumption. This paper tackles this causal question directly. It first corrects and improves the measurement methodology used by prior work. It then dev…

This https://arxiv.org/abs/2506.02943 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

A Multi-agent LLM-based JUit Test Generation with Strong Oracles
Unit testing plays a critical role in ensuring software correctness. However, writing unit tests manually is laborious, especially for strong typed languages like Java, motivating the need for automated approaches. Traditional methods primarily rely on search-based or randomized algorithms to generate tests that achieve high code coverage and produce regression oracles, which are derived from the program's current behavior rather than its intended functionality. Recent advances in large languag…

[2025-06-13 Fri (UTC), 4 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Zhiyao Zhong, Cyrus Omar
https://arxiv.org/abs/2506.10781 https://

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Students in programming languages and formal logic courses often struggle with constructing rule-based derivation trees due to the complexity of applying inference rules, the lack of immediate feedback, and the manual effort required for handwritten proofs. We present Hazel Deriver, a live, web-based editor designed to scaffold derivation construction through multiple layers of support. Built on the Hazel live programming environment, it provides a structured, interactive experience that encour…

Large Language Models for Multilingual Vulnerability Detection: How Far Are We?
Honglin Shu, Michael Fu, Junji Yu, Dong Wang, Chakkrit Tantithamthavorn, Junjie Chen, Yasutaka Kamei
https://arxiv.org/abs/2506.07503

Large Language Models for Multilingual Vulnerability Detection: How Far Are We?
Various deep learning-based approaches utilizing pre-trained language models (PLMs) have been proposed for automated vulnerability detection. With recent advancements in large language models (LLMs), several studies have begun exploring their application to vulnerability detection tasks. However, existing studies primarily focus on specific programming languages (e.g., C/C++) and function-level detection, leaving the strengths and weaknesses of PLMs and LLMs in multilingual and multi-granularit…

[2025-06-13 Fri (UTC), 2 new articles found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
Ashley Samuelson, Andrew K. Hirsch, Ethan Cecchetti
https://arxiv.org/abs/2506.10913 h…

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
Choreographic programming is a promising new paradigm for programming concurrent systems where a developer writes a single centralized program that compiles to individual programs for each node. Existing choreographic languages, however, lack critical features integral to modern systems, like the ability of one node to dynamically compute who should perform a computation and send that decision to others. This work addresses this gap with $λ_{QC}$, the first typed choreographic language with \e…

[2025-06-12 Thu (UTC), no new articles found for cs.PL Programming Languages]
toXiv_bot_toot

[2025-06-12 Thu (UTC), no new articles found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

Using Code Snippets to Teach Programming Languages
Joshua Akingbade, Jianhua Yang, Mir Seyedebrahimi
https://arxiv.org/abs/2506.00404 https://

Using Code Snippets to Teach Programming Languages
Coding is a fundamental skill required in the engineering discipline, and much work exists exploring better ways of teaching coding in the higher education context. In particular, Code Snippets (CSs) are approved to be an effective way of introducing programming language units to students. CSs are portions of source code of varying size and content. They can be used in a myriad of ways, one of which is to teach the code they contain as well as its function. To further explore the use of CSs, a …

[2025-06-11 Wed (UTC), no new articles found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

[2025-06-11 Wed (UTC), 3 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Gradual Metaprogramming
Tianyu Chen, Darshal Shetty, Jeremy G. Siek, Chao-Hong Chen, Weixi Ma, Arnaud Venet, Rocky Liu
https://arxiv.org/abs/2506.09043 htt…

Gradual Metaprogramming
Data engineers increasingly use domain-specific languages (DSLs) to generate the code for data pipelines. Such DSLs are often embedded in Python. Unfortunately, there are challenges in debugging the generation of data pipelines: an error in a Python DSL script is often detected too late, after the execution of the script, and the source code location that triggers the error is hard to pinpoint. In this paper, we focus on the F3 DSL of Meta (Facebook), which is a DSL embedded in Python (so it …

[2025-06-10 Tue (UTC), no new articles found for cs.FL Formal Languages and Automata Theory]
toXiv_bot_toot

Verification of the Release-Acquire Semantics
Parosh Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn
https://arxiv.org/abs/2506.08238 https://…

Verification of the Release-Acquire Semantics
The Release-Acquire (RA) semantics and its variants are some of the most fundamental models of concurrent semantics for architectures, programming languages, and distributed systems. Several steps have been taken in the direction of testing such semantics, where one is interested in whether a single program execution is consistent with a memory model. The more general verification problem, i.e., checking whether all allowed program runs are consistent with a memory model, has still not been stu…

[2025-06-10 Tue (UTC), 3 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

This https://arxiv.org/abs/2505.16764 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
In many application domains, domain-specific languages can allow domain experts to contribute to collaborative projects more correctly and efficiently. To do so, they must be able to understand program structure from reading existing source code. With high-quality data becoming an increasingly important resource, the creation of data pipelines is an important application domain for domain-specific languages. We execute a mixed-method study consisting of a controlled experiment and a follow-up…

[2025-06-09 Mon (UTC), 3 new articles found for cs.PL Programming Languages]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot