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!

ruggothrikh, to random
@ruggothrikh@mastodon.gamedev.place avatar

@estelle

Sorry, I just followed you in order to ask you about how you made https://kolektiva.social/@estelle verified on your profile page, what do I need to do for that?

I Googled for "Ownership of this link was checked on" hoping that it would show me how anyone did it, but Google didn't help me.

Though I just asked and it told me that I have to contact the admin of my instance. Is that correct?

(I have restricted my account so I can only talk to those whom I follow or who follow me)

aeva,
@aeva@mastodon.gamedev.place avatar

@ruggothrikh your silly chat bot sent you way off course. You just have to annotate the link with some metadata and link back https://docs.joinmastodon.org/user/profile/#verification

ErikUden, (edited ) to random German
@ErikUden@mastodon.de avatar

Alle Mastodon Profile von Kandidierenden zur Europawahl (09. Juni 2024) mit Verlinkung zum AbgeordnetenWatch Profil zum Stellen von Fragen.

Parteien Aufgelistet von Links nach Rechts und nach Listenplatz Oben nach Unten

DIE LINKE (THE LEFT)

Carola Rackete (2)

Johanna Brauer (15)

PIRATEN (Greens/EFA)

Anja Hirschel (1)

Anne Herpertz (2)

Lukas Küffner (3)

Sven Bechen (4)

Wolf Vincent Lübcke (6)

Arnold Schiller (17)

Bündnis 90/DIE GRÜNEN (Greens/EFA)

Sergey Lagodinsky (2)

Anna Cavazzini (3)

Jutta Paulus (9)

Daniel Freund (10)

Rasmus Andresen (12)

Anna Deparnay-Grunenberg (17)

Jan Denis Wulff (18)

Jürgen Kretz (24)

Corinna Balkow (29)

VOLT (Greens/EFA | Renew Europe)

Kai Tegethoff (3)

Sahak Ibrahimkhil (8)

Hans-Günter Brünker (12)

Benjamin Körner (20)

Ich kenne nicht alle zur Europawahl antretenden Menschen die zugleich auf Mastodon sind, nur die in meinem Dunstkreis, was selbstverständlich einer persönlichen Präferenz nachkommt. Wenn ihr also weitere Profile kennt werde Ich diese hier beifügen, nach kurzer Suche einiger Spitzenkandidat:Innen habe Ich leider wenig gefunden!

ErikUden,
@ErikUden@mastodon.de avatar

Zudem wollte Ich @a_watch fragen ob sie AbgeordnetenWatch Profile die auf ein Mastodon Account verlinken auch so einbetten darstellen können das der Link im Mastodon-Profil als Verifizierungslink dargestellt wird?

Das ganze ist sehr technisch, also hier die Erklärung:

Das ermöglicht das Accounts von MEPs, MdBs, MdLs, oder anstehenden Kandidat:Innen über eine Verlinkung zu AbgeordnetenWatch verifiziert sind, so werden Fakes vermieden, zudem gibt es einen Anreiz zur Plattform zu linken!

jglypt, to mastodon
@jglypt@mastodon.social avatar

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

jake4480, to Discord
@jake4480@c.im avatar

If you use Discord, you might wanna know this.

A service called Spy Pet is scraping Discord servers, archiving and tracking users' messages and activity, and then selling access to that data.

Spy Pet scrapes more than 10,000 Discord servers, and besides selling access to anyone with cryptocurrency, it offers the data for training AI models or to assist law enforcement agencies, according to its website.

Spy Pet claims to be tracking more than 14,000 servers, 600 million users, and includes a database of more than 3 billion messages.

