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.

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

@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

@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
@ErikJonker@mastodon.social
2025-08-17 14:21:10

Read all about Chatcontrol and why we should resist it. This sentence is extremely scary.... "Specifically, this AI will have to be built by WhatsApp/Meta so they can monitor us on behalf of the EU" 😱
berthub.eu/articles/posts/chat

Chatcontrol 2025 edition in Brief - Bert Hubert's writings
In short, led by Denmark, many EU member states are arguing for forcing WhatsApp/Signal/etc to inspect all our photos and links, using AI. If the AI is in any “doubt” if this might be child pornography, your photo, location, phone number & other details get reported to Europol and a local police force. What happens next is not specified, but your holiday in Cyprus might end up with you having to explain your photos over at the local police station.

@heiseonline@social.heise.de
2025-06-18 08:41:00

Neuer NFC-Standard vervierfacht die Reichweite
Die neuen Spezifikationen sollen den Near-Field-Communication-Standard (NFC) schneller und bequemer in der Nutzung machen. 
…

Neuer NFC-Standard vervierfacht die Reichweite
Die neuen Spezifikationen sollen den Near-Field-Communication-Standard (NFC) schneller und bequemer in der Nutzung machen. 

@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.

@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.