Tootfinder

Thread and Memory-Safe Programming with CLASS
Lu\'is Caires (Instituto Superior T\'ecnico)
https://arxiv.org/abs/2505.20848 https://

Thread and Memory-Safe Programming with CLASS
CLASS is a proof-of-concept general purpose linear programming language, flexibly supporting realistic concurrent programming idioms, and featuring an expressive linear type system ensuring that programs (1) never misuse or leak stateful resources or memory, (2) never deadlock, and (3) always terminate. The design of CLASS and the strong static guarantees of its type system originates in its Linear Logic and proposition-as-types foundations. However, instead of focusing on its theoretical found…

from my link log —
Squiggle: a simple programming language for intuitive probabilistic estimation.
https://www.squiggle-language.com/
saved 2025-04-18

A curated list of awesome tools to assist 📦 development in R programming language. #rstats #📦

An ACL2s Interface to Z3
Andrew T. Walter (Northeastern University), Panagiotis Manolios (Northeastern University)
https://arxiv.org/abs/2507.19014 https://

An ACL2s Interface to Z3
We present Lisp-Z3, an extension to the ACL2s systems programming framework (ASPF) that supports the use of the Z3 satisfiability modulo theories (SMT) solver. Lisp-Z3 allows one to develop tools written using the full feature set of Common Lisp that can use both ACL2/s (either ACL2 or ACL2s) and Z3 as services, combining the power of SMT and interactive theorem proving. Lisp-Z3 is usable by anyone who would like to interact with Z3 from Common Lisp, as it does not depend on the availability of…

#Github #copilot now supports an instructions file.
Here's mine:
"Go Away!"
#ai #programming

Developers need side projects like fish need bicycles. 🐟 🚲
#programming #life

(1/2) Preston Thorpe Is a Software Engineer at a San Francisco Startup. He’s Also Serving His 11th Year in Prison. (TechCrunch, 24 July 2025)
https://techcrunch.com/2025/07/24/preston-thorpe-is-a-software…

Preston Thorpe is a software engineer at a San Francisco startup — he’s also serving his 11th year in prison | TechCrunch
A senior software engineer for Turso, Thorpe is part of an experimental program in the Maine state prison system that allows incarcerated people to work remote jobs from custody.

Trivial Trojans: How Minimal MCP Servers Enable Cross-Tool Exfiltration of Sensitive Data
Nicola Croce, Tobin South
https://arxiv.org/abs/2507.19880 https://

Trivial Trojans: How Minimal MCP Servers Enable Cross-Tool Exfiltration of Sensitive Data
The Model Context Protocol (MCP) represents a significant advancement in AI-tool integration, enabling seamless communication between AI agents and external services. However, this connectivity introduces novel attack vectors that remain largely unexplored. This paper demonstrates how unsophisticated threat actors, requiring only basic programming skills and free web tools, can exploit MCP's trust model to exfiltrate sensitive financial data. We present a proof-of-concept attack where a malicio…

MemoCoder: Automated Function Synthesis using LLM-Supported Agents
Yiping Jia, Zhen Ming Jiang, Shayan Noei, Ying Zou
https://arxiv.org/abs/2507.18812 https://

MemoCoder: Automated Function Synthesis using LLM-Supported Agents
With the widespread adoption of Large Language Models (LLMs) such as GitHub Copilot and ChatGPT, developers increasingly rely on AI-assisted tools to support code generation. While LLMs can generate syntactically correct solutions for well-structured programming tasks, they often struggle with challenges that require iterative debugging, error handling, or adaptation to diverse problem structures. Existing approaches such as fine-tuning or self-repair strategies either require costly retraining…

from my link log —
The Epic Verse calculus: a core calculus for functional logic programming.
https://simon.peytonjones.org/verse-calculus/
saved 2025-06-12

google_web: Old Google web graph (2002)
A web graph representing a crawl of a portion of the general WWW, from a 2002 Google Programming contest.
This network has 916428 nodes and 5105039 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/net/google_web

A Programming Language for Feasible Solutions
Weijun Chen, Yuxi Fu, Huan Long
https://arxiv.org/abs/2507.19176 https://arxiv.org/pdf/2507.19176

A Programming Language for Feasible Solutions
Runtime efficiency and termination are crucial properties in the studies of program verification. Instead of dealing with these issues in an ad hoc manner, it would be useful to develop a robust framework in which such properties are guaranteed by design. This paper introduces a new imperative programming language whose design is grounded in a static type system that ensures the following equivalence property: All definable programs are guaranteed to run in polynomial time; Conversely, all prob…

Bridging Fitness With Search Spaces By Fitness Supremums: A Theoretical Study on LGP
Zhixing Huang, Yi Mei, Fangfang Zhang, Mengjie Zhang, Wolfgang Banzhaf
https://arxiv.org/abs/2505.21991

Bridging Fitness With Search Spaces By Fitness Supremums: A Theoretical Study on LGP
Genetic programming has undergone rapid development in recent years. However, theoretical studies of genetic programming are far behind. One of the major obstacles to theoretical studies is the challenge of developing a model to describe the relationship between fitness values and program genotypes. In this paper, we take linear genetic programming (LGP) as an example to study the fitness-to-genotype relationship. We find that the fitness expectation increases with fitness supremum over instruc…

