Tootfinder

Chatbot-Studie: GPT-4 hat laut Forschern den Turing-Test bestanden
Teilnehmer einer Online-Simulation schätzten einen Bot auf Basis des KI-Modells GPT-4 in 54 Prozent der Fälle als menschlich ein. GPT-3.5 kam auf 50 Prozent.

Auto gegen Schiene in Berlin: Der Kampf um die geplante Tangentiale Verbindung Ost
Schon die DDR wollte die Tangentiale Verbindung Ost bauen. Nach der Wende wuchs der Druck: Immer mehr Autos brachten immer mehr Verkehrslärm in Wohngebiete. Nun ist die TVO in der entscheidenden Planungsphase. Aber passt sie noch in die Zeit?

Der Kampf um die TVO: Auto gegen Schiene in Berlin
Schon die DDR wollte die Tangentiale Verbindung Ost bauen. Nach der Wende wuchs der Druck: Immer mehr Autos brachten immer mehr Verkehrslärm in Wohngebiete. Nun ist die TVO in der entscheidenden Planungsphase. Aber passt sie noch in die Zeit? Von Jan Menzel

neues aus der #eichhörnchen-forschung: "Ancient Mycobacterium leprae genome reveals medieval English red squirrels as animal leprosy host" https://doi.org/10.1016/j.cub.2024.04.

#HeuteImGarten aus der Mangoldschonung.

neues aus der #eichhörnchen-forschung: "Ancient Mycobacterium leprae genome reveals medieval English red squirrels as animal leprosy host" https://doi.org/10.1016/j.cub.2024.04.

Die Studie warnt davor, dass Täuschungen durch aktuelle KI-Systeme möglicherweise unentdeckt bleiben und Bots, die Menschen erfolgreich imitieren können, weitreichende wirtschaftliche und soziale Folgen haben könnten. 🚨
Zum Artikel:

Baerbock warnt vor gravierenden Folgen mangelnder Hilfe für Ukraine
Bundesaußenministerin Annalena Baerbock hat nach dem Friedensgipfel in der Schweiz vor gravierenden Folgen für Deutschland und die NATO gewarnt, falls die Ukraine in ihrem Abwehrkampf gegen Russland nicht ausreichend unterstützt werden sollte. "Wenn wir die Ukraine nicht weiter unterstützen, dann gehen wir das Risiko ein, dass Putins Truppen an der Grenze zu …
📑

Ukraine-Liveblog: ++ Putin entlässt vier Vize-Verteidigungsminister ++
Russlands Staatschef Putin hat vier stellvertretende Verteidigungsminister ihrer Ämter enthoben. Das ukrainische Militär meldet Erfolge gegen die Luftverteidigung auf der Krim. Alle Entwicklungen im Liveblog.

Der #Klimawandel beeinflusst nachweislich die menschliche #Gesundheit und betrifft alle medizinischen Fachrichtungen. Auf dem Medizinischen #Fakultätentag in

Debatte beim Medizinischen Fakultätentag : Klima und Gesundheit: Alle Fachrichtungen der Medizin sind betroffen
Zu erkennen, wie Gesundheit und Klimawandel zusammenhängen, ist nur der erste Schritt. Beim Medizinischen Fakultätentag in Bonn diskutierten Fachleute, wie diese Themen in universitäre Lehre und Weiterbildung integriert werden können.

Property-Based Testing by Elaborating Proof Outlines
Dale Miller, Alberto Momigliano
https://arxiv.org/abs/2406.10053 https://arxiv.o…

Property-Based Testing by Elaborating Proof Outlines
Property-based testing (PBT) is a technique for validating code against an executable specification by automatically generating test-data. We present a proof-theoretical reconstruction of this style of testing for relational specifications and employ the Foundational Proof Certificate framework to describe test generators. We do this by encoding certain kinds of ``proof outlines'' as proof certificates that can describe various common generation strategies in the PBT literature, ranging from ra…

This https://arxiv.org/abs/2406.05969 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Visual-Inertial SLAM as Simple as A, B, VINS
We present AB-VINS, a different kind of visual-inertial SLAM system. Unlike most VINS systems which only use hand-crafted techniques, AB-VINS makes use of three different deep networks. Instead of estimating sparse feature positions, AB-VINS only estimates the scale and bias parameters (a and b) of monocular depth maps, as well as other terms to correct the depth using multi-view information which results in a compressed feature state. Despite being an optimization-based system, the main VIO th…