Tootfinder

🔊 #NowPlaying on #BBCRadio3:
#ClassicalLive
- Bach's E major Violin Concerto from the Edinburgh International Festival
Violin highlights from this summer's Edinburgh International Festival plus a cello concerto by Shostakovich from the BBC Philharmonic Orchestra and John Storgards.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002j699

A Computer Vision Pipeline for Individual-Level Behavior Analysis: Benchmarking on the Edinburgh Pig Dataset
Haiyu Yang, Enhong Liu, Jennifer Sun, Sumit Sharma, Meike van Leerdam, Sebastien Franceschini, Puchun Niu, Miel Hostens
https://arxiv.org/abs/2509.12047

A Computer Vision Pipeline for Individual-Level Behavior Analysis: Benchmarking on the Edinburgh Pig Dataset
Animal behavior analysis plays a crucial role in understanding animal welfare, health status, and productivity in agricultural settings. However, traditional manual observation methods are time-consuming, subjective, and limited in scalability. We present a modular pipeline that leverages open-sourced state-of-the-art computer vision techniques to automate animal behavior analysis in a group housing environment. Our approach combines state-of-the-art models for zero-shot object detection, motio…

word_assoc: Edinburgh word associations
A network of word associations showing the count of such associations as collected from subjects, from the Edinburgh Associative Thesaurus (EAT). Each node represents a word, and a directed edge (i, j) denotes that word i was used as a stimulus to which word j was given as a response. Multiple edges are allowed.
This network has 23132 nodes and 312342 edges.
Tags: Informational, Language, Unweighted, Multigraph

🔊 #NowPlaying on #BBCRadio3:
#Radio3InConcert
- Bizet and Strauss from the Edinburgh International Festival
Violinist Alexander Sitkovetsky directs the NFM Leopoldinum Orchestra in music by Bacewicz, Strauss, Kilar and Bizet from the Edinburgh International Festival.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002j4m8

Substitution Without Copy and Paste
Thorsten Altenkirch (University of Nottingham), Nathaniel Burke (Imperial College London), Philip Wadler (University of Edinburgh)
https://arxiv.org/abs/2510.12304

Substitution Without Copy and Paste
Defining substitution for a language with binders like the simply typed $λ$-calculus requires repetition, defining substitution and renaming separately. To verify the categorical properties of this calculus, we must repeat the same argument many times. We present a lightweight method that avoids repetition and that gives rise to a simply typed category with families (CwF) isomorphic to the initial simply typed CwF. Our paper is a literate Agda script.

word_assoc: Edinburgh word associations
A network of word associations showing the count of such associations as collected from subjects, from the Edinburgh Associative Thesaurus (EAT). Each node represents a word, and a directed edge (i, j) denotes that word i was used as a stimulus to which word j was given as a response. Multiple edges are allowed.
This network has 23132 nodes and 312342 edges.
Tags: Informational, Language, Unweighted, Multigraph

Challenge: "Name 20 living female authors you admire, 1 per day"
Day 20: Eleanor Catton
I was fortunate to hear Catton do a reading at the Edinburgh Book Festival in 2013, and just a couple of months later she became the youngest ever winner of the Man Booker Prize for her second novel, The Luminaries - one of the strangest books I've ever read.
So, yay! I made it to 20 posts. Not hard actually, as there are so many fantastic

CFP> UKABS 2026 conference on Buddhism and Emotion
https://ift.tt/8hcNyrV
University of Alaska - Fairbanks - Alaska & Polar Regions Area Studies Bibliographer & Curator of…
via Input 4 RELCFP

🔊 #NowPlaying on #BBCRadio3:
#ClassicalLive
- Joe Hisaishi at the Proms plus Steve Reich from Edinburgh
Composer/conductor Joe Hishaishi, famous for his scores for Studio Ghibli, conducts his own music alongside Steve Reich at the Proms, plus from Edinburgh, music by Missy Mazzoli
Relisten now 👇
https://www.bbc.co.uk/programmes/m002grfs

Measuring the Vulnerability Disclosure Policies of AI Vendors
Yangheran Piao (University of Edinburgh), Jingjie Li (University of Edinburgh), Daniel W. Woods (University of Edinburgh)
https://arxiv.org/abs/2509.06136

