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 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…

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

🔗 An Alternative Proposal for CSS Masonry
My initial gut reaction was of course masonry should be part of grid, but Rachel makes some very good points here. Whole segments of the grid specification would have to be ignored for a masonry layout, which she itemizes well. The way it would break grid-template-areas is a huge deal, IMO; that is the primary way a lot of developers use and understand grid. I think Rachel is right. Something like

An alternative proposal for CSS masonry  |  Blog  |  Chrome for Developers
A proposal to define masonry and grid in different specifications.

Basta password 123456! Il Regno Unito mette a tacere le password predicibili con una specifica legge
https://poliverso.org/display/0477a01e-e17803a7-e699b18c4fdd309a
Basta password 123456! Il Regno Unito mette a tacere le password predicibili con un…

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

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

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
Formal verification provides a rigorous and systematic approach to ensure the correctness and reliability of software systems. Yet, constructing specifications for the full proof relies on domain expertise and non-trivial manpower. In view of such needs, an automated approach for specification synthesis is desired. While existing automated approaches are limited in their versatility, i.e., they either focus only on synthesizing loop invariants for numerical programs, or are tailored for specifi…