Pleased to announce that the third edition of my PL book, PLAI, is finally available on paper! Same price as it's been for 20 years (-:. Also made it available on Kindle EPUB, and a few other options. (Always free options, of course.) Enjoy!
https://www.plai.org/

Optimal Control of Hybrid Systems via Measure Relaxations
Etienne Buehrle, \"Omer \c{S}ahin Ta\c{s}, Christoph Stiller
https://arxiv.org/abs/2507.19210 https://

Optimal Control of Hybrid Systems via Measure Relaxations
We propose an approach to trajectory optimization for piecewise polynomial systems based on the recently proposed graphs of convex sets framework. We instantiate the framework with a convex relaxation of optimal control based on occupation measures, resulting in a convex optimization problem resembling the discrete shortest-paths linear program that can be solved efficiently to global optimality. While this approach inherits the limitations of semidefinite programming, scalability to large numb…

An Explainable Equity-Aware P2P Energy Trading Framework for Socio-Economically Diverse Microgrid
Abhijan Theja, Mayukha Pal
https://arxiv.org/abs/2507.18738 https://

An Explainable Equity-Aware P2P Energy Trading Framework for Socio-Economically Diverse Microgrid
Fair and dynamic energy allocation in community microgrids remains a critical challenge, particularly when serving socio-economically diverse participants. Static optimization and cost-sharing methods often fail to adapt to evolving inequities, leading to participant dissatisfaction and unsustainable cooperation. This paper proposes a novel framework that integrates multi-objective mixed-integer linear programming (MILP), cooperative game theory, and a dynamic equity-adjustment mechanism driven…

A Comparative Study of OpenMP Scheduling Algorithm Selection Strategies
Jonas H. M\"uller Kornd\"orfer, Ali Mohammed, Ahmed Eleliemy, Quentin Guilloteau, Reto Krummenacher, Florina M. Ciorba
https://arxiv.org/abs/2507.20312

A Comparative Study of OpenMP Scheduling Algorithm Selection Strategies
Scientific and data science applications are becoming increasingly complex, with growing computational and memory demands. Modern high performance computing (HPC) systems provide high parallelism and heterogeneity across nodes, devices, and cores. To achieve good performance, effective scheduling and load balancing techniques are essential. Parallel programming frameworks such as OpenMP now offer a variety of advanced scheduling algorithms to support diverse applications and platforms. This cre…

from my link log —
Writing that can change how you think about programming languages.
https://bernsteinbear.com/blog/pl-writing/
saved 2025-05-13

Discord just released version 0.0.99 of its Linux client.
Tell me you don't actually give a damn about supporting something without telling me you don't actually give a damn about supporting something.
#Discord #Linux

Interesting use of NotebookLM.
I used NotebookLM to learn a new programming language, and it actually worked #ai

I used NotebookLM to learn a new programming language, and it actually worked
The only way I’m touching a new programming language again.

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

Physics Computational Literacy: Programming, modeling and collaboration at the journeyman level
Computation has become an integral part of physics research. However, little is known about how students learn to productively use computation as a tool beyond the introductory level, especially as they transition into physics research. In this study, we apply the theory of Physics Computational Literacy and the Novice-Expert framework to describe the development of expertise in computational physics, as students transition from novice to journeymen computational physicists. We base this descri…

Our Coding Adventure: Using LLMs to Personalise the Narrative of a Tangible Programming Robot for Preschoolers
Martin Ruskov
https://arxiv.org/abs/2506.20982

Our Coding Adventure: Using LLMs to Personalise the Narrative of a Tangible Programming Robot for Preschoolers
Finding balanced ways to employ Large Language Models (LLMs) in education is a challenge due to inherent risks of poor understanding of the technology and of a susceptible audience. This is particularly so with younger children, who are known to have difficulties with pervasive screen time. Working with a tangible programming robot called Cubetto, we propose an approach to benefit from the capabilities of LLMs by employing such models in the preparation of personalised storytelling, necessary f…

A massive shout out and gratitude to @… for being a superstar and manually reviewing and comparing the expected outputs of the hundreds of code examples & snippets included in the readmes and documentation of the #ThingUmbrella repo. Over the past wee…

Literate programming code block tangling / codegen utility, inspired by org-mode & noweb

"William Zani, one of the core programmers of the first BASIC compiler, tells the story of the demo of the DTSS system at the San Francisco AFIPS 1964 conference (minute 26:17), sending a BASIC program to from San Francisco to Hanover, New Hampshire over a telephone line, live in front of an audience, who (I quote) “went bananas”."
https…

A Formalization of the Yul Language and Some Verified Yul Code Transformations
Alessandro Coglio (Kestrel Institute), Eric McCarthy (Kestrel Institute)
https://arxiv.org/abs/2507.19012

A Formalization of the Yul Language and Some Verified Yul Code Transformations
Yul is an intermediate language used in the compilation of the Solidity programming language for Ethereum smart contracts. The compiler applies customizable sequences of transformations to Yul code. To help ensure the correctness of these transformations and their sequencing, we used the ACL2 theorem prover to develop a formalization of the syntax and semantics of Yul, proofs relating static and dynamic semantics, a formalization of some Yul code transformations, and correctness proofs for thes…

Eigenvalue bounds for distance-edge colorings
Aida Abiad, Luuk Reijnders
https://arxiv.org/abs/2506.20976 https://arxiv.org/pdf/2506.…