Measuring the Vulnerability Disclosure Policies of AI Vendors
As AI is increasingly integrated into products and critical systems, researchers are paying greater attention to identifying related vulnerabilities. Effective remediation depends on whether vendors are willing to accept and respond to AI vulnerability reports. In this paper, we examine the disclosure policies of 264 AI vendors. Using a mixed-methods approach, our quantitative analysis finds that 36% of vendors provide no disclosure channel, and only 18% explicitly mention AI-related risks. Vul…

@… Why have you branded your "Edinburgh" account with the union flag instead of the Saltire?

Lectures on stochastic sewing with applications
Oleg Butkovsky
https://arxiv.org/abs/2510.12165 https://arxiv.org/pdf/2510.12165

Lectures on stochastic sewing with applications
These are lecture notes for a mini-course on stochastic sewing, taught at the University of Edinburgh and Beijing Institute of Technology in Spring/Summer 2025. The aim is to introduce the reader to stochastic sewing techniques and to show how they can be successfully applied to study various problems in stochastic analysis, including: regularization by noise for stochastic differential equations driven by Brownian motion or fractional Brownian motion, well-posedness of stochastic PDEs with irr…

If your government tells you that everyday citizens are terrorists, you might be living under fascism. https://mastodon.online/@Geri/115162976145463345

Totts (@Geri@mastodon.online)
Attached: 1 image Met Police are now, Sept 7th, reporting 890 were arrested at the #PalestineAction demo in London on the day before So with 717 arrested in previous days And with 3 people arrested in Edinburgh that makes a total of 1610 who have been arrested Astonishing!

Today in Edinburgh, talk at LFCS, then performance at Edinburgh Fringe.
https://informatics.ed.ac.uk/lfcs/lfcs-seminar-tuesday-5th-august-michael-sperber

Challenge: "Name 20 female authors you admire, 1 per day"
Day 17: Vicki Jarrett
So far she's published a couple of really good novels and a collection of short stories. She strikes me as the type of author who aims for quality, not quantity.
I adored her first novel "Nothing is Heavy", based on real life experiences in Edinburgh. Her other novel, "Always North" is an eco-thriller set in Svalbard, a Norwegian arctic island.
Both great…

Impressive institutional self-assessment. Would that more corporate entities demonstrated that level of responsibility.
https://www.theguardian.com/education/2025/jul/27/ed…

Impressive institutional self-assessment. Would that more corporate entities demonstrated that level of responsibility.
https://www.theguardian.com/education/2025/jul/27/ed…

Ukrainian students to protest Navalny widow's appearance at Edinburgh literary festival over her Ukraine views: https://benborges.xyz/2025/08/20/ukrainian-students-to-protest-navalny.html

In the UK, you can now get arrested under the Terrorist Act for wearing a T-shirt against Israel's ongoing genocide in Gaza.
Paul Laverty is to be charged under section 13 of the Terrorist Act for wearing a T-shirt with the words: “Genocide in Palestine, time to take Action”, thought to show support for activist group Palestine Action, proscribed as a terrorist organisation by the UK Labour government for painting fighter jets in a protest.

Best possible illustration as to why it's lovely living exactly halfway between Newcastle and Edinburgh @…

Grave markers and weeping beech,
Dean cemetery, #Edinburgh
#ThickTrunkTuesday #trees

word_assoc: Edinburgh word associations
A network of word associations showing the count of such associations as collected from subjects, from the Edinburgh Associative Thesaurus (EAT). Each node represents a word, and a directed edge (i, j) denotes that word i was used as a stimulus to which word j was given as a response. Multiple edges are allowed.
This network has 23132 nodes and 312342 edges.
Tags: Informational, Language, Unweighted, Multigraph

🔊 #NowPlaying on #BBCRadio3:
#InTune
- Classical music live in the studio
Petroc Trelawny has live music from Penguin Cafe and speaks to Alan Lane, the Creative Director of the Royal Edinburgh Military Tattoo.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002gs9k

