mspstrath, to ProgrammingLanguages
@mspstrath@mastodon.acm.org avatar

We are pleased to officially announce that we are organising the Scottish Programming Languages and Verification Summer School 2024!

Registration will be open later this month!

We are kindly supported by SICSA and Bronze Level supporter: Well-Typed!

For more details, and to see what we have in store, visit:

https://scottish-pl-institute.github.io/splv/2024-strathclyde/

(1/n)

mspstrath, to ProgrammingLanguages
@mspstrath@mastodon.acm.org avatar

Call For Sponsorship: 2024

We are organising the 2024 Scottish and Summer School!

Industry support is welcomed. Please see below for how your company can help us.

https://scottish-pl-institute.github.io/splv/2024-strathclyde/call-for/sponsorship/

General registration will be opening soon!

jglypt, to mastodon
@jglypt@mastodon.social avatar

What do verification checkmarks mean on here & how do you get them?

cat_news,
@cat_news@mas.to avatar

@jglypt I honestly don't know. It might depend on which mastodon app you are using, but my guess is that its just there for decoration and doesnt mean anything haha. The one to check is the website one, like your one!

cat_news,
@cat_news@mas.to avatar

@jglypt by decoration I mean, it might literally be part of their profile picture

dw_innovation, to ai
@dw_innovation@mastodon.social avatar

Here's an #AI tool that arrives just in time: The PRISA media group has created an audio #verification and #deepfake detection service for voices in Spanish.

Their goal: Support #journalists (e.g. when covering election campaigns) and foster trust in the face of #disinformation.

Remarkable: The creators also address the problem of powerful people claiming their voices have been cloned after saying something embarrassing.

Details in this post (Reuters Institute):

https://reutersinstitute.politics.ox.ac.uk/news/how-spanish-media-group-created-ai-tool-detect-audio-deepfakes-help-journalists-big-election

majorlinux, to twitter
@majorlinux@toot.majorshouse.com avatar

A whole bunch of folks about to get exposed!

Twitter isn't letting you hide the checkmark anymore - Desk Chair Analysts

https://dcanalysts.net/twitter-isnt-letting-you-hide-the-checkmark-anymore/

PrivacyDigest, to ai
@PrivacyDigest@mas.to avatar

GitHub - Libr-AI/

is our open-source solution designed to automate the process of verifying . It provides a comprehensive pipeline for dissecting long texts into individual claims, assessing their worthiness for , generating queries for evidence search, crawling for evidence, and ultimately verifying the claims

> interesting, does anyone have any experience with this tool?

https://github.com/Libr-AI/OpenFactVerification

elacheche, to mastodon
@elacheche@mastodon.tn avatar

@aminemahjoub That blue badge have no effect in here :p
Here is the real way to get verified in :

aminemahjoub,
@aminemahjoub@mastodon.tn avatar

@elacheche merci beaucoup

ButterflyOfFire,
@ButterflyOfFire@mstdn.fr avatar

Hello @aminemahjoub Marhaba bik. Houna الجزائر 🤗

@elacheche

annika, to random
@annika@xoxo.zone avatar

@glaad FYI (an unverified account appearing to represent an LGBTQ org is a red flag) https://docs.joinmastodon.org/user/profile/#verification

dw_innovation, to videos
@dw_innovation@mastodon.social avatar

Watch: Silja Thoms (DW ) explains how to spot generated with and similar tools: https://www.dw.com/en/fact-check-how-to-spot-ai-videos-by-sora/video-68467563

adbrucker, to golang
@adbrucker@fediscience.org avatar

We have an exciting opportunity for PhD study with myself and Prof. Burkhart Wolff form the Université Paris-Saclay on developing a formal semantics for Go (lang) in Isabelle/HOL. This new 'double PhD' programme leading to a PhD award from both universities.
More information and application details at: https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/ and https://adum.fr/as/ed/voirproposition.pl?site=adumR&matricule_prop=53822#version (application deadline: 31st of March 2024). Please contact me for more details.

thibaultmol, to random
@thibaultmol@en.osm.town avatar

@9to5linux noticed the url to your website in your Mastodon bio isn't verified.
All you need to do actually is just add one line of text to your website: https://docs.joinmastodon.org/user/profile/#verification

Just letting you know ;-)

thibaultmol,
@thibaultmol@en.osm.town avatar

@9to5linux on my instance it wasn't verified yet. Maybe with the change you made it might show up in 24h

9to5linux,
@9to5linux@floss.social avatar

@thibaultmol @9to5linux hopefully 🙏🏻

thibaultmol, to random
@thibaultmol@en.osm.town avatar

@boilingsteam
I noticed the url to your website in your Mastodon bio isn't verified.
All you need to do actually is just add one line of text to your website: https://docs.joinmastodon.org/user/profile/#verification

boilingsteam,
@boilingsteam@mastodon.cloud avatar

@thibaultmol thanks, will do

everythingopen, to random
@everythingopen@fosstodon.org avatar

Continuing our schedule highlights, we present @croy, Senior Software Engineer at the Australian , who will talk about Temporal Logic of Actions (+), a specification language that allows for mathematical of , and .

Schedule 🔜

Registrations now open:
https://2024.everythingopen.au/news/registrations-open/

nono2357, to id
lastwordonsport, to random

Hoping to get from account if they manage to see this

xdydx,
@xdydx@mastodon.social avatar

@lastwordonsport
Who's going to verify you though?

We are all verified here..

https://joinmastodon.org/verification

  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • kavyap
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • InstantRegret
  • GTA5RPClips
  • Youngstown
  • everett
  • slotface
  • rosin
  • osvaldo12
  • mdbf
  • ngwrru68w68
  • JUstTest
  • cubers
  • modclub
  • normalnudes
  • tester
  • khanakhh
  • Durango
  • ethstaker
  • tacticalgear
  • Leos
  • provamag3
  • anitta
  • cisconetworking
  • lostlight
  • All magazines