Eigenvalue bounds for distance-edge colorings
For a fixed positive integer $t$, we consider the graph colouring problem in which edges at distance at most $t$ are given distinct colours. We obtain sharp lower bounds for the distance-$t$ chromatic index, the least number of colours necessary for such a colouring. Our bounds are of algebraic nature; they depend on the eigenvalues of the line graph and on a polynomial which can be found using integer linear programming methods. We show several graph classes that attain equality for our bounds…

Is there anyone with Norwegian language setup on a desktop or mobile browser?
I need to know what your browser declares in `accept-language` header?
Is it nb-NO or no-NO? Or maybe both?
Boost for visibility please!
#webdev #programming
How to do it? Open any web…

Disney names Jilly Pearce as head of unscripted programming for ABC and Hulu; Pearce was previously the president of Objective Media Group America (Rick Porter/The Hollywood Reporter)
https://www.hollywoodreporter.com/tv/tv-ne

Jilly Pearce to Head Unscripted Programming at ABC and Hulu
The executive was most recently president of Objective Media Group America.

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Towards Bug-Free Distributed Go Programs
Zhengqun Koo
https://

Bridging Fitness With Search Spaces By Fitness Supremums: A Theoretical Study on LGP
Zhixing Huang, Yi Mei, Fangfang Zhang, Mengjie Zhang, Wolfgang Banzhaf
https://arxiv.org/abs/2505.21991

Bridging Fitness With Search Spaces By Fitness Supremums: A Theoretical Study on LGP
Genetic programming has undergone rapid development in recent years. However, theoretical studies of genetic programming are far behind. One of the major obstacles to theoretical studies is the challenge of developing a model to describe the relationship between fitness values and program genotypes. In this paper, we take linear genetic programming (LGP) as an example to study the fitness-to-genotype relationship. We find that the fitness expectation increases with fitness supremum over instruc…

Anysphere launches Bugbot, an AI-powered tool that integrates with GitHub to detect coding errors introduced by humans or AI agents, for $40 per month per user (Lauren Goode/Wired)
https://www.wired.com/story/cursor-releases-new-ai-tool-for-debugging-code/

Cursor’s New Bugbot Is Designed to Save Vibe Coders From Themselves
One of the most popular platforms for AI-assisted programming says the next era of vibe coding is all about supercharging error detection.

KOALA: a Configurable Tool for Collecting IDE Data When Solving Programming Tasks
Daniil Karol, Elizaveta Artser, Ilya Vlasov, Yaroslav Golubev, Hieke Keuning, Anastasiia Birillo
https://arxiv.org/abs/2506.21266

KOALA: a Configurable Tool for Collecting IDE Data When Solving Programming Tasks
Collecting data of students solving programming tasks is incredibly valuable for researchers and educators. It allows verifying that the students correctly apply the features and concepts they are taught, or finding students' misconceptions. However, existing data collection tools have limitations, e.g., no control over the granularity of the collected code, not collecting the specific events of the programming environment used, and overall being hard to configure. To overcome these limitatio…

A "watch your replay videos" reflection assignment on comparing programming without versus with generative AI: learning about programming, critical AI use and limitations, and reflection
Sarah "Magz" Fernandez, Greg L Nelson
https://arxiv.org/abs/2507.17226

A "watch your replay videos" reflection assignment on comparing programming without versus with generative AI: learning about programming, critical AI use and limitations, and reflection
Generative AI is disrupting computing education. Most interventions focus on teaching GenAI use rather than helping students understand how AI changes their programming process. We designed and deployed a novel comparative video reflection assignment adapting the Describe, Examine, then Articulate Learning (DEAL) framework. In an introductory software engineering course, students recorded themselves programming during their team project two times: first without, then with using generative AI. S…

Got the Roll Dice dialog box themed up about as nice as its going to get. Still might make it a touch smaller though.
#pathfinder2e #python #programming

from my link log —
Parametric subtyping for structural parametric polymorphism.
https://blog.sigplan.org/2025/01/29/parametric-subtyping-for-structural-parametric-polymorphism/
saved 2025-02-02

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

Custom Representations of Inductive Families
Inductive families provide a convenient way of programming with dependent types. Yet, when it comes to compilation, their default linked-tree runtime representations, as well as the need to convert between different indexed views of the same data, can lead to unsatisfactory runtime performance. In this paper, we introduce a language with dependent types, and inductive families with customisable representations. Representations are a version of Wadler's views, refined to inductive families like …

Self-Supervised Inductive Logic Programming
Stassa Patsantzis
https://arxiv.org/abs/2507.16405 https://arxiv.org/pdf/2507.16405

Self-Supervised Inductive Logic Programming
Inductive Logic Programming (ILP) approaches like Meta \-/ Interpretive Learning (MIL) can learn, from few examples, recursive logic programs with invented predicates that generalise well to unseen instances. This ability relies on a background theory and negative examples, both carefully selected with expert knowledge of a learning problem and its solutions. But what if such a problem-specific background theory or negative examples are not available? We formalise this question as a new setting…

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

Towards Resilient and Sustainable Global Industrial Systems: An Evolutionary-Based Approach
This paper presents a new complex optimization problem in the field of automatic design of advanced industrial systems and proposes a hybrid optimization approach to solve the problem. The problem is multi-objective as it aims at finding solutions that minimize CO2 emissions, transportation time, and costs. The optimization approach combines an evolutionary algorithm and classical mathematical programming to design resilient and sustainable global manufacturing networks. Further, it makes use o…