CFP> UKABS 2026 conference on Buddhism and Emotion
https://ift.tt/FcmbWwq
University of Alaska - Fairbanks - Alaska & Polar Regions Area Studies Bibliographer & Curator of…
via Input 4 RELCFP

Challenge: "Name 20 living female authors you admire, 1 per day"
Day 19: Alice Thompson
Another of Edinburgh's fine authors. She has written 9 novels of which I have read three.
Definitely do read BURNT ISLAND, it is just amazing. If you are faint-hearted however, you may want to avoid The Book Collector which was utterly terrifying.
#FemmeÉcrivain

Sheriffs with shields and batons.
You don't often see it expressed in a visible way like this, but such state violence ultimately backs up all property ownership. Homelessness only exists because if people entered and made a home in a vacant or underused property, the state would use essentially unlimited force to evict them.

Venerable S.F. dive bar in Tenderloin evicted by sheriff’s deputies with ‘shields & batons’
The foreclosed-upon pub was known for hosting punk shows in the 2000s and had one of the last smoking rooms in San Francisco.

"Stellen Sie meinen Grabstein einfach genau vor den von meinem Nachbarn"
Gesehen in #Edinburgh, auf dem Friedhof, wo angeblich einige Namensinspirationen für die Harry-Potter-Charaktere herkommen.

I'll be in Edinburgh next week, mainly for the Fringe, but I'll also give a talk at LFS/U Edinburgh on Tuesday:
https://informatics.ed.ac.uk/lfcs/lfcs-seminar-tuesday-5th-august-michael-sperber

🔊 #NowPlaying on #BBCRadio3:
#ClassicalLive
- Dvorak's New World from the Proms and the Edinburgh Festival
The Royal Liverpool Philharmonic perform Dvorak and Marquez at the Proms plus highlights from this year's Edinburgh International Festival including The King's Singers.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002gr4g

@… Just saw this over on Twitter: https://x.com/AlanWilson_SP/status/1964285570957316534
I especially love the first one! You perh…

Alan Wilson (@AlanWilson_SP) on X
Out for a wander just to keep my eye in! #Edinburgh

CFP> UKABS 2026 conference on Buddhism and Emotion
https://ift.tt/wfQNa3H
University of Alaska - Fairbanks - Alaska & Polar Regions Area Studies Bibliographer & Curator of…
via Input 4 RELCFP

"Donald Trump visit to Scotland expected to be met with wave of protest"
https://www.theguardian.com/us-news/2025/jul/24/donald-trump-scotland-visit-protest
-> info on the 26th July protests:

Andy Burnham and ID cards in the news ... takes me back! The Home Office brought their ID card propaganda to the South Gyle Shopping Centre in Edinburgh. That was the first protest I ever organised.
Andy Burnham was minister for ID cards, and after a few hours of us ensuring TV cameras could not get a shot without our NO2ID banner being visible, took me and another campaigner for coffee to discuss our concerns. He was never going to change policy based on what we said, but he did liste…

Something of a mix up with the automated announcements on this train.
"Welcome aboard this Avanti West Coast service to Edinburgh, calling at ... long pause ... see it, say it, sorted."

word_assoc: Edinburgh word associations
A network of word associations showing the count of such associations as collected from subjects, from the Edinburgh Associative Thesaurus (EAT). Each node represents a word, and a directed edge (i, j) denotes that word i was used as a stimulus to which word j was given as a response. Multiple edges are allowed.
This network has 23132 nodes and 312342 edges.
Tags: Informational, Language, Unweighted, Multigraph

Exploring the Potential Merger of DSpace and DSpace-CRIS: Q&A-Session with panelists from @…, #Atmire, @… and of …

"Reflections on CoLIS 2025" [International Conference on Concepts of Library and Information Science] https://libraryblogs.is.ed.ac.uk/datablog/2025/07/16/reflections-on-colis-2025/

from my link log —
Rod Bustall: in memoriam.
https://arxiv.org/abs/2505.06456
saved 2025-08-05 https://dotat.at/:/SKAE7.html

