Tootfinder

This https://arxiv.org/abs/2208.04984 has been replaced.
link: https://scholar.google.com/scholar?q=a

Constructive exceptional bundles on $\mathbb{P}^3$
We give a complete classification of the Chern characters of constructive exceptional vector bundles on $\mathbb{P}^3$ analogous to the work of Drézet and Le Potier on $\mathbb{P}^2$, and using this classification prove that a constructive exceptional bundle $E$ on $\mathbb{P}^3$ with $μ(E) \geq 0$ is globally generated.

Constructive vs Predicative data: #Programmers, but especially my

Neurodiversity, scotpol
The Scottish Government has spent about two years consulting on how to consult about the Learning Disabilities, Autism and Neurodivergence Bill the SNP said they'd introduce in their 2021 manifesto.
So HOW have they managed to come back with a consultation featuring a 190-page full consultation document, with a 35-page "short guide" - that's 35 pages of A4, mind?
Where the education section alone is roughly a half-hour read?
Where they felt the need to include a request to "Please USE THIS GUIDE - _here_ - on How to complete your online response"... and then forgot to actually link to the guide?
Where the page on completing a written out recorded response instructs people to "please complete the Respondent Information Form and send with your completed questionnaire" but links to neither of those documents?
...anyway, so I'll be live on the SEMA YouTube tomorrow at 12:30 trying to be as constructive and helpful as possible about all this.
https://www.youtube.com/@SEMA_Scot?si=ct_IwgEMAJGoSzNB

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

Expected Utility from a Constructive Viewpoint
This paper introduces a space of variable lotteries and proves a constructive version of the expected utility theorem. The word ``constructive'' is used here in two senses. First, as in constructive mathematics, the logic underlying proofs is intuitionistic. In a second sense of the word, ``constructive'' is taken to mean ``built up from smaller components.'' Lotteries as well as preferences vary continuously over some topological space. The topology encodes observability or verifiability restr…

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

Tensorial structure of the lifting doctrine in constructive domain theory
We present a survey of the two-dimensional and tensorial structure of the lifting doctrine in constructive domain theory, i.e. in the theory of directed-complete partial orders (dcpos) over an arbitrary elementary topos. We establish the universal property of lifting of dcpos as the Sierpiński cone, from which we deduce (1) that lifting forms a Kock-Zöberlein doctrine, (2) that lifting algebras, pointed dcpos, and inductive partial orders form canonically equivalent locally posetal 2-categori…

This https://arxiv.org/abs/2306.02149 has been replaced.
link: https://scholar.google.com/scholar?q=a

A General Framework for Interpretable Neural Learning based on Local Information-Theoretic Goal Functions
Despite the impressive performance of biological and artificial networks, an intuitive understanding of how their local learning dynamics contribute to network-level task solutions remains a challenge to this date. Efforts to bring learning to a more local scale indeed lead to valuable insights, however, a general constructive approach to describe local learning goals that is both interpretable and adaptable across diverse tasks is still missing. We have previously formulated a local informatio…

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

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
Brunerie's 2016 PhD thesis contains the first synthetic proof in Homotopy Type Theory (HoTT) of the classical result that the fourth homotopy group of the 3-sphere is $\mathbb{Z}/2\mathbb{Z}$. The proof is one of the most impressive pieces of synthetic homotopy theory to date and uses a lot of advanced classical algebraic topology rephrased synthetically. Furthermore, the proof is fully constructive and the main result can be reduced to the question of whether a particular "Brunerie number" $β…

I have given evidence to Oireachtas Committees quite a few times over the years. They have run the gamut from professional, inquiring and constructive to, um, not that.
The format relies entirely on the legislators attending wanting to make it work and respecting their witnesses (even if not agreeing with them).
Having voluntary witnesses refuse to attend for fear of being mistreated undermines the opportunities for those constructive inquiries.
https://www.irishtimes.com/opinion/2024/02/24/youd-be-out-of-your-mind-to-go-there-how-public-servants-really-feel-about-oireachtas-committees/

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

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
Brunerie's 2016 PhD thesis contains the first synthetic proof in Homotopy Type Theory (HoTT) of the classical result that the fourth homotopy group of the 3-sphere is $\mathbb{Z}/2\mathbb{Z}$. The proof is one of the most impressive pieces of synthetic homotopy theory to date and uses a lot of advanced classical algebraic topology rephrased synthetically. Furthermore, the proof is fully constructive and the main result can be reduced to the question of whether a particular "Brunerie number" $β…

I have given evidence to Oireachtas Committees quite a few times over the years. They have run the gamut from professional, inquiring and constructive to, um, not that.
The format relies entirely on the legislators attending wanting to make it work and respecting their witnesses (even if not agreeing with them).
Having voluntary witnesses refuse to attend for fear of being mistreated undermines the opportunities for those constructive inquiries.
https://www.irishtimes.com/opinion/2024/02/24/youd-be-out-of-your-mind-to-go-there-how-public-servants-really-feel-about-oireachtas-committees/