RE: https://ieji.de/@DiaaMahmoud097/116465072715179633

I close my eyes and wish that sleep would have mercy on me but it drifts away as if rest has left me too 💔🥹

I carry a heavy heart and live without feeling alive
I only want one night without crying without suffocating without fading

But the night shows no mercy it takes what is left of me and leaves me empty as if I was never once full of life 💔
#GazaVerified #Diyaa #verification #interviews #Gaza #Palestine #genocide #ethnicCleansing #apartheid #settlerColonialism #StopIsrael #FreePalestine

RE: https://ieji.de/@DiaaMahmoud097/116465072715179633

Im disappointed
I asked for help but no one care ‼️
Whats wrong my friends
No one care
No one care
No one care
💔💔
https://chuffed.org/project/133500-support-diyaa-a-home-a-future-and-hope-lost-in-gaza

@Palestine
@[email protected]
@onepalestine
#GazaVerified #Diyaa #verification #interviews #Gaza #Palestine #genocide #ethnicCleansing #apartheid #settlerColonialism #StopIsrael #FreePalestine

Hey everyone,

@casey and @rania40 had the honour of speaking to two families from Gaza today and we’d like to welcome them to Gaza Verified.

They are:

• Motaz Family 🍉🇵🇸 (@ArchMotaz)
• olfat Tayyam (@reemosama)

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

Also, remember that you can find all our families who have fundraisers listed at the following page, ordered by those who have received the least in donations over the last week (on a rolling basis):

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

Thank you for making Mastodon and the fediverse a safe space for our friends in Gaza and for your support.

💕

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

@Saorsa @gazaverified @casey @rania40 @saja @sharifgaza All those accounts are public and Israel already has fine grained surveillance data spanning decades on every Palestinian.

This is a means for people who are using the fediverse as one of their last lifelines to get support from the outside world without being dismissed as fake/scammers.

#gaza #palestine #gazaverified #mastodon #fediverse #newmembers #verification, #cybersecurity, #opsec, #privacy.

Hey everyone,

@casey and @aseelfromgz had the honour of speaking to three families from Gaza today and we’d like to welcome them to Gaza Verified.

They are:

• Jehad (@jehad1)
• Tareq Gaza 🇵🇸 (@tareqradi)
• Anas Alkhaldi (@anasalkhaldi)

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

Also, remember that you can find all our families who have fundraisers listed at the following page, ordered by those who have received the least in donations over the last week (on a rolling basis):

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

Thank you for making Mastodon and the fediverse a safe space for our friends in Gaza and for your support.

💕

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

A Boy That Cried Mythos: Verification Is Collapsing Trust in Anthropic

https://www.flyingpenguin.com/the-boy-that-cried-mythos-verification-is-collapsing-trust-in-anthropic/

#HackerNews #BoyThatCriedMythos #Verification #Trust #Anthropic #TechNews

Verus is a tool for verifying the correctness of code written in Rust

https://verus-lang.github.io/verus/guide/

#HackerNews #Verus #Rust #Code #Verification #Tool #Programming #Security

Как ускорить верификацию: советы для инженеров и менеджеров аппаратной разработки

Привет, Хабр! Меня зовут Алина, я руковожу группой модульной верификации в YADRO. Свой путь в отрасли я начинала со схемотехники и разработки RTL под FPGA. На Хабре даже есть моя статья про использование опций синтеза в Vivado, написанная еще до того, как различные стратегии на основе AI стали нормой. В черновиках лежит вторая часть той статьи, где я делаю вид, что понимаю математику, которая лежит в основе синтеза цифровой схемы из RTL :) Однако тот текст так и остался черновиком, а я ушла в верификацию и работаю в ней уже больше шести лет. Скорость верификации IP-компонентов зависит не только от верификаторов. Чтобы ее увеличить, ряд полезных практик в свою работу могут внедрить и соседние команды — управления проектами, RTL-дизайна и архитектуры. Далее в статье я такими практиками поделюсь.

https://habr.com/ru/companies/yadro/articles/1026312/

#rtl #asic #asic_design #fpga #verification #verilog #systemverilog