Rod Bustall: In Memoriam
This is an obituary of Rod Burstall, written in his honour. Rod was a prominent computer scientist whose contributions span over forty years. Most of his career was spent at Edinburgh University. He lead the team programming Freddy, the first hand-eye assembly robot, with much of his effort being devoted to the development of the POP-2 programming language. He became interested in a mathematical approach to software development: he recognised the central role of structural induction; his work o…

Only two nights to go - if you're in Edinburgh, see us at the Fringe at Paradise in Augustines today or tomorrow at 19:05!
https://www.theater-u34.de/quartet/

🔊 #NowPlaying on #BBCRadio3:
#InTune
- Wind down from the day with classical
Petroc Trelawny has live music from cellist Johannes Moser, who performs at the BBC Proms. Plus violinist Bomsori Kim joins us from Edinburgh.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002gs3v

Challenge: "Name 20 female authors you admire, 1 per day"
Day 10:
Pippa Goldschmidt
Both an astronomer and a very gifted writer. She writes the cleanest, most exact prose I have ever encountered.
She used to live in Edinburgh, but I think she lives in Germany now?
#FemmeÉcrivain

Evaluating Personalized Beneficial Interventions in the Daily Lives of Older Adults Using a Camera
Longfei Chen, Christopher Lochhead, Robert B. Fisher, Nusa Faric, Jacques Fleuriot, Subramanian Ramamoorthy
https://arxiv.org/abs/2507.19494

Evaluating Personalized Beneficial Interventions in the Daily Lives of Older Adults Using a Camera
Beneficial daily activity interventions have been shown to improve both the physical and mental health of older adults. However, there is a lack of robust objective metrics and personalized strategies to measure their impact. In this study, two older adults aged over 65, living in Edinburgh, UK, selected their preferred daily interventions (mindful meals and art crafts), which are then assessed for effectiveness. The total monitoring period across both participants was 8 weeks. Their physical b…

CFP> UKABS 2026 conference on Buddhism and Emotion https://networks.h-net.org/group/announcements/20121657/cfp-ukabs-2026-conference-buddhism-and-emotion

Clinical characteristics, complications and outcomes of critically ill patients with Dengue in Brazil, 2012-2024: a nationwide, multicentre cohort study
Igor Tona Peres, Otavio T. Ranzani, Leonardo S. L. Bastos, Silvio Hamacher, Tom Edinburgh, Esteban Garcia-Gallo, Fernando Augusto Bozza
https://arxiv.org/abs/2508.18207

Clinical characteristics, complications and outcomes of critically ill patients with Dengue in Brazil, 2012-2024: a nationwide, multicentre cohort study
Background. Dengue outbreaks are a major public health issue, with Brazil reporting 71% of global cases in 2024. Purpose. This study aims to describe the profile of severe dengue patients admitted to Brazilian Intensive Care units (ICUs) (2012-2024), assess trends over time, describe new onset complications while in ICU and determine the risk factors at admission to develop complications during ICU stay. Methods. We performed a prospective study of dengue patients from 253 ICUs across 56 hospit…

🔊 #NowPlaying on #BBCRadio3:
#ClassicalLive
- More from the New World with the Royal Liverpool Philharmonic at the Proms
Music from America makes up today's highlights from the Royal Liverpool Philharmonic's recent Prom, including music by Higdon and Hailstork, plus more from the Edinburgh Festival.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002gr7x

word_assoc: Edinburgh word associations
A network of word associations showing the count of such associations as collected from subjects, from the Edinburgh Associative Thesaurus (EAT). Each node represents a word, and a directed edge (i, j) denotes that word i was used as a stimulus to which word j was given as a response. Multiple edges are allowed.
This network has 23132 nodes and 312342 edges.
Tags: Informational, Language, Unweighted, Multigraph

String Diagrams for Defect-Based Surface Code Computing
Mateusz Kupper (Department of Informatics, University of Sussex), Dominic Horsman (Department of Computer Science, University of Oxford), Chris Heunen (School of Informatics, University of Edinburgh), Niel de Beaudrap (Department of Informatics, University of Sussex)
https://arxiv.org…