Enhancing Programming Pair Workshops: The Case of Teacher Pre-Prompting
Johan Petersson
https://arxiv.org/abs/2506.20299 https://arxi…

Enhancing Programming Pair Workshops: The Case of Teacher Pre-Prompting
This paper explores the pedagogical potential of "teacher pre-prompting" as a means of guiding student collaboration in programming education. In particular, we investigate how brief teacher-initiated questions posed before students engage in pair programming workshops can help shape problem interpretation and division of labor. Based on qualitative analysis of video data from a university course in systems development, we identify five distinct pre-prompting patterns. Our findings suggest that…

Ring said on social media that strange login patterns were caused by a programming error, not hackers.
https://www.snopes.com/news/2025/07/21/ring-hacked-may-28-2025/

What to know about supposed Ring doorbell security breach in May 2025
Ring said on social media that strange login patterns were caused by a programming error, not hackers.

#Programming Myths We Desperately Need to Retire
https://amritpandey.io/programming-myths-we-desperately-need-to-retire/

Physics Computational Literacy: Programming, modeling and collaboration at the journeyman level
Karl Henrik Fredly, Tor Ole B. Odden, Ben Zwickl
https://arxiv.org/abs/2505.21246

Physics Computational Literacy: Programming, modeling and collaboration at the journeyman level
Computation has become an integral part of physics research. However, little is known about how students learn to productively use computation as a tool beyond the introductory level, especially as they transition into physics research. In this study, we apply the theory of Physics Computational Literacy and the Novice-Expert framework to describe the development of expertise in computational physics, as students transition from novice to journeymen computational physicists. We base this descri…

Replaced article(s) found for cs.RO. https://arxiv.org/list/cs.RO/new
[1/1]:
- COBRA-PPM: A Causal Bayesian Reasoning Architecture Using Probabilistic Programming for Robot Man...
Ricardo Cannizzaro, Michael Groom, Jonathan Routley, Robert Osazuwa Ness, Lars Kunze

What #libre #IDE (integrated development environment for programming code) would y'all want to coalesce around using, supporting, and developing? Asking especially for coding websites and applications with #PHP,

CAIDA Ark now has an active measurement programming environment for qualified researchers. https://www.caida.org/projects/ark/programming/

Getting Started: Ark Integrated Active Measurement Programming Environment
CAIDA’s Archipelago (Ark) infrastructure provides a programming environment

AaŠaargh.
https://functional.cafe/@loke/114724782345547751

Custom Representations of Inductive Families
Constantine Theocharis, Edwin Brady
https://arxiv.org/abs/2505.21225 https://arxiv.org/p…

Custom Representations of Inductive Families
Inductive families provide a convenient way of programming with dependent types. Yet, when it comes to compilation, their default linked-tree runtime representations, as well as the need to convert between different indexed views of the same data, can lead to unsatisfactory runtime performance. In this paper, we introduce a language with dependent types, and inductive families with customisable representations. Representations are a version of Wadler's views, refined to inductive families like …

Semidefinite Programming for the Asymmetric Stochastic Block Model
Julia Gaudio, Phawin Prongpaophan
https://arxiv.org/abs/2506.18754 https://

Semidefinite Programming for the Asymmetric Stochastic Block Model
We consider semidefinite programming (SDP) for the binary stochastic block model with equal-sized communities. Prior work of Hajek, Wu, and Xu proposed an SDP (sym-SDP) for the symmetric case where the intra-community edge probabilities are equal, and showed that the SDP achieves the information-theoretic threshold for exact recovery under the symmetry assumption. A key open question is whether SDPs can be used to achieve exact recovery for non-symmetric block models. In order to inform the des…

from my link log —
The Par programming language.
https://faiface.github.io/par-lang/
saved 2025-07-23 https://dotat.at/:/1AX1J…

Studies of properties of bipartite graphs with quantum programming
Kh. P. Gnatenko
https://arxiv.org/abs/2507.16653 https://arxiv.org…

Studies of properties of bipartite graphs with quantum programming
Multi-qubit quantum states corresponding to bipartite graphs $G(U,V,E)$ are examined. These states are constructed by applying $CNOT$ gates to an arbitrary separable multi-qubit quantum state. The entanglement distance of the resulting states is derived analytically for an arbitrary bipartite graph structure. A relationship between entanglement and the vertex degree is established. Additionally, we identify how quantum correlators relate to the number of vertices with odd and even degrees in th…

Fell in love with #IntelliJIDEA’s way of dynamically adding parts of the file’s path to the caption of the buffer’s tab if I have opened two files with identical names.
#programming #coding…

LIVE programming workshop open call: https://liveprog.org/
Deadline 21st July
Get involved!

@… Oh, that’s a question. Do catboys prefer programming socks or yarn, and do they turn the yarn into programming socks?

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

Towards Resilient and Sustainable Global Industrial Systems: An Evolutionary-Based Approach
This paper presents a new complex optimization problem in the field of automatic design of advanced industrial systems and proposes a hybrid optimization approach to solve the problem. The problem is multi-objective as it aims at finding solutions that minimize CO2 emissions, transportation time, and costs. The optimization approach combines an evolutionary algorithm and classical mathematical programming to design resilient and sustainable global manufacturing networks. Further, it makes use o…

