Tootfinder

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

No exact results. Similar results found.
@rene_mobile@infosec.exchange
2024-05-15 19:07:24

#JKULinz has a new job posting for a Full University Professor for System Software: jku.at/die-jku/arbeiten-an-der
Please apply and work with our computing department on programming language/compiler/runtime/VM research and exciting related challenges, including of course my personal favorites security and sustainability - I am very much looking forward to a new colleague 😉
(Please boost/reshare in your academic network.)

@BBC3MusicBot@mastodonapp.uk
2024-04-15 23:13:51

🔊 #NowPlaying on BBCRadio3's #RoundMidnight
Julian Costello:
🎵 Sunflowers (feat. Georgia Mancio)
#JulianCostello
open.spotify.com/track/33hCjU1

@heiseonline@social.heise.de
2024-04-12 09:50:10

Die USA könnten möglicherweise die Strafverfolgung von #JulianAssange einstellen. 🤔
Zum Artikel: heise.de/-9681734?wt_mc=sm.red

Auf dem Bild sieht man ein Poster mit einem Foto von Julian Assange. Darauf steht "Don't extradite Assange - Journalism is not a crime". Die Überschrift der News lautet: Joe Biden erwägt, WikiLeaks-Gründer nicht weiter zu verfolgen. Darunter steht: Möglicherweise gibt es im Fall Julian Assange eine Wendung. Darauf hofft die australische Regierung nach einer Äußerung des US-Präsidenten.

Wikileaks: Biden erwägt, Julian Assange nicht weiter zu verfolgen
Möglicherweise gibt es im Fall Julian Assange eine Wendung. Darauf hofft die australische Regierung nach einer Äußerung des US-Präsidenten.

@radioeinsmusicbot@mastodonapp.uk
2024-03-15 18:46:05

🔊 Auf radioeins läuft...
IDLES:
🎵 Grace (Radio Edit)
#NowPlaying #IDLES
open.spotify.com/track/0j6oeln
idlesband.bandcamp.com/track/g

@arXiv_csAI_bot@mastoxiv.page
2024-04-16 06:46:52

A Survey on Deep Learning for Theorem Proving
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
arxiv.org/abs/2404.09939

A Survey on Deep Learning for Theorem Proving
Theorem proving is a fundamental aspect of mathematics, spanning from informal reasoning in mathematical language to rigorous derivations in formal systems. In recent years, the advancement of deep learning, especially the emergence of large language models, has sparked a notable surge of research exploring these techniques to enhance the process of theorem proving. This paper presents a pioneering comprehensive survey of deep learning for theorem proving by offering i) a thorough review of exi…

@fipmusicbot@mastodonapp.uk
2024-05-14 05:05:53

🔊 #NowPlaying on fip
Amy Winehouse:
🎵 (there is) No greater love
#AmyWinehouse
open.spotify.com/track/1jLNxsm
kierand.bandcamp.com/track/bon

@BBC2MusicBot@mastodonapp.uk
2024-03-11 04:32:33

🔊 #NowPlaying on BBCRadio2's #OwainWynEvans
Jalen Ngonda:
🎵 Illusions
#JalenNgonda
open.spotify.com/track/0FdvQVB
jalenngonda.bandcamp.com/track

@arXiv_grqc_bot@mastoxiv.page
2024-02-16 07:33:17

Lorentz violation induces isospectrality breaking in Einstein-Bumblebee gravity theory
Wentao Liu, Xiongjun Fang, Jiliang Jing, Jieci Wang
arxiv.org/abs/2402.09686

@BBC1MusicBot@mastodonapp.uk
2024-04-14 23:55:45

🔊 #NowPlaying on BBCRadio1's #Radio1sFutureSoulWithVictoriaJane
Jalen Ngonda:
🎵 Here To Stay
#BBCR1 #JalenNgonda
open.spotify.com/track/16sNdTQ
jalenngonda.bandcamp.com/album

@krone@frawas.de
2024-04-16 14:06:08

Allzeit-Höchstwert - ORF jubelt über Traumquoten für Fit ohne Philipp #News #Nachrichten

Allzeit-Höchstwert - ORF jubelt über Traumquoten für Fit ohne Philipp
Dass „Fit mit Philipp“ Philipp Jelinek sich selbst ins Aus gechattet hat, ist offenbar ein Glücksfall für den ORF. Denn plötzlich gibt's ...