String Diagrams for Defect-Based Surface Code Computing
Surface codes are a popular choice for implementing fault-tolerant quantum computing. Two-qubit gates may be realised in these codes using only nearest-neighbour interactions, either by lattice surgery or by braiding defects around each other. The effect of lattice surgery operations may be simply described using the ZX-calculus: a graphical language that has proven effective for program design and optimisation. In this work, we formalise a similar description via the ZX-calculus of defect brai…

CFP> UKABS 2026 conference on Buddhism and Emotion
https://ift.tt/u5yC8hN
University of Alaska - Fairbanks - Alaska & Polar Regions Area Studies Bibliographer & Curator of…
via Input 4 RELCFP

🔊 #NowPlaying on #BBCRadio3:
#SaturdayMorning
- Live from the Edinburgh International Festival
Tom Service is live from The Hub in Edinburgh on the opening weekend of the Edinburgh International Festival, with special guests and live music.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002ggbv

Arrived in Edinburgh - hello Fringe!

word_assoc: Edinburgh word associations
A network of word associations showing the count of such associations as collected from subjects, from the Edinburgh Associative Thesaurus (EAT). Each node represents a word, and a directed edge (i, j) denotes that word i was used as a stimulus to which word j was given as a response. Multiple edges are allowed.
This network has 23132 nodes and 312342 edges.
Tags: Informational, Language, Unweighted, Multigraph

Entry to a walled garden, in Edinburgh.
#SilentSunday

🔊 #NowPlaying on #BBCRadio3:
#ClassicalLive
- The London Philharmonic take to the sea at the Proms
Music by Debussy and Sibelius inspired by the sea from the London Philharmonic's recent Prom whilst at the Edinburgh International Festival chamber music by the Schumanns
Relisten now 👇
https://www.bbc.co.uk/programmes/m002gs3r

Tomorrow I am taking the girls to a KPop Demon Hunters Sing-Along at Vue Edinburgh Oceans Terminal.
Wish me luck.

Challenge: "Name 20 female authors you admire, 1 per day"
Day 14:
Anne Donovan
Her novel "BuddhaDa" is one of the most clever, hilarious, uplifting and yet very serious works of literature I've ever read. It sits on my favourites shelf. As she writes the dialogues the way people talk, you will learn some Scots Glasgow dialect along the way. I had the pleasure of attending a reading with her at a local library in Edinburgh and she signed this much-love…