Distributed Lyapunov Functions for Nonlinear Networks
Yiming Wang, Arthur N. Montanari, Adilson E. Motter
https://arxiv.org/abs/2506.20728 https://

Distributed Lyapunov Functions for Nonlinear Networks
Nonlinear networks are often multistable, exhibiting coexisting stable states with competing regions of attraction (ROAs). As a result, ROAs can have complex "tentacle-like" morphologies that are challenging to characterize analytically or computationally. In addition, the high dimensionality of the state space prohibits the automated construction of Lyapunov functions using state-of-the-art optimization methods, such as sum-of-squares (SOS) programming. In this letter, we propose a distributed…

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
Shucai Yao (Huawai Technologies Canada), Emil Sekerinski (McMaster University)
https://arxiv.org/abs/2505.20850

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
In the shared variable model of concurrency, guarded atomic actions restrict the possible interference between processes by regions of atomic execution. The guard specifies the condition for entering an atomic region. That is a convenient model for the specification and verification of concurrent programs, but has eschewed efficient execution so far. This article shows how guarded atomic actions, when attached to objects, can be implemented highly efficiently using a combination of coroutines, …

ParEval-Repo: A Benchmark Suite for Evaluating LLMs with Repository-level HPC Translation Tasks
Joshua H. Davis, Daniel Nichols, Ishan Khillan, Abhinav Bhatele
https://arxiv.org/abs/2506.20938

ParEval-Repo: A Benchmark Suite for Evaluating LLMs with Repository-level HPC Translation Tasks
GPGPU architectures have become significantly diverse in recent years, which has led to an emergence of a variety of specialized programming models and software stacks to support them. While portable execution models exist, they still require significant developer effort to port to and optimize for different hardware architectures. Recent advances in large language models (LLMs) can help us reduce some of this programmer burden. In this paper, we present a novel benchmark and testing framework,…

google_web: Old Google web graph (2002)
A web graph representing a crawl of a portion of the general WWW, from a 2002 Google Programming contest.
This network has 916428 nodes and 5105039 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/net/google_web

Fast entropy-regularized SDP relaxations for permutation synchronization
Michael Lindsey, Yunpeng Shi
https://arxiv.org/abs/2506.20191 https://

Fast entropy-regularized SDP relaxations for permutation synchronization
We introduce fast randomized algorithms for solving semidefinite programming (SDP) relaxations of the partial permutation synchronization (PPS) problem, a core task in multi-image matching with significant relevance to 3D reconstruction. Our methods build on recent advances in entropy-regularized semidefinite programming and are tailored to the unique structure of PPS, in which the unknowns are partial permutation matrices aligning sparse and noisy pairwise correspondences across images. We pro…

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
Jeroen Spaans, Jesse Heyninck
https://arxiv.org/abs/2507.16067

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
Constraint Logic Programming (CLP) is a logic programming formalism used to solve problems requiring the consideration of constraints, like resource allocation and automated planning and scheduling. It has previously been extended in various directions, for example to support fuzzy constraint satisfaction, uncertainty, or negation, with different notions of semiring being used as a unifying abstraction for these generalizations. None of these extensions have studied clauses with negation allowe…

Choreographies as Macros
Alexander Bohosian (Department of Computer Science,Engineering University at Buffalo), Andrew K. Hirsch (Department of Computer Science,Engineering University at Buffalo)
https://arxiv.org/abs/2505.20845

Choreographies as Macros
Concurrent programming often entails meticulous pairing of sends and receives between participants to avoid deadlock. Choreographic programming alleviates this burden by specifying the system as a single program. However, there are more applications than implementations of choreographies, and developing new implementations takes a lot of time and effort. Our work uses Racket to expedite building a new choreographic language called Choret. Racket has a powerful macro system which allows Choret t…

Symbolically Regressing Fish Biomass Spectral Data: A Linear Genetic Programming Method with Tunable Primitives
Zhixing Huang, Bing Xue, Mengjie Zhang, Jeremy S. Ronney, Keith C. Gordon, Daniel P. Killeen
https://arxiv.org/abs/2505.21901

Symbolically Regressing Fish Biomass Spectral Data: A Linear Genetic Programming Method with Tunable Primitives
Machine learning techniques play an important role in analyzing spectral data. The spectral data of fish biomass is useful in fish production, as it carries many important chemistry properties of fish meat. However, it is challenging for existing machine learning techniques to comprehensively discover hidden patterns from fish biomass spectral data since the spectral data often have a lot of noises while the training data are quite limited. To better analyze fish biomass spectral data, this pap…

from my link log —
libu8ident: Unicode security guidelines for programming language identifiers.
https://github.com/rurban/libu8ident
saved 2025-02-13

GitHub - rurban/libu8ident: unicode security guidelines for identifiers
unicode security guidelines for identifiers. Contribute to rurban/libu8ident development by creating an account on GitHub.

Got the initial dice rolling implementation in the #Pathfinder2E character sheet. Not the prettiest, but it works pretty damned well. `[Ctrl] [D]` to open the dialog window, `[Esc]` to close, and `[Enter]` rolls the dice.
#programming

