Tootfinder

Looking forward to joining the panel for the book launch of @… book 'Selected papers by Bill Hillier' this evening, 7 May at 6pm BST at the Bartlett School of Architecture, London
Join the launch event online:

Welcome! You are invited to join a webinar: Book Launch – Space Syntax: Selected Papers by Bill Hillier. After registering, you will receive a confirmation email about joining the webinar.
Join us online for the launch of Space Syntax: Selected Papers by Bill Hillier, a landmark volume celebrating 50 years of space syntax research. This long-awaited collection reflects Bill Hillier’s transformational way of thinking about buildings and cities that influenced generations of scholars, researchers and practitioners within the built environment disciplines and way beyond – in fields ranging from archaeology and biology to physics and zoology. Edited by Laura Vaughan, John Pepon…

There's something to be said for returning the whole syntax tree.
-- Larry Wall in <199710221833.LAA24741@wall.org>

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
Marcelo Fiore, Sanjiv Ranchod
https://arxiv.org/abs/2505.24812 https:/…

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
We develop a unified categorical theory of substructural abstract syntax with variable binding and single-variable (capture-avoiding) substitution. This is done for the gamut of context structural rules given by exchange (linear theory) with weakening (affine theory) or with contraction (relevant theory) and with both (cartesian theory). Specifically, in all four scenarios, we uniformly: define abstract syntax with variable binding as free algebras for binding-signature endofunctors over variab…

Code-Switching and Syntax: A Large-Scale Experiment
Igor Sterner, Simone Teufel
https://arxiv.org/abs/2506.01846 https://arxiv.org/pd…

Code-Switching and Syntax: A Large-Scale Experiment
The theoretical code-switching (CS) literature provides numerous pointwise investigations that aim to explain patterns in CS, i.e. why bilinguals switch language in certain positions in a sentence more often than in others. A resulting consensus is that CS can be explained by the syntax of the contributing languages. There is however no large-scale, multi-language, cross-phenomena experiment that tests this claim. When designing such an experiment, we need to make sure that the system that is p…

in der #verschlagwortung gabs diese woche ebooks zu syntax (https://hbz-ulbms.primo.exlibrisgroup.com/permalink/49HBZ…

Jazzaria – Sintax
#byncnd

It's publication day for 'Space Syntax - Selected papers by Bill Hillier', edited by my wonderful Bartlett School of Architecture colleague Laura Vaughan with John Peponis and Ruth Conroy Dalton.
The book brings together Hillier's groundbreaking work spanning half a century with current commentaries by international researchers
It is available #openAccess by
…

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

Classical notions of computation and the Hasegawa-Thielecke theorem
In the spirit of the Curry-Howard correspondence between proofs and programs, we define and study a syntax and semantics for classical logic equipped with a computationally involutive negation, using a polarised effect calculus. A main challenge in designing a denotational semantics is to accommodate both call-by-value and call-by-name evaluation strategies, which leads to a failure of associativity of composition. Building on the work of the third author, we devise the notion of dialogue duplo…

@… Oh, maybe, I’m alright with the syntax personally. If you know of something better that preserves the pipeline-first design, I’m interested.

Is spreadsheet syntax better than numeric indexing for cell selection?
Philip Heltweg, Dirk Riehle, Georg-Daniel Schwarz
https://arxiv.org/abs/2505.23296 h…

Is spreadsheet syntax better than numeric indexing for cell selection?
Selecting a subset of cells is a common task in data engineering, for example, to remove errors or select only specific parts of a table. Multiple approaches to express this selection exist. One option is numeric indexing, commonly found in general programming languages, where a tuple of numbers identifies the cell. Alternatively, the separate dimensions can be referred to using different enumeration schemes like "A1" for the first cell, commonly found in software such as spreadsheet systems. …

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

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
Grammar plays a critical role in natural language processing and text/code generation by enabling the definition of syntax, the creation of parsers, and guiding structured outputs. Although large language models (LLMs) demonstrate impressive capabilities across domains, their ability to infer and generate grammars has not yet been thoroughly explored. In this paper, we aim to study and improve the ability of LLMs for few-shot grammar generation, where grammars are inferred from sets of a small …

Design of a visual environment for programming by direct data manipulation
Michel Adam (UBS, IRISA), Patrice Frison (UBS, IRISA), Moncef Daoud (UBS), Sabine Letellier Zarshenas (UBS)
https://arxiv.org/abs/2506.03720

Design of a visual environment for programming by direct data manipulation
The use of applications on computers, smartphones, and tablets has been considerably simplified thanks to interactive and dynamic graphical interfaces coupled with the mouse and touch screens. It is no longer necessary to be a computer specialist to use them. Paradoxically, the development of computer programs generally requires writing lines of code in a programming language whose syntax is particularly strict. This process poses many difficulties for programmers. We propose an original tool i…

Dang it…is there a human-readable data format that is basically YAML syntax but the simple featureset of JSON (plus comments)?
I want something concise and Markdown-ish, made for human editing, like YAML, but without all of YAML’s…er, specialness.
EDIT: To be clear, this is for •primary content•, not configuration. It should •feel• like working with Markdown; it’s just that the output needs to be array-and-dict-shaped instead of HTML-shaped. (Lots of good suggestions in the replies already! TOML and KDL and are clear crowd favorites.)

Spark SQL pipe (|>) for Spark 4.0.0?!
https://issues.apache.org/jira/browse/SPARK-49555
https://

An Exploratory Framework for Future SETI Applications: Detecting Generative Reactivity via Language Models
Po-Chieh Yu
#toXiv_bot_toot

#numpy is being aware of the many syntax/shape gotchas. This looks like …

DumPy: NumPy except it’s OK if you’re dum
reject clever

Dang it…is there a human-readable data format that is basically YAML syntax but the simple featureset of JSON (plus comments)?
I want something concise and Markdown-ish, made for human editing, like YAML, but without all of YAML’s…er, specialness.
EDIT: To be clear, this is for •primary content•, not configuration. It should •feel• like working with Markdown; it’s just that the output needs to be array-and-dict-shaped instead of HTML-shaped. (Lots of good suggestions in the replies already! TOML and KDL and are clear crowd favorites.)

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

Charon: An Analysis Framework for Rust
With the explosion in popularity of the Rust programming language, a wealth of tools have recently been developed to analyze, verify, and test Rust programs. Alas, the Rust ecosystem remains relatively young, meaning that every one of these tools has had to re-implement difficult, time-consuming machinery to interface with the Rust compiler and its cargo build system, to hook into the Rust compiler's internal representation, and to expose an abstract syntax tree (AST) that is suitable for analy…

Thanks Gemini. I did not know that about markdown.
"Important Consideration for Writing Markdown:
Even with this CSS, the most reliable way to ensure a line break within a list item in the PDF is to use the standard Markdown syntax for a hard line break: end the line with two or more spaces before hitting Enter."
#Gemini

I have a habbit of making (too) many (small) packages for functionality that might be reused in different context. {box} might be an alternative by making scripts into modlues that can be loaded: #RStats

‘box’: Write Reusable, Composable and Modular R Code
A modern module system for R. Organise code into hierarchical, composable, reusable modules, and use it effortlessly across projects via a flexible, declarative dependency loading syntax.

„Mother of Order“ by The Sarge
Platform: C64
Released: 27 November 2021
Note: 1st in the Syntax 2021 Pixel Graphics (8bit) competition
#GFX_The_Sarge #YR_2021 #PF_C64…

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.