Tootfinder

Quantum Executor: A Unified Interface for Quantum Computing
Giuseppe Bisicchia, Alessandro Bocci, Antonio Brogi
https://arxiv.org/abs/2507.07597 https://…

Quantum Executor: A Unified Interface for Quantum Computing
As quantum computing evolves from theoretical promise to practical deployment, the demand for robust, portable, and scalable tools for quantum software experimentation is growing. This paper introduces Quantum Executor, a backend-agnostic execution engine designed to orchestrate quantum experiments across heterogeneous platforms. Quantum Executor provides a declarative and modular interface that decouples experiment design from backend execution, enabling seamless interoperability and code reus…

Cultured Code: Server-Backend von Things nun auch in Swift
Die Programmiersprache Swift wird in immer mehr Apps für Apple-Plattformen verwendet. Cultured Code hat das nun auch beim Server getan.
https:/…

zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
William Law
https://arxiv.org/abs/2507.05294 https…

zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
The rapid advancement of creating Zero-Knowledge (ZK) programs has led to the development of numerous tools designed to support developers. Popular options include being able to write in general-purpose programming languages like Rust from Risc Zero. Other languages exist like Circom, Lib-snark, and Cairo. However, developers entering the ZK space are faced with many different ZK backends to choose from, leading to a steep learning curve and a fragmented developer experience across different pl…

A Common Interface for Automatic Differentiation
Guillaume Dalle, Adrian Hill
https://arxiv.org/abs/2505.05542 https://arxiv.org/pdf/…

A Common Interface for Automatic Differentiation
For scientific machine learning tasks with a lot of custom code, picking the right Automatic Differentiation (AD) system matters. Our Julia package DifferentiationInterface.jl provides a common frontend to a dozen AD backends, unlocking easy comparison and modular development. In particular, its built-in preparation mechanism leverages the strengths of each backend by amortizing one-time computations. This is key to enabling sophisticated features like sparsity handling without putting addition…

Strengthening #Kotlin for Backend Development: A Strategic Partnership With #Spring
https://blo…

A small aside, during my vacation I finally started on writing a Metal backend for SwiftTerm.
It has a few missing features, so not worth comparing performance yet, but it is feeling great:
https://github.com/migueldeicaza/SwiftTerm/tree/metal-backend

GitHub - migueldeicaza/SwiftTerm at metal-backend
Xterm/VT100 Terminal emulator in Swift. Contribute to migueldeicaza/SwiftTerm development by creating an account on GitHub.

tech nerdery
I mean this: if every receiver just connected to its source when it was ready, and we hadn't made short-timeout stateful firewalls everywhere, we'd have to deploy SO MANY fewer weird one-off services just to receive something.
Instead we have to provision certificates and public facing hostnames to get communication going. Backend development is so much more complex and less robust because of it.

Tailor, which offers a headless ERP system for retail businesses that separates the frontend and backend, raised a $22M Series A from ANRI, NEA, YC, and others (Kate Park/TechCrunch)
https://techcrunch.com/2025/06/30/tailor-a-headless-erp-start…

Tailor, a 'headless' ERP startup, raises $22M Series A | TechCrunch
Tailor, a San Francisco- and Tokyo-based enterprise resource planning (ERP) platform, has raised $22 million in a Series A funding round. Investors

Apparently there’s like freePBX and Issabel, which both use Asterisk as a backend
AND GUESS WHO’S AVAILABLE ON NIXOS AS A MODULE? THAT’S RIGHT, ASTERISK!!
I love NixOS so much

Kennt jemand eine gute Einkaufszettel-App? Gerne #selfHosted oder als Backend #NextCloud und #FOSS, aber mit den üblichen Funktionen:
- Vorgefertigte Produkte
- Mengensupport
- Unterst…