(The article is paywalled probably, etc but it's here) https://www.404media.co/a-spy-site-is-scraping-discord-and-selling-users-messages

#Discord #security #SpyPet #privacy #scams #scammers #crypto #cryptocurrency #AI

silsinn9821,
@silsinn9821@mstdn.jp avatar

@jake4480 This only affects public servers whose channels are visible to everyone joining (including ’s army of , which range from blank-avatar accounts created by SpyPet itself to accounts stolen from other users via the usual scams like free Nitro). Private servers with clever / mechanisms (where the chat channels are hidden from view unless you get manually verified by the moderators) are immune to this message-scraping model.

dw_innovation, to ai
@dw_innovation@mastodon.social avatar

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

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

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/ #OpenFactVerification

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

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

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 :

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 #FactCheck) explains how to spot #videos generated with #Sora and similar #AI tools: https://www.dw.com/en/fact-check-how-to-spot-ai-videos-by-sora/video-68467563

#verification

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, 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

dw_innovation, to ai
@dw_innovation@mastodon.social avatar

(1/2) By now you've probably heard about #Sora and the latest wave of #AI-driven text-to-#video tools. It's all quite spectacular, but far from perfect. If you take a closer look, it's still possible to detect synthetic content. Essential pro tips: Play everything in slow motion. Consider real world physics – and logic.

dw_innovation,
@dw_innovation@mastodon.social avatar

(2/2) The following two articles may help you get a better understanding of Open AI's new models and their output:

Sora’s Surreal Physics (by Gary Marcus):
https://garymarcus.substack.com/p/soras-surreal-physics

Seeing Isn't Always Believing: Video Edition (by Conspirador Norteno)
https://conspirator0.substack.com/p/seeing-isnt-always-believing-video

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

SpaceTurtle224, to autism in We have a matrix space
@SpaceTurtle224@lemmy.world avatar

It should be valid. maybe try this: -autism-lemmy.world:matrix.org

markmetz, to random
@markmetz@sfba.social avatar

@flatwaterfreepress
Hey, I just followed you and it looks like you’re doing great work. Suggestion you might do better in the Fediverse if you follow some accounts, I found you here and it’s a good handful to know about.

https://journa.host/@thexylom/111545585581143306

annika,
@annika@xoxo.zone avatar

@flatwaterfreepress Jumping in to say that you should also verify your account, if this is indeed official! Lots of misinfo out there and the checkmark is good for peace of mind. @markmetz

https://docs.joinmastodon.org/user/profile/#verification

Wen, to ArtificialIntelligence
@Wen@mastodon.scot avatar

Update law on to avoid repeat, ministers urged

Burden of is always tricky when a complex, poorly understood and documented piece of software need to be validated. This might encourage higher standards of and to be maintained, as well as the necessary logs that enable assertions to be checked.

https://www.theguardian.com/uk-news/2024/jan/12/update-law-on-computer-evidence-to-avoid-horizon-repeat-ministers-urged

Having made a living sorting out complex systems I think it will be some time before it happens.

dw_innovation, to OSINT
@dw_innovation@mastodon.social avatar

"Higgins (...) thinks of himself and his @Bellingcat colleagues as 'an open community of amateurs on a collaborative hunt for evidence... an online collective, investigating war crimes and picking apart disinformation, basing our findings on clues that are openly available on the internet.' As such, he can get going on his day’s work while eating breakfast and getting the kids to eat theirs."

https://www.prospectmagazine.co.uk/world/64130/eliot-higgins-the-man-who-verifies

seb, to random
@seb@sfba.social avatar

team (minus @Moritz and plus @briskwhisk ) having our monthly team dinner.

We made a bunch of plans and decided to add more team members - Will post more info soon.

Remember to show your gratitude to our volunteers when you see them online!
@cd24 @neuralgraffiti @Ingurido @Moritz
@briskwhisk

moderators,

@jayrandom @seb @Moritz @briskwhisk @cd24 @neuralgraffiti @Ingurido I have great news; you’re in charge of your own checkmark! No $$ required!

https://docs.joinmastodon.org/user/profile/#verification

dw_innovation, to random
@dw_innovation@mastodon.social avatar

(1/3) Dear Mastodon community,

we need your expertise and support:

As you may have heard, we're working on several tools to counter and facilitate .

One of them is called Spot. It's basically an AI-driven natural language interface for geospatial searches in open street map ().

I.e. you ask the tool about...

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