Designing across domains with declarative thinking: Insights from the 96-Eyes ptychographic imager project
Not on the map. Why?
Abstract (arXiv)
This article presents a practitioner's reflection on applying declarative, 5th generation, problem formulation language (5GL) to de novo imaging system design, informed by experiences across the interdisciplinary research in academia and cross-functional product development within the private sector. Using the 96-Eyes project: 96-camera parallel multi-modal imager for high-throughput drug discovery as a representative case, I illustrate how project requirements, ranging from hardware constraints to life sciences needs, can be formalized into machine-readable problem statements to preserve mission-critical input from diverse domain stakeholders. This declarative approach enhances transparency, ensures design traceability, and minimizes costly misalignment across optical, algorithmic, hardware-accelerated compute, and life sciences teams. Alongside the technical discussion of 5GL with real-world code examples, I reflect on the practical barriers to adopting 5GL in environments where imperative, 3rd-generation languages (3GL) remain the default medium for inter-team collaboration. Rather than offering an one-size-fits-all solution, these learned lessons highlight how programming paradigms implicitly shapes research workflows through existing domain hierarchies. The discussion aims to invite further explorations into how declarative problem formulations can facilitate innovation in settings where concurrent R&D workflows are gaining traction, as opposed to environments where sequential, phase-driven workflows remain the norm.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 9 of its 67 references that are in the map. First posted on arXiv 25 Aug 2025.
Builds on
9 of 67 references.
References · 9
- 2018All-Optical Machine Learning Using Diffractive Deep Neural Networkscited by 177
- 2018Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Codecited by 53
- 2020Scalable Plug-and-Play ADMM with Convergence Guaranteescited by 50
- 2015A Three-Operator Splitting Scheme and its Optimization Applicationscited by 34
- 2019Anderson Accelerated Douglas-Rachford Splittingcited by 8
- 2018Regularized Fourier Ptychography using an Online Plug-and-Play Algorithmcited by 7
- 2020Taskflow: A Lightweight Parallel and Heterogeneous Task Graph Computing Systemcited by 6
- 2017Programmatic Control of a Compiler for Generating High-performance Spatial Hardwarecited by 2
- 2024Optimization Algorithm Design via Electric Circuitscited by 2
Built on by
Not cited yet.