Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@heiseonline@social.heise.de
2025-07-16 10:04:00

Hyundai testet deutschen humanoiden Roboter Neura 4NE1 im Schiffsbau
Hyundai will zusammen mit dem deutschen Robotikunternehmen Neura Robotics, deren Roboter fit für schwere und risikoreiche Arbeiten im Schiffsbau machen.

Hyundai testet deutschen humanoiden Roboter Neura 4NE1 im Schiffsbau
Hyundai will zusammen mit dem deutschen Robotikunternehmen Neura Robotics, deren Roboter fit für schwere und risikoreiche Arbeiten im Schiffsbau machen.

@whitequark@mastodon.social
2025-06-16 02:02:44

this might be one of the _least_ specific (but not completely non-specific) paragraphs in any specification i've ever read

4.2.3.2.4 Collision detection and enforcement (half duplex mode only) Collisions are detected by monitoring the collisionDetect signal provided by the Physical Layer. When a collision is detected during a packet transmission, the transmission is not terminated immediately. Instead, the transmission continues until additional bits specified by jamSize have been transmitted (counting from the time collisionDetect went on). This collision enforcement or jam guarantees that the duration of the coll…
@playinprogress@assemblag.es
2025-07-16 08:08:26

intentional self portraits
#photography #begonia

vertical format image of a begonia plant with deep orange flowers, seen through a window pane at night, with the flower outside but illuminated from lamplight inside. overlaid over the flowers is the out of focus reflection of the face of the white, short haired person taking the image, looking straight at the camera
similar to the previous image, only now the flower and the face are a bit more to the right, everything angled a bit differently
the same scene as in the previous images, but this time in horizontal format and the camera has zoomed out more, showing bits of the window frame, the window planter the flower is in, as well as some items inside the room, especially the tops of three brushes. the photographer's face is mostly centered in this image, with the begonia flowers situated as if growing out of the top of their head
@arXiv_mathLO_bot@mastoxiv.page
2025-07-17 09:13:50

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
Daniel Rogozin
arxiv.org/abs/2507.12360 arxiv.o…

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
In this paper, we present a typed lambda calculus ${\bf SILL}(λ)_Σ$, a type-theoretic version of intuitionistic linear logic with subexponentials, that is, we have many resource comonadic modalities with some interconnections between them given by a subexponential signature. We also give proof normalisation rules and prove the strong normalisation and Church-Rosser properties for $β$-reduction by adapting the Tait-Girard method to subexponential modalities. Further, we analyse subexponential…

@kexpmusicbot@mastodonapp.uk
2025-07-16 05:08:54

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Shabazz Palaces:
🎵 Shine a Light (feat. Thaddillac)
#ShabazzPalaces
shabazzpalaces.bandcamp.com/tr
open.spotify.com/track/3VKr3eo

@mszll@datasci.social
2025-05-17 19:55:34

I've read now through the "Streets for kids" #cityranking report: cleancitiescampaign.org/city-r

Bar chart showing 3 bars for the 3 metrics of Copenhagen: 11% school streets, 3% safe speeds, 43% protected bicycle infrastructure

Streets for Kids, Cities for All: City Ranking 2025
We've analysed 36 European cities to see how they’re progressing in creating transport systems that prioritise the needs of children.

@arXiv_csSE_bot@mastoxiv.page
2025-06-17 09:55:37

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
Michele Alberti (LSL), Fran\c{c}ois Bobot (LSL), Julien Girard-Satabin (LSL), Alban Grastien (LSL), Aymeric Varasse (LSL), Zakaria Chihani (LSL)
arxiv.org/abs/2506.12084

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
The formal specification and verification of machine learning programs saw remarkable progress in less than a decade, leading to a profusion of tools. However, diversity may lead to fragmentation, resulting in tools that are difficult to compare, except for very specific benchmarks. Furthermore, this progress is heavily geared towards the specification and verification of a certain class of property, that is, local robustness properties. But while provers are becoming more and more efficient at…

@radioeinsmusicbot@mastodonapp.uk
2025-06-16 15:34:44

🇺🇦 Auf radioeins läuft...
Shapeshifters:
🎵 Lola's Theme
#NowPlaying #Shapeshifters
funkastik.bandcamp.com/track/s
open.spotify.com/track/0BRwoCB

@heiseonline@social.heise.de
2025-06-15 05:15:14

Noch einige der zuletzt hier besonders häufig geteilten #News:
2027 will Amazon "Spaceballs 2" ins Kino bringen

2027 will Amazon "Spaceballs 2" ins Kino bringen
Nach genau vierzig Jahren soll ein neuer Teil der Kult-Parodie "Spaceballs" erscheinen. Deren Schöpfer Mel Brooks ist dabei, ebenso Teile des Original-Casts.

@heiseonline@social.heise.de
2025-06-14 16:22:00

2027 will Amazon "Spaceballs 2" ins Kino bringen
Nach genau vierzig Jahren soll ein neuer Teil der Kult-Parodie "Spaceballs" erscheinen. Deren Schöpfer Mel Brooks ist dabei, ebenso Teile des Original-Casts.

2027 will Amazon "Spaceballs 2" ins Kino bringen
Nach genau vierzig Jahren soll ein neuer Teil der Kult-Parodie "Spaceballs" erscheinen. Deren Schöpfer Mel Brooks ist dabei, ebenso Teile des Original-Casts.