r-charts.com provides example code for a variety of chart types, both in base R and ggplot: #rstats #ggplot…

R CHARTS | A collection of charts and graphs made with the R programming language
Over 1400 graphs with reproducible code divided in 8 big categories and over 50 chart types, in addition of tools to choose and create colors and color palettes

Functional programming isn't just for Haskell developers. It's for #PHP developers, too. "Thinking Functionally in PHP" is available from LeanPub.
https://leanpub.com/thinking-functiona

An instance of FreeCHR with refined operational semantics
Sascha Rechenberger, Thom Fr\"uhwirth
https://arxiv.org/abs/2505.22155 https://

An instance of FreeCHR with refined operational semantics
Constraint Handling Rules (CHR) is a rule-based programming language which is typically embedded into a general-purpose language. There exists a plethora of implementations of CHR for numerous host languages. However, the existing implementations often reinvent the way to embed CHR, which impedes maintenance and weakens assertions of correctness. To formalize and thereby unify the embedding of CHR into arbitrary host languages, we introduced the framework FreeCHR and proved it to be a valid rep…

How do you pronounce char?
Do you say car?
Do you say care - since it is the beginning of the word character?
or do you say it like the beginning of the word charcoal?
#programming #programmers

Symbolically Regressing Fish Biomass Spectral Data: A Linear Genetic Programming Method with Tunable Primitives
Zhixing Huang, Bing Xue, Mengjie Zhang, Jeremy S. Ronney, Keith C. Gordon, Daniel P. Killeen
https://arxiv.org/abs/2505.21901

Symbolically Regressing Fish Biomass Spectral Data: A Linear Genetic Programming Method with Tunable Primitives
Machine learning techniques play an important role in analyzing spectral data. The spectral data of fish biomass is useful in fish production, as it carries many important chemistry properties of fish meat. However, it is challenging for existing machine learning techniques to comprehensively discover hidden patterns from fish biomass spectral data since the spectral data often have a lot of noises while the training data are quite limited. To better analyze fish biomass spectral data, this pap…

Building a robust OAuth token based API Security: A High level Overview
Senthilkumar Gopal
https://arxiv.org/abs/2507.16870 https://arxiv.org/pdf/2507.1687…

Building a robust OAuth token based API Security: A High level Overview
APIs (Application Programming Interfaces) or Web Services are the foundational building blocks that enable interconnected systems. However this proliferation of APIs has also introduced security challenges that require systematic and scalable solutions for secure authentication and authorization. This paper presents the fundamentals necessary for building a such a token-based API security system. It discusses the components necessary, the integration of OAuth 2.0, extensibility of the token arc…

exa-AMD: A Scalable Workflow for Accelerating AI-Assisted Materials Discovery and Design
Maxim Moraru, Weiyi Xia, Zhuo Ye, Feng Zhang, Yongxin Yao, Ying Wai Li, Cai-Zhuang Wang
https://arxiv.org/abs/2506.21449

exa-AMD: A Scalable Workflow for Accelerating AI-Assisted Materials Discovery and Design
exa-AMD is a Python-based application designed to accelerate the discovery and design of functional materials by integrating AI/ML tools, materials databases, and quantum mechanical calculations into scalable, high-performance workflows. The execution model of exa-AMD relies on Parsl, a task-parallel programming library that enables a flexible execution of tasks on any computing resource from laptops to supercomputers. By using Parsl, exa-AMD is able to decouple the workflow logic from executio…

A class of nonconvex semidefinite programming in which every KKT point is globally optimal
Akatsuki Nishioka, Yoshihiro Kanno
https://arxiv.org/abs/2506.16739

A class of nonconvex semidefinite programming in which every KKT point is globally optimal
We consider a special class of nonconvex semidefinite programming problems and show that every point satisfying the Karush--Kuhn--Tucker (KKT) conditions is globally optimal despite nonconvexity. This property is related to pseudoconvex optimization. This class of problems is motivated by an eigenfrequency topology optimization problem in structural engineering, but is presented in a more general form.

Steering Conceptual Bias via Transformer Latent-Subspace Activation
Vansh Sharma, Venkat Raman
https://arxiv.org/abs/2506.18887 https://

Steering Conceptual Bias via Transformer Latent-Subspace Activation
This work examines whether activating latent subspaces in language models (LLMs) can steer scientific code generation toward a specific programming language. Five causal LLMs were first evaluated on scientific coding prompts to quantify their baseline bias among four programming languages. A static neuron-attribution method, perturbing the highest activated MLP weight for a C++ or CPP token, proved brittle and exhibited limited generalization across prompt styles and model scales. To address th…

Integrating Pair Programming as a Work Practice
Nina Haugland Andersen, Anastasiia Tkalich, Nils Brede Moe, Darja Smite, Asgaut Mj{\o}lne S\"oderbom, Ola Hast, Viktoria Stray
https://arxiv.org/abs/2506.19511

Integrating Pair Programming as a Work Practice
Context: Pair programming (PP) is more relevant than ever. As modern systems grow in complexity, knowledge sharing and collaboration across teams have become essential. However, despite well-documented benefits of PP, its adoption remains inconsistent across software teams. Objective: This study aims to understand the factors that facilitate or hinder team members' adoption as well as lasting engagement in PP. Method: We have conducted an exploratory single-case study in a mature agile company …