Data Movement Model for the Vera C. Rubin Observatory
Fabio Hernandez (CC-IN2P3/CNRS), Mark G. Beckett (Institute for Astronomy, University of Edinburgh), Andrew Hanushevsky (SLAC National Accelerator Laboratory), Tim Jenness (Vera C. Rubin Observatory Project Office), Kian-Tat Lim (SLAC National Accelerator Laboratory), Peter Love (Lancaster University), Timothy Noble (Rutherford Appleton Laboratory, Science and Technology Facilities Council), Stephen R. Pietrowicz (National Center fo…

Data Movement Model for the Vera C. Rubin Observatory
The sky images captured nightly by the camera on the Vera C. Rubin Observatory's telescope will be processed across facilities on three continents. Data acquisition will occur at the observatory's location on Cerro Pachón in the Andes mountains of Chile. A first copy of the raw image data set is stored at the summit and immediately transmitted via dedicated network links to the archive center within the US Data Facility at SLAC National Accelerator Laboratory in California, USA and from there …

🔊 #NowPlaying on #BBCRadio3:
#InTune
- Live from the Edinburgh International Festival
Petroc Trelawny presents In Tune from The Hub in Edinburgh, with live music from the Dunedin Consort, pianists Pavel Kolesnikov and Samson Tsoy, and virtuoso fiddler Roby Lakatos
Relisten now 👇
https://www.bbc.co.uk/programmes/m002ggf8

Challenge: "Name 20 female authors you admire, 1 per day"
Day 12:
The next three will be local Edinburgh writers, all of whom I have had the pleasure of meeting, and hearing them read from their work.
First up:
➡️ Catriona Child
I loved her "Trackman" - it was so cool to recognise the various places in the book and I loved her typographical experiments. She has written 4 novels to date.

Metric Equational Theories
Radu Mardare (Heriot-Watt University, Edinburgh, Scotland), Neil Ghani (University of Strathclyde, Glasgow, Scotland), Eigil Rischel (University of Strathclyde, Glasgow, Scotland)
https://arxiv.org/abs/2509.14094

Metric Equational Theories
This paper proposes appropriate sound and complete proof systems for algebraic structures over metric spaces by combining the development of Quantitative Equational Theories (QET) with the Enriched Lawvere Theories. We extend QETs to Metric Equational Theories (METs) where operations no longer have finite sets as arities (as in QETs and the general theory of universal algebras), but arities are now drawn from countable metric spaces. This extension is inspired by the theory of Enriched Lawvere …

CALL FOR PAPERS ReFocus: The Films of Gerard Damiano
https://ift.tt/8Hahsge
updated: Monday, August 11, 2025 - 7:48amfull name / name of organization: Edinburgh University…
via Input 4 RELCFP

Our trip down Müller's play started over a decade ago, with rehearsals finally starting a year before the pandemic. The script has so many facets, it's imperative to give a production a unique focus. It took us until 2024 to find ours: Amidst all the brutality and perversion, it's a love story.
https://chao…

Challenge: "Name 20 female authors you admire, 1 per day"
Day 11:
Lisa Moore
I discovered this Canadian author via the Edinburgh Book Festival - what a find. I loved her novel "Alligator" - it's on my shelf for favourite books.
#FemmeÉcrivain

Brilliant 46th #TBMac lecture by Kate Raworth on Donut Economics and the many cities, subnational governments and local organisations using those ideas. 🙏
➡️ Paper out today with some of the analysis👀 . #Edinburgh #Economics #DonutEconomy

Challenge: "Name 20 female authors you admire, 1 per day"
Day 7:
Lauren Beukes ("rhymes with mucus" as she likes to say)
SciFi novellist, filmmaker, journalist and LGBTQ-ally from S.Africa.
I loved Zoo City, Moxyland and The Shining Girls and I need to catch up on her newer ones. It was fun to meet her at the Edinburgh Int'l Book Festival a few years ago.

🔊 #NowPlaying on #BBCRadio3:
#ChoralEvensong
- St Mary’s Episcopal Cathedral, Edinburgh
Live from St Mary’s Episcopal Cathedral, Edinburgh, with music by Jackson, Ives, Britten and Howells.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002h192

🔊 #NowPlaying on #BBCRadio3:
#InTune
- Classical artists live in session
Petroc Trelawny is joined by pianist Yuki Negishi ahead of the Edinburgh Royal Mile International Piano Series and conductor Peter Whelan speaks about his upcoming Prom.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002h8x3

🔊 #NowPlaying on #BBCRadio3:
#TheEssay
- How Music Heals
As part of her investigation of how music therapy works, Philippa Perry travels Edinburgh to meet newly qualified therapists and improvise with them in a group therapy session.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002jfr5

🔊 #NowPlaying on #BBCRadio3:
#ClassicalLive
- Shostakovich's Frst Symphony
Specially recorded highlights from this summer's Edinburgh International Festival alongside the BBC Philharmonic Orchestra in concert with Shostakovich.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002j6ng

🔊 #NowPlaying on #BBCRadio3:
#ClassicalLive
- Delius’ A Mass of Life from the BBC Proms
Elizabeth Alker showcases summer festivals including highlights from the Edinburgh Festival and the BBC Symphony Orchestra and Sir Mark Elder in Delius’ Mass of Life at the Proms.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002h14q

🔊 #NowPlaying on #BBCRadio3:
#ClassicalLive
- Shostakovich 5 from the Royal Albert Hall
Elizabeth Alker showcases summers highlights including a visit to the Edinburgh Festival 2025 and the Aurora Orchestra playing Shostakovich’s 5th Symphony by heart at the Proms.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002h0q7

🇺🇦 #NowPlaying on BBCRadio3's #InTune
[traditional], James Scott Skinner, Nicola Benedetti & Phil Cunningham:
🎵 The Dean Brig o' Edinburgh; Banks Hornpipe
#[traditional] #JamesScottSkinner #NicolaBenedetti #PhilCunningham