Tootfinder

Holy cow, look at this amazing pavilion I found on street view, deep in the Scottish countryside. Fabulous piece of handicraft.

SpaceHopper: A Small-Scale Legged Robot for Exploring Low-Gravity Celestial Bodies
Alexander Spiridonov, Fabio Buehler, Moriz Berclaz, Valerio Schelbert, Jorit Geurts, Elena Krasnova, Emma Steinke, Jonas Toma, Joschua Wuethrich, Recep Polat, Wim Zimmermann, Philip Arm, Nikita Rudin, Hendrik Kolvenbach, Marco Hutter
https://arxiv…

SpaceHopper: A Small-Scale Legged Robot for Exploring Low-Gravity Celestial Bodies
We present SpaceHopper, a three-legged, small-scale robot designed for future mobile exploration of asteroids and moons. The robot weighs 5.2kg and has a body size of 245mm while using space-qualifiable components. Furthermore, SpaceHopper's design and controls make it well-adapted for investigating dynamic locomotion modes with extended flight-phases. Instead of gyroscopes or fly-wheels, the system uses its three legs to reorient the body during flight in preparation for landing. We control th…

"""
Predictive processing also sheds considerable light on a wide range of typical and atypical forms of human experience. A good starting point is to notice that there are two very broad ways for such processing to go wrong. The first is for the brain to underweight predictions and expectations. This will make it hard to detect faint but predictable patterns in a noisy or ambiguous environment. But the second general way to go wrong is for the brain to overweight expectations. In extreme cases, overweighting results in hallucinations. You seem to see and hear things that aren't there, just because […] they are at some level strongly expected.
Autism spectrum condition was initially thought to reflect a specific imbalance of the first kind — a systematic underweighting of prior expectations. […] Underweighting prior knowledge would make weak or elusive patterns hard to detect, and hard to learn too. Such patterns would include things like facial expressions, intonation, or body language, things that delicately hint, in context, at other people's mental states and attitudes. An imbalance of that kind would also make it very hard to learn these patterns in the first place, and even harder to recognize them in situations that are complicated or ambiguous. Recent evidence casts subtle doubt, however, on this bald initial hypothesis. Rather than weakened predictions, intriguing evidence is emerging that suggests that the core issue involves (not underweighting knowledge-based predictions but) actively overweighting the incoming sensory evidence.
[…]
She doesn't just feel "hunger," instead the more fine-grained specifics of the bodily signals dominate. You are feeling a whole lot of something — but what is it? According to the overweighted sensory information theory, autism spectrum condition individuals constantly encounter an excess of highly detailed and apparently very salient sensory information of this kind, coming from both inside their own body and the outside world. This sensory excess impedes the moment-by-moment identification of the broader context or scenario (in this case, hunger). In other words, the emphasis on every aspect of sensory detail effectively makes it impossible to spot the larger forest for the trees.
"""
(Andy Clark, The Experience Machine: How Our Minds Predict and Shape Reality)
#ActuallyAutistic

Domestic Heat Pumps: Barriers to Installation (2022) - A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

Domestic Heat Pumps: Barriers to Installation (2022)
A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan
https://arxiv.org/abs/2403.02652

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on models. Software development projects require that software systems be specified in various models (e.g., requirements models, architecture models, test models, and source code). It is crucial to reason about those models to ensure the correct and complete system specifications. AlloyInEcore allows the user to specify metamodels with their static semantics, while, u…

🔊 #NowPlaying on KEXP's #AfternoonShow
Shabazz Palaces:
🎵 Are You… Can You… Were You? (Felt)
#ShabazzPalaces
https://open.spotify.com/track/6PTHQlKt2NZha7nzt8RvMz
https://splittapesbootlegs.bandcamp.com/track/shabazz-palaces-are-you-can-you-were-you-felt

when akinator asks that one specific question and you know he's got your ass

Retrogadgets: The Ageia PhysX Card
https://poliverso.org/display/0477a01e-3156fc4c-e8be912ab431fd92
Retrogadgets: The Ageia PhysX Card Old computers meant for big jobs often had an external unit to crunch data in specific ways. A computer doing weat…

On dense orbits in the space of subequivalence relations
Fran\c{c}ois Le Ma\^itre
https://arxiv.org/abs/2405.01806 https://arxiv.org/…

On dense orbits in the space of subequivalence relations
We first explain how to endow the space of subequivalence relations of any non-singular countable equivalence relation with a Polish topology, extending the framework of Kechris' recent monograph on subequivalence relations of probability measure-preserving (p.m.p.) countable equivalence relations. We then restrict to p.m.p. equivalence relations and discuss dense orbits therein for the natural action of the full group and of the automorphism group of the relation. Our main result is a characte…

Holy cow, look at this amazing pavilion I found on street view, deep in the Scottish countryside. Fabulous piece of handicraft.