PasteTrace: A Single Source Plagiarism Detection Tool For Introductory Programming Courses
Jesse McDonald, Scott Robertson, Anthony Peruma
https://arxiv.org/abs/2506.17355

PasteTrace: A Single Source Plagiarism Detection Tool For Introductory Programming Courses
Introductory Computer Science classes are important for laying the foundation for advanced programming courses. However, students without prior programming experience may find these courses challenging, leading to difficulties in understanding concepts and engaging in academic dishonesty such as plagiarism. While there exists plagiarism detection techniques and tools, not all of them are suitable for academic settings, especially in introductory programming courses. This paper introduces PasteT…

Integrating Belief Domains into Probabilistic Logic Programs
Damiano Azzolini, Fabrizio Riguzzi, Theresa Swift
https://arxiv.org/abs/2507.17291 https://arx…

Integrating Belief Domains into Probabilistic Logic Programs
Probabilistic Logic Programming (PLP) under the Distribution Semantics is a leading approach to practical reasoning under uncertainty. An advantage of the Distribution Semantics is its suitability for implementation as a Prolog or Python library, available through two well-maintained implementations, namely ProbLog and cplint/PITA. However, current formulations of the Distribution Semantics use point-probabilities, making it difficult to express epistemic uncertainty, such as arises from, for e…

Portable High-Performance Kernel Generation for a Computational Fluid Dynamics Code with DaCe
M{\aa}ns I. Andersson, Martin Karp, Niclas Jansson, Stefano Markidis
https://arxiv.org/abs/2506.20994

Portable High-Performance Kernel Generation for a Computational Fluid Dynamics Code with DaCe
With the emergence of new high-performance computing (HPC) accelerators, such as Nvidia and AMD GPUs, efficiently targeting diverse hardware architectures has become a major challenge for HPC application developers. The increasing hardware diversity in HPC systems often necessitates the development of architecture-specific code, hindering the sustainability of large-scale scientific applications. In this work, we leverage DaCe, a data-centric parallel programming framework, to automate the gene…

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
Yu Chen, Shaoyuan Li, Xiang Yin
https://arxiv.org/abs/2507.17222 https://arxi…

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
In this paper, we revisit the formal verification problem for stochastic dynamical systems over finite horizon using barrier certificates. Most existing work on this topic focuses on safety properties by constructing barrier certificates based on the notion of $c$-martingales. In this work, we first provide a new insight into the conditions of existing martingale-based barrier certificates from the perspective of dynamic programming operators. Specifically, we show that the existing conditions …

Action Language BC
Joseph Babb, Joohyung Lee
https://arxiv.org/abs/2506.18044 https://arxiv.org/pdf/2506.18044

Action Language BC+
Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) language, which allows several useful constructs for knowledge representation, such as choice rules, aggrega…

Understanding Prompt Programming Tasks and Questions
Jenny T. Liang, Chenyang Yang, Agnia Sergeyuk, Travis D. Breaux, Brad A. Myers
https://arxiv.org/abs/2507.17264

Understanding Prompt Programming Tasks and Questions
Prompting foundation models (FMs) like large language models (LLMs) have enabled new AI-powered software features (e.g., text summarization) that previously were only possible by fine-tuning FMs. Now, developers are embedding prompts in software, known as prompt programs. The process of prompt programming requires the developer to make many changes to their prompt. Yet, the questions developers ask to update their prompt is unknown, despite the answers to these questions affecting how developer…

google_web: Old Google web graph (2002)
A web graph representing a crawl of a portion of the general WWW, from a 2002 Google Programming contest.
This network has 916428 nodes and 5105039 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/net/google_web

Enhanced PDHG for Linear Programming with Online Preconditioning
Haihao Lu, Wanyu Zhang
https://arxiv.org/abs/2506.17650 https://arxi…

Enhanced PDHG for Linear Programming with Online Preconditioning
We present an online preconditioning technique for the primal-dual hybrid gradient (PDHG) algorithm for linear programming (LP). The method adaptively updates primal and dual preconditioners using an online optimization framework. To improve its practical performance, we introduce several algorithmic enhancements, including using normalized online loss functions and updating preconditioners infrequently. We implement the technique on top of vanilla PDHG and the GPU-based LP solver cuPDLP.jl, an…

Quantum Programming in Polylogarithmic Time
Florent Ferrari (ENS de Lyon), Emmanuel Hainry (MOCQUA, LORIA), Romain P\'echoux (LORIA, MOCQUA), M\'ario Silva (LORIA, MOCQUA)
https://arxiv.org/abs/2507.15415

Quantum Programming in Polylogarithmic Time
Polylogarithmic time delineates a relevant notion of feasibility on several classical computational models such as Boolean circuits or parallel random access machines. As far as the quantum paradigm is concerned, this notion yields the complexity class FBQPOLYLOG of functions approximable in polylogarithmic time with a quantum random-access Turing machine. We introduce a quantum programming language with first-order recursive procedures, which provides the first programming-language-based chara…

Mix-of-Language-Experts Architecture for Multilingual Programming
Yifan Zong, Yuntian Deng, Pengyu Nie
https://arxiv.org/abs/2506.18923 https://

