Tootfinder

I think it is important to specify that it's not "cryptocurrency" (who mostly adapted other consensus systems). It's specifically #Bitcoin that keeps burning the planet for its supporters' libertarian fantasies.
The other cryptocurrencies are just financial fraud with less significant environmental impact.

The siren song of domain-specific languages #DSL
https://www.haskellforall.com/2024/02/the-siren-song-of-domain-specific.html

Newspapers are being “disgusted” by the olympics kits using a modified Union Flag design, using pink/purple shades.
But, in a twist, there are no official (or at least public) specifications for the flag as national flag, and no exact specification of colours. Apparently there is an “Order in Council” (specifying colours as “azure", “argent", “gules”) but it's not on legislation.gov.uk.
(A "Union Flag Bill” proposed in 2008 would have specified the flag.)

“The humanized monoclonal antibody known as hu1F5, which specifically binds to the fusion (F) glycoprotein of both Nipah virus and Hendra virus and prevents virus infection of cells (neutralizes) has now proven effective in protecting against the often fatal Nipah virus in animal studies”

A monoclonal antibody targeting the fusion glycoprotein spike protects against deadly Nipah virus
The humanized monoclonal antibody known as hu1F5, which specifically binds to the fusion (F) glycoprotein of both Nipah virus and Hendra virus and prevents viru

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
Tom Yaacov, Achiya Elyasaf, Gera Weiss
https://arxiv.org/abs/2404.01858 h…

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
One of the benefits of using executable specifications such as Behavioral Programming (BP) is the ability to align the system implementation with its requirements. This is facilitated in BP by a protocol that allows independent implementation modules that specify what the system may, must, and must not do. By that, each module can enforce a single system requirement, including negative specifications such as "don't do X after Y." The existing BP protocol, however, allows only the enforcement of…

My latest publication, "Uncreative Designs," now live in the Duke Law Journal: #LawProfs

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
Maico H. W. Engelaar, Zengjie Zhang, Eleftherios E. Vlahakis, Mircea Lazar, Sofie Haesaert
https://arxiv.org/abs/2404.02111

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
This paper addresses the control synthesis of heterogeneous stochastic linear multi-agent systems with real-time allocation of signal temporal logic (STL) specifications. Based on previous work, we decompose specifications into sub-specifications on the individual agent level. To leverage the efficiency of task allocation, a heuristic filter evaluates potential task allocation based on STL robustness. Subsequently, an auctioning algorithm determines the definite allocation of specifications. Fi…

The NASA SpaceX #Crew8 Postlaunch News Conference, discussing in particular the close-out issue: https://www.youtube.com/watch?v=cZsV8hsTlUI - also https://twitter.com/SpaceflightNow/status/1764520304984948966 with a thread about it and a NASA press release at https://www.nasa.gov/news-release/nasas-spacex-crew-8-launches-to-international-space-station/

The siren song of domain-specific languages #DSL
https://www.haskellforall.com/2024/02/the-siren-song-of-domain-specific.html

Newspapers are being “disgusted” by the olympics kits using a modified Union Flag design, using pink/purple shades.
But, in a twist, there are no official (or at least public) specifications for the flag as national flag, and no exact specification of colours. Apparently there is an “Order in Council” (specifying colours as “azure", “argent", “gules”) but it's not on legislation.gov.uk.
(A "Union Flag Bill” proposed in 2008 would have specified the flag.)