Hi everyone,

@joynewacc and I had the honour of speaking to four friends from Gaza today, meet some of their families, and to welcome them to Gaza Verified.

They are:

• Yosef (@yosefAziz)
• Mohammad (@Mohmad30)
• Asar (@AsarSameer)
• Doaa (@Aa102030)

They are also already showing on our donations page (and, as you can see, their fundraisers have had very little in donations over the past week, so hopefully the fediverse can step up and start to help them):

https://gaza-verified.org/donate/

Please give them a follow and please share this so others can too.

💕

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

Hey everyone,

@joynewacc and I had the honour of speaking to @Dalla1982 today and would like to welcome her and her family to Gaza Verified.

She’s an architect who, due to the war, has lost her job and must now support her family through donations until some semblance of normal life returns to Gaza.

Please give her a follow and help if you can.

(She doesn’t have her fundraiser on her profile yet but I’ve asked her to add it. Once she does, you will be able to see her on our donate page along with the other families: https://gaza-verified.org/donate/)

💕

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

Hi everyone,

I had video chats with three people and families from Gaza today and I’d like to welcome them to Gaza Verified.

They are:

• Yazzan (@yazzangaza)
• Hadi (@HadiSamir)
• Abeer (@mmotherps)

Please give them a warm welcome to Mastodon and the fediverse, follow their accounts, and donate to their fundraisers if you can. (And please share this so others might do the same.)

And remember that you can see the fundraisers of all our members in a single list (ordered by those who have received the fewest donations in the last seven days) at:

https://gaza-verified.org/donate/

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

Hi everyone,

@joynewacc and I had the honour of speaking to four friends from Gaza today, meet some of their families, and to welcome them to Gaza Verified.

They are:

• Yosef (@yosefAziz)
• Mohammad (@Mohmad30)
• Asar (@AsarSameer)
• Doaa (@Aa102030)

They are also already showing on our donations page (and, as you can see, their fundraisers have had very little in donations over the past week, so hopefully the fediverse can step up and start to help them):

https://gaza-verified.org/donate/

Please give them a follow and please share this so others can too.

💕

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

Google will allow users to sideload Android apps without verification

https://android-developers.googleblog.com/2025/11/android-developer-verification-early.html

#HackerNews #Google #Sideloading #Android #Apps #Android #Development #App #Security #User #Verification

Hey everyone,

We’d like to welcome @mosab to the Gaza Verified family.

@aseelfromgz, @casey, and I had the pleasure of talking to him today over video.

Please give him and his family a warm welcome to Mastodon and the fediverse, follow his account, and, if you can, please help him with his family’s fundraiser and please share this so others might also.

💕

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

Hey everyone,

We’d like to welcome @mosab to the Gaza Verified family.

@aseelfromgz, @casey, and I had the pleasure of talking to him today over video.

Please give him and his family a warm welcome to Mastodon and the fediverse, follow his account, and, if you can, please help him with his family’s fundraiser and please share this so others might also.

💕

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

Hi everyone, today we’d like to welcome two new members to Gaza Verified after @aseelfromgz, @casey, and I had the honour of talking to them over video chat.

They are:

• Samar and her family (@Samar_2025). We spoke with her children, Qais and Mohammed.

• Maram and her family (@maram4). Maram’s account is mainly run by Weaam, her daughter, who we spoke to.

Please give them a warm welcome to Mastodon and the fediverse, follow their accounts, and, if you can, please help them with their fundraisers and please share this so others might also.

💕

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

Hey everyone,

@aseelfromgz, @casey, and I were able to carry out two verification calls today (out of the four scheduled) and we’d like to welcome two new members to Gaza Verified.

They are:

• Tahani and her family (@tahine21)
• Ahmed Aziz (@ahmedaziz24852)

Please give them a warm welcome to Mastodon and the fediverse, follow their accounts, and, if you can, please help them with their fundraisers and please share this so others might also.

💕

PS. We’ve rescheduled the two calls we couldn’t hold to tomorrow and we’ve rescheduled all calls tomorrow to start at the earlier time of 1PM Gaza Time instead of 4PM as Internet access appears to be better earlier in the day, especially after the switch to Daylight Savings Time.

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

Hey everyone,

@aseelfromgz, @casey, and I were able to carry out two verification calls today (out of the four scheduled) and we’d like to welcome two new members to Gaza Verified.

They are:

• Tahani and her family (@tahine21)
• Ahmed Aziz (@ahmedaziz24852)

Please give them a warm welcome to Mastodon and the fediverse, follow their accounts, and, if you can, please help them with their fundraisers and please share this so others might also.

💕

PS. We’ve rescheduled the two calls we couldn’t hold to tomorrow and we’ve rescheduled all calls tomorrow to start at the earlier time of 1PM Gaza Time instead of 4PM as Internet access appears to be better earlier in the day, especially after the switch to Daylight Savings Time.

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

Our tent doesn't protect us. It doesn't protect us from the heat, the cold, the wind, the insects, or the sand. Living like this every day is exhausting and
uncomfortable, yet we have no other choice. ⛺💔

https://chuffed.org/project/maram

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

Our tent doesn't protect us. It doesn't protect us from the heat, the cold, the wind, the insects, or the sand. Living like this every day is exhausting and
uncomfortable, yet we have no other choice. ⛺💔

https://chuffed.org/project/maram

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

Hi everyone, today we’d like to welcome two new members to Gaza Verified after @aseelfromgz, @casey, and I had the honour of talking to them over video chat.

They are:

• Samar and her family (@Samar_2025). We spoke with her children, Qais and Mohammed.

• Maram and her family (@maram4). Maram’s account is mainly run by Weaam, her daughter, who we spoke to.

Please give them a warm welcome to Mastodon and the fediverse, follow their accounts, and, if you can, please help them with their fundraisers and please share this so others might also.

💕

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

The 2026 Netherlands Winter School on Logic and Verification will take place Tuesday 20-Friday 23 January, 2026 at University of Twente. The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

cyclic-structures.gitlab.io/school2026/

Please consider registering! If you're a PhD student registered with the IPA school it will (very likely) be possible to get the costs reimbursed, but anyone with their own funding is welcome too.

#Logic #Verification #TypeTheory #CategoryTheory #Coinduction #SessionTypes #Concurrency #Rocq #Agda #Iris

The 2026 Netherlands Winter School on Logic and Verification will take place Tuesday 20-Friday 23 January, 2026 at University of Twente. The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

cyclic-structures.gitlab.io/school2026/

Please consider registering! If you're a PhD student registered with the IPA school it will (very likely) be possible to get the costs reimbursed, but anyone with their own funding is welcome too.

#Logic #Verification #TypeTheory #CategoryTheory #Coinduction #SessionTypes #Concurrency #Rocq #Agda #Iris

Hi everyone,

Today, @aseelfromgz, @casey, and I had the pleasure of talking to four new families from Gaza and we have the honour of welcoming them to Gaza Verified family.

They are:

• Dalia Rezk and her family (@daliarezk)

• Rewaa Hamdan (and her little ones Jamal and Hamza) – Rewaa is looking for someone to help her set up her fundraiser. If you’re interested in helping, please contact me. (@Rewaa)

• Ali Nasur (@alinasur895) – I just checked and his account appears hidden on mastodon.social at the moment. (It looks like he’s contacting lots of people with the same message which was likely flagged as spam.) I’m going to be in touch with him and mastodon.social to sort this out.

• Tahreer Rashwan (@tahreersoph)

Please give them a warm welcome to Mastodon and the fediverse, follow their accounts, and, if you can, please help them with their fundraisers and please share this so others might also.

💕

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification

Hi everyone,

Today, @aseelfromgz, @casey, and I had the pleasure of talking to four new families from Gaza and we have the honour of welcoming them to Gaza Verified family.

They are:

• Dalia Rezk and her family (@daliarezk)

• Rewaa Hamdan (and her little ones Jamal and Hamza) – Rewaa is looking for someone to help her set up her fundraiser. If you’re interested in helping, please contact me. (@Rewaa)

• Ali Nasur (@alinasur895) – I just checked and his account appears hidden on mastodon.social at the moment. (It looks like he’s contacting lots of people with the same message which was likely flagged as spam.) I’m going to be in touch with him and mastodon.social to sort this out.

• Tahreer Rashwan (@tahreersoph)

Please give them a warm welcome to Mastodon and the fediverse, follow their accounts, and, if you can, please help them with their fundraisers and please share this so others might also.

💕

#Gaza #Palestine #GazaVerified #Mastodon #fediverse #newMembers #verification