Mix-of-Language-Experts Architecture for Multilingual Programming
Large language models (LLMs) have demonstrated impressive capabilities in aiding developers with tasks like code comprehension, generation, and translation. Supporting multilingual programming -- i.e., coding tasks across multiple programming languages -- typically requires either (1) finetuning a single LLM across all programming languages, which is cost-efficient but sacrifices language-specific specialization and performance, or (2) finetuning separate LLMs for each programming language, whi…

That's Not the Feedback I Need! -- Student Engagement with GenAI Feedback in the Tutor Kai
Sven Jacobs, Maurice Kempf, Natalie Kiesler
https://arxiv.org/abs/2506.20433

That's Not the Feedback I Need! -- Student Engagement with GenAI Feedback in the Tutor Kai
The potential of Generative AI (GenAI) for generating feedback in computing education has been the subject of numerous studies. However, there is still limited research on how computing students engage with this feedback and to what extent it supports their problem-solving. For this reason, we built a custom web application providing students with Python programming tasks, a code editor, GenAI feedback, and compiler feedback. Via a think-aloud protocol including eye-tracking and a post-intervie…

Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
Jonathan Cook, Silvia Sapora, Arash Ahmadian, Akbir Khan, Tim Rocktaschel, Jakob Foerster, Laura Ruis
https://arxiv.org/abs/2506.18777

Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
Training large language models (LLMs) on source code significantly enhances their general-purpose reasoning abilities, but the mechanisms underlying this generalisation are poorly understood. In this paper, we propose Programming by Backprop (PBB) as a potential driver of this effect - teaching a model to evaluate a program for inputs by training on its source code alone, without ever seeing I/O examples. To explore this idea, we finetune LLMs on two sets of programs representing simple maths p…

Educational Insights from Code: Mapping Learning Challenges in Object-Oriented Programming through Code-Based Evidence
Andre Menolli, Bruno Strik
https://arxiv.org/abs/2507.17743 …

Educational Insights from Code: Mapping Learning Challenges in Object-Oriented Programming through Code-Based Evidence
Object-Oriented programming is frequently challenging for undergraduate Computer Science students, particularly in understanding abstract concepts such as encapsulation, inheritance, and polymorphism. Although the literature outlines various methods to identify potential design and coding issues in object-oriented programming through source code analysis, such as code smells and SOLID principles, few studies explore how these code-level issues relate to learning difficulties in Object-Oriented …

google_web: Old Google web graph (2002)
A web graph representing a crawl of a portion of the general WWW, from a 2002 Google Programming contest.
This network has 916428 nodes and 5105039 edges.
Tags: Informational, Web graph, Unweighted
https://networks.skewed.de/net/google_web

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Describing Console I/O Behavior for Testing Student Submissions in Haskell
Oliver Westphal, Janis Voigtl\"ander

from my link log —
Kernighan's lever.
https://www.linusakesson.net/programming/kernighans-lever/index.php
saved 2025-05-10

From Generation to Adaptation: Comparing AI-Assisted Strategies in High School Programming Education
Tong Hu, Songzan Wang
https://arxiv.org/abs/2506.15955

From Generation to Adaptation: Comparing AI-Assisted Strategies in High School Programming Education
This exploratory case study investigated two contrasting pedagogical approaches for LCA-assisted programming with five novice high school students preparing for a WeChat Mini Program competition. In Phase 1, students used LCAs to generate code from abstract specifications (From-Scratch approach), achieving only 20% MVP completion. In Phase 2, students adapted existing Minimal Functional Units (MFUs), small, functional code examples, using LCAs, achieving 100% MVP completion. Analysis revealed t…

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

[2025-05-28 Wed (UTC), 7 new articles found for cs.PL Programming Languages]
#toXiv_bot_toot

from my link log —
awe: A compiler for the Algol W programming language.
https://github.com/glynawe/awe
saved 2025-04-12 https://do…

GitHub - glynawe/awe: A compiler for the Algol W programming language.
A compiler for the Algol W programming language. Contribute to glynawe/awe development by creating an account on GitHub.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
Ion Chirica, M\'ario Pereira
https://arxiv.org/abs/2506.20310 h…

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
Albeit being a central notion of every programming language, formally and modularly reasoning about iteration proves itself to be a non-trivial feat, specially in the context of higher-order iteration. In this paper, we present a generic approach to the specification and deductive verification of higher-order iterators, written in the OCaml language. Our methodology follows two key principles: first, the usage of the Gospel specification language to describe the general behaviour of any iterati…

from my link log —
What is systems programming, really?
https://willcrichton.net/notes/systems-programming/
saved 2024-10-10

The Autonomous Data Language -- Concepts, Design and Formal Verification
Tom T. P. Franken, Thomas Neele, Jan Friso Groote
https://arxiv.org/abs/2506.19457

The Autonomous Data Language -- Concepts, Design and Formal Verification
Nowadays, the main advances in computational power are due to parallelism. However, most parallel languages have been designed with a focus on processors and threads. This makes dealing with data and memory in programs hard, which distances the implementation from its original algorithm. We propose a new paradigm for parallel programming, the data-autonomous paradigm, where computation is performed by autonomous data elements. Programs in this paradigm are focused on making the data collaborate…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Language-Integrated Recursive Queries
Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki, Martin Odersky

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- A Sound Type System for Secure Currency Flow
Luca Aceto, Daniele Gorla, Stian Lybech
…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
Arbore, Routh, Noor, Kothari, Yang, Xu, Pinge, Zhou, Rosing, Adve