Since migrating away from big tech platforms (including Google Drive) I have been using Libreoffice for my writing and presentations.
I often get asked why I do not use OnlyOffice since it looks so much better (especially the web client). Two answers:
- The presentation tools of OnlyOffice are too barebones
But more importantly:
OnlyOffice is a company that seems to be controlled by a Russian guy who invests a lot of time to hide the fact that OnlyOffice is Russian (see…

Comparing Collabora with OnlyOffice
Collabora Online provides excellent interoperabilty, efficient backend for scalability, best privacy, and a rich interface for cooperation and editing docx, xlsx, pptx and odf

AgentPorn.ai - Where Developers get their fix
https://agentporn.ai/

PSA: We had some image loading issues since yesterday on datasci.social, soon to be resolved by itself. Thx for understanding.
Reason: Due to migrating to a more stable provider: An additional cache for images was added that also stores the data in an efficient manner, but due to the large initial load some of its requests are timing out to the backend. We are increasing the timeouts, and also manually pushing data into it so it has data before the initial request.

Real-Time AI-Driven Pipeline for Automated Medical Study Content Generation in Low-Resource Settings: A Kenyan Case Study
Emmanuel Korir, Eugene Wechuli
https://arxiv.org/abs/2507.05212

Real-Time AI-Driven Pipeline for Automated Medical Study Content Generation in Low-Resource Settings: A Kenyan Case Study
Juvenotes is a real-time AI-driven pipeline that automates the transformation of academic documents into structured exam-style question banks, optimized for low-resource medical education settings in Kenya. The system combines Azure Document Intelligence for OCR and Azure AI Foundry (OpenAI o3-mini) for question and answer generation in a microservices architecture, with a Vue/TypeScript frontend and AdonisJS backend. Mobile-first design, bandwidth-sensitive interfaces, institutional tagging, a…

@… Do you think this is an issue? I have no idea how people test React components at all nowadays.
Personally I prefer to write browser tests with a fake backend implementation (running in the client; no HTTP calls), but this might be controversial.

Want to use {pak} as backend for {renv} actions? Set the variable RENV_CONFIG_PAK_ENABLED = TRUE #renv

Q&A with Matt Mullenweg on licensing deals with AI companies, putting Tumblr's backend migration to WordPress "on hold", fediverse, content moderation, and more (Nilay Patel/The Verge)
https://www.theverge.com…

Why Automattic CEO Matt Mullenweg went to war over WordPress
The head of web publishing company Automattic on the WP Engine and the future of WordPress.

Weiss jemand was mit Hetzner los ist ? Da geht der Dashboard gar nicht im Backend. Haben die Probleme ?
@…
@…

🔄 Features hot-reloading for both frontend and
backend during development
🐳 Production deployment ready with #Docker and docker-compose configuration
https://github.com/google-gem…

Damn, using the UK's visa app to read a passport chip via NFC is a pretty extreme exercise in frustration. Got locked out twice (on the backend by UK servers, not the app itself!) in my attempts, each with an hour wait to be unlocked.

Hey, you #JavaScript folks want to build #secure web experiences? Well, join us on this #livestream where we talk about the best current practice of Backend For Frontend to keep your apps safe from…

Q&A with Matt Mullenweg on licensing deals with AI companies, putting Tumblr's backend migration to WordPress "on hold", fediverse, content moderation, and more (Nilay Patel/The Verge)
https://www.theverge.com…

Why Automattic CEO Matt Mullenweg went to war over WordPress
The head of web publishing company Automattic on the WP Engine and the future of WordPress.

Switched this server to my new #Hetzner Object Storage backend. Also switched from #NGINX as reverse proxy to #Caddy.

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

Verifying Device Drivers with Pancake
Device driver bugs are the leading cause of OS compromises, and their formal verification is therefore highly desirable. To the best of our knowledge, no realistic and performant driver has been verified for a non-trivial device. We propose Pancake, an imperative language for systems programming that features a well-defined and verification-friendly semantics. Leveraging the verified compiler backend of the CakeML functional language, we develop a compiler for Pancake that guarantees that the b…

@… I once built a web app backend by connecting a tiny, basic HTTP server, jq, and https://github.com/SamirTalwar/jsqlon in several different ways. Very lit…

LearnAFE: Circuit-Algorithm Co-design Framework for Learnable Audio Analog Front-End
Jinhai Hu, Zhongyi Zhang, Cong Sheng Leow, Wang Ling Goh, Yuan Gao
https://arxiv.org/abs/2507.00755

LearnAFE: Circuit-Algorithm Co-design Framework for Learnable Audio Analog Front-End
This paper presents a circuit-algorithm co-design framework for learnable analog front-end (AFE) in audio signal classification. Designing AFE and backend classifiers separately is a common practice but non-ideal, as shown in this paper. Instead, this paper proposes a joint optimization of the backend classifier with the AFE's transfer function to achieve system-level optimum. More specifically, the transfer function parameters of an analog bandpass filter (BPF) bank are tuned in a signal-to-no…

Even for small projects, while it might work, I wouldn't want the context switching personally. Especially if the backend uses some weird templating language for generating the html snippets. I'd much rather use a fullstack framework like #SvelteKit where your endpoint is just a load function that returns some data (automatically serialized and made available to the page script), or create a proper API in another language that returns some JSON.

Replaced article(s) found for physics.flu-dyn. https://arxiv.org/list/physics.flu-dyn/new
[1/1]:
- WaterLily.jl: A differentiable and backend-agnostic Julia solver for incompressible viscous flow ...
Gabriel D. Weymouth, Bernat Font

D-LiFT: Improving LLM-based Decompiler Backend via Code Quality-driven Fine-tuning
Muqi Zou (Jing), Hongyu Cai (Jing), Hongwei Wu (Jing), Zion Leonahenahe Basque (Jing), Arslan Khan (Jing), Berkay Celik (Jing), Dave (Jing), Tian (Fish), Antonio Bianchi (Fish), Ruoyu (Fish), Wang, Dongyan Xu
https://arxiv.org/abs/2506.10125…

D-LiFT: Improving LLM-based Decompiler Backend via Code Quality-driven Fine-tuning
Decompilers, which reconstruct human-readable source code from binary executables, are vital to many security tasks. Yet, despite recent advances, their output often suffers from syntactic and semantic errors and remains difficult to read. Recently, with the advent of large language models (LLMs), researchers began to explore the potential of LLMs to refine decompiler output. Nevertheless, our study of these approaches reveals significant limitations, such as introducing new errors and relying …

Damn, using the UK's visa app to read a passport chip via NFC is a pretty extreme exercise in frustration. Got locked out twice (on the backend by UK servers, not the app itself!) in my attempts, each with an hour wait to be unlocked.

Relevant sources and iteratively refines searches based on knowledge gaps
📄 Generates well-supported answers with citations from gathered web sources
💬 Built with #React frontend and #FastAPI backend for fullstack development

So after wrapping up the #Wiki theme for my #Markdown -based (not)CMS (https://…

I did not know OpenSCAD had a new, much fast backend until today

Robot Context Protocol (RCP): A Runtime-Agnostic Interface for Agent-Aware Robot Control
Lambert Lee, Joshua Lau
https://arxiv.org/abs/2506.11650 https://

Robot Context Protocol (RCP): A Runtime-Agnostic Interface for Agent-Aware Robot Control
The Robot Context Protocol (RCP) is a lightweight, middleware-agnostic communication protocol designed to simplify the complexity of robotic systems and enable seamless interaction between robots, users, and autonomous agents. RCP provides a unified and semantically meaningful interface that decouples client-facing operations from backend implementations, supporting a wide range of deployment environments including physical robots, cloud-based orchestrators, and simulated platforms. Built on HT…

I really don't understand the enthusiasm around #htmx. Why would anyone want to put html and css classes in their backend code? It probably works for tiny projects but can you imagine a large company doing that? Oh the frontend team needs this button bigger? Better ask the backend team to change their API! That kind of coupling seems very unergonomic. Just my two cents... #webdev #html #backend

Can One Safety Loop Guard Them All? Agentic Guard Rails for Federated Computing
Narasimha Raghavan Veeraragavan, Jan Franz Nyg{\aa}rd
https://arxiv.org/abs/2506.20000

Can One Safety Loop Guard Them All? Agentic Guard Rails for Federated Computing
We propose Guardian-FC, a novel two-layer framework for privacy preserving federated computing that unifies safety enforcement across diverse privacy preserving mechanisms, including cryptographic back-ends like fully homomorphic encryption (FHE) and multiparty computation (MPC), as well as statistical techniques such as differential privacy (DP). Guardian-FC decouples guard-rails from privacy mechanisms by executing plug-ins (modular computation units), written in a backend-neutral, domain-spe…

Berlin-based Knowunity, an AI-powered learning platform with 20M users in 15 countries, raised a €27M Series B led by XAnge, bringing its total funding to €45M (Tamara Djurickovic/Tech.eu)
https://tech.eu/2025/06/13/knowunity-raises-eur…

Knowunity raises €27M to scale its personalized AI tutor globally
The Berlin-based learning platform Knowunity, has raised €27 million in a Series B round to expand its personalised AI study companion globally. The new funding brings Knowunity’s total raised to €45 million and will be used to further develop its global AI learning companion. Built by and for students, Knowunity was founded in 2020 by Benedict Kurz (CEO), along with Gregor Weber (CPO), Lucas Hild (CTO), and Yannik Prigl (Backend). All were just 17 years old and still in school at the ti…

Are We Generalizing from the Exception? An In-the-Wild Study on Group-Sensitive Conversation Design in Human-Agent Interactions
Ana M\"uller, Sabina Jeschke, Anja Richert
https://arxiv.org/abs/2506.10462

Are We Generalizing from the Exception? An In-the-Wild Study on Group-Sensitive Conversation Design in Human-Agent Interactions
This paper investigates the impact of a group-adaptive conversation design in two socially interactive agents (SIAs) through two real-world studies. Both SIAs - Furhat, a social robot, and MetaHuman, a virtual agent - were equipped with a conversational artificial intelligence (CAI) backend combining hybrid retrieval and generative models. The studies were carried out in an in-the-wild setting with a total of $N = 188$ participants who interacted with the SIAs - in dyads, triads or larger group…

Towards Neural Audio Codec Source Parsing
Orchid Chetia Phukan, Girish, Mohd Mujtaba Akhtar, Arun Balaji Buduru, Rajesh Sharma
https://arxiv.org/abs/2506.12627

Towards Neural Audio Codec Source Parsing
A new class of audio deepfakes-codecfakes (CFs)-has recently caught attention, synthesized by Audio Language Models that leverage neural audio codecs (NACs) in the backend. In response, the community has introduced dedicated benchmarks and tailored detection strategies. As the field advances, efforts have moved beyond binary detection toward source attribution, including open-set attribution, which aims to identify the NAC responsible for generation and flag novel, unseen ones during inference.…