yazan daba (يزن دبا) | ܝܐܙܐܢ @AlienCompilers
Compiler engineer and programming languages designer , Do compilers at @RaincodeLabs ,Chef wanna be , PC Builder, Novice investor yazandaba.hashnode.dev 0x0 Joined December 2012-
Tweets1K
-
Followers171
-
Following1K
-
Likes5K
About LLVM-Clang static analysis (CSA) and SMT solvers In this post I go through clang static analysis engine (CSA) mainly discussing constraint solving and how SMT solver overcomes some of the shortcomings of the range constraint one yazandaba.hashnode.dev/llvm-clang-sta…
Peak download speed 98.9 Mbps. From space. With our Block 1 satellites. Direct to a standard smartphone over international waters. No modifications. No new hardware. Next-generation satellites expected to nearly double these speeds! Built in Texas. Space-based cellular broadband. Connecting everywhere. 🌎📶📱 #ASTSpaceMobile #Broadband #ConnectingtheUnconnected #BlueBirds
@ASTS_SpaceMob I have liked this video on every fucking platform (this is future right there) 🎉🎉🎊🎊
Adding strict compile time evaluation 'consteval' to C# compiler 'Roslyn' Here is my Roslyn fork: github.com/yazandaba/rosl… And my post about consteval (Hope you enjoy it 😃): yazandaba.hashnode.dev/implementing-c… #compiler #csharp #programming #dotnet
@abdo_of_syr بغض النظر عن هدف البوست ، كلود رائع بس داريو يا زلمة روح قلبو يضخم كلشي شي مية ضعف على الأقل
@nawarnajmeh شو نوع هالكحلة يلي حاطو !؟ كحلة الذميين ؟ إنتاج بني أمية 😂😂😂😂😂 لك منوووور يا محلا العيون السود 🤣🤣🤣🤣🤣
شخصيا بستخدم Claude و حقيقة رائع بس داريو متل أي حدا بال Tech Scene وظيفتو يعمل hype لمنتجو ! لو كان حكيو قريب من الصحيح ما كانت Anthropic فاتحة كل هالشواغر الوظيفية تجربتي الشخصية مع ال LLMs انو هنن ممكن يساعدوك بكتير نواحي بس عمليا بعيدين عن موضوع الإستبدال الكامل و خصوصا لمطورين المبرمجين و تحديدا العاملين بالمجالات الإختصاصية ( الSMT solvers , OS , Compilers , Distributed Systems , etc… ) ، صراحة ال LLMs أدوات مفيدة جدا ممكن تقتل إنتاجيتك أحيانا بسبب الأخطاء الفادحة و ضرورة المراجعة من ورائهم بنفس الوقت ممكن يزيدوها أضعاف ، وجهة نظري الشخصية ال LLMs عم تساعد و رح تبقى تساعد بتطوير بالبرمجيات و تسريع العملية نسبيا عدا عن مساعدتنا بالبحث و الفهم و التعليم (مع مراجعة و التأكيد على الصحة ) بس الإنسان (إلى الأن) ضروري و جدا
Today I am writing about the internals of Clang C++ compile time evaluators. I will be comparing the current AST/Tree evaluator to the new experimental bytecode interpreter and talking about the machinery of the later at source code level and about it's architecture. lots of fun in this post so hope you like it ☺️ yazandaba.hashnode.dev/inside-clang-c… #Clang #LLVM #Compilers #Cpp
@SyrianNationAR أكل المناسف + التسبب بعدد لا منتهي من صدمات الطفولة + كره الستات + باب الحارة + التعريص للقائد و توابعه. زيد ولا بكفي !؟
@omranthegreat لازم نعمل رحلة لنابولي كمان مشان يكون عنا مشروع جريمة منظمة أرقى و أشيك من شغل عصابات الشوارع بركي الليث حجو كمان بيعملنا شي مسلسل كم جزء لشي عائلة من عائلات المافية السورية
@SallyObeid عم قول وين شايفو
The Chords The Colors The Registers The SSA Optimality In today post I will be talking about SSA register allocation discussing: 1- Graph Coloring Register Allocators 2- Chaitin-Briggs RA vs SSA RA with examples 3- SSA sparse liveness analysis (briefly) 4- SSA RA optimality 5- The proof why SSA interference is chordal using a pragmatic developer friendly approach instead of mathematical approach (same proof different style). Hope you like it 😊 yazandaba.hashnode.dev/the-chords-the… #compilers #SSA
@ahmedtahana ص unit: 50 بلبل ، شحتة Banks ، مرقص LaLo
و بحب ضيف أنو السوريين بقدمو العمل على أنو عمل دافئ و جميل و مثالي عن العائلة ، علما أنو العائلات بالفصول الأربعة و العلاقات بيناتهم كانت سامة ، بين حقد (نجيب) و استعلاء (املك) و المثالية(عادل) و قليل الشأن عديم الإعتبار (برهوم) و في كتير جزئيات بتحكي عن عائلة سامة و بعيدة عن المثالية يلي الناس بتحب تصورو فيها ، أنا بحس الذكاء العاطفي تبع الشخصيات كان تحت الصفر
Ever wondered how you can retarget LLVM to a stack machine ? Today we will deep dive through LLVM WASM backend source code to see how you can apply some of the techniques there to retarget LLVM to your stack machine of choice and also I will explain couple of WASM specifics that you may find interesting. Hope you enjoy it 😊 yazandaba.hashnode.dev/ssa-to-stack-r…
@abdo_of_syr اليوم حتصير نصاري عابد الصليب بعد ما كنت أرمني عالحل 😂😂😂 لبين ما يسقط الإنتقالي حنكتشف إنك داسوس من الفاتيكان مبعوت بمؤامرة من الماسونية و إسرائيل لخوزقة المجتمع و تحريفه عن دينه
@HeshamAlMasri11 أنا من رأيي يغيرو اسم هالمنصب من رئيس الجمهورية لرب الجمهورية لأنو المريض يلي بيستلمو لهل منصب يعبد بالمعنى الحرفي
@SallyObeid @kasimf لو كان للمرتزقة إله لكان فيصل القاسم ، خان أهلو و ضيعتو و السويداء يلي نقتلو على أيدين الإرهابيين يلي هو نازل تطبيل و تحريض معهم،المضحك الإرهابيين يلي داعمهم بشوفو ذمي أجير و بوق لالهم يعني سفالة منقطعة النظير!!! كل الأطراف مستحقرتو لصبي الأخونج
Tempo @Syrian_1234567
215 Followers 4K Following
melanie 🐾 @melapext
8 Followers 753 Following 18 🦋 looking for a content partner this week 🌶 only replying here ⬇️
هرمجدون @assyrianlarper
89 Followers 333 Following you don’t get to judge anyone who has a god, if you have limerence
Sangram Navale @sangram_navale
39 Followers 733 Following Memory Systems Validation @ Micron Technology, Inc. Systems Programming | Semiconductors
Lamis @Lamis0690
27 Followers 230 Following
$ASTS Sp🅰️ceMobs... @ASTS__SpaceMob
894 Followers 8K Following Dedicated AST SpaceMobile info hub $ASTS 🧇📲 Compiling and sharing the collective knowledge of the Sp🅰️ceMob Since 2021👇Checkout our show👇 @ASTSpaceOdyssey
$ASTS SpaceMob 🅰�... @ASTS_SpaceMob
29K Followers 3K Following Dedicated AST SpaceMobile info hub $ASTS 🧇📲 Researching $ASTS & sharing the collective knowledge of the Sp🅰️ceMob Since 2020👇Our Podcast👇 @SpaceMobileShow
Nim @JacquelynP35691
13 Followers 261 Following
Najah Baalbaki @B92111Najah
0 Followers 23 Following
Alkuallui @Alkuallui05656
32 Followers 2K Following
Maysaa Moner Albakor @MaysaaMoner
57 Followers 105 Following ماجستير قانون دولي إنساني - علوم سياسية جامعة دمشق - ضد الأنظمة الديكتاتورية
Muhammed FATİH @MuhammedFA57866
3 Followers 24 Following
Zeta @Abjad_2024
118 Followers 844 Following
Hayan Kaddo @kaddo97
0 Followers 64 Following
🌸 @alban_zaman
1 Followers 20 Following
Netto @spaghettishort
0 Followers 1K Following
fadi @mmm574307
48 Followers 719 Following
آثران 🇸🇾 @aathran5
13K Followers 2K Following SYRIA FIRST | Electrical and Electronics Engineering Student | Activist in public | political affairs .................... تكلم حتى آراك
Assem @Assem1030143900
344 Followers 5K Following
🇺🇸🇮🇱🇸�... @theSpider00
137 Followers 1K Following 2005 | human | عبحكي مع حالي / الإنسان ثم لا شيء /
😁😁 @mhb1776841
229 Followers 7K Following
Rxight @Rxight198471
13 Followers 83 Following
Ghassan @GhassanE1985
171 Followers 720 Following أحلم بسوريا حرة وعادلة يعيش فيها الجميع بكرامة دون خوف I dream of a free and just Syria where everyone lives with dignity and without fear
Da3rdG @3rdgeneration25
64 Followers 573 Following فكر معارض مستدام لضمان حرية النقد و التعبير | سوري | 💚❤️🇸🇾🇵🇸
sleepy @sleepy570374
7 Followers 1K Following
El Taxo @Taxo_85
51 Followers 599 Following
Watermelon @Leve_Watermelon
28 Followers 474 Following
A K K A R I @Akkari_Tweet
6K Followers 948 Following Unpopular Opinions | Non-believer | Anti-flock | Negative Vibes Generator | Sarcasm
Adnan ܥܕܢܢ ⚡�... @Adnansytr
3K Followers 382 Following Humanist and Secular from Levant Interior Architect - Pianist - part time Activist #سوريا_للسوريين #الأمة_السورية
أخو الأحرار... @se_noar
10 Followers 80 Following أنتَ يا صانِعُ المَجدْ تنالُ من عدوّكَ ولو كُنت فردًا.🥷
Mahmoud @ateia14624
32 Followers 1K Following
Vlæd Zá 🤡 @vzarytovskii
1K Followers 866 Following C++ compiler (prev. F# compiler) @ Microsoft. Opinions are mine. Russia is a terrorist state! Make fascists afraid again. Fuck bigots. 1+3+1+2=7. 🟥 ⬛
H @ul7c1
8 Followers 341 Following
ponzi @ponziprogrammer
665 Followers 2K Following
Cleo McDowell @McDowellZamunda
261 Followers 985 Following Christ Is King ✝️ AF ⚡️🇺🇸 ‘26 Democrat ⚡️Big fan of re-education camps - RKD4NJF - Don’t blame me, I voted for John Pork - 2028 Never Vancer 2026 Never Vivek
The Claude Portfolio @theaiportfolios
240K Followers 15 Following *Not affiliated with Anthropic. A public project to see which LLM outperforms the market. $150M invested alongside Grok, Chat, & Claude on @joinautopilot
Anp🅰️nman @spacanpanman
53K Followers 765 Following Red-bean filled bread man. Posts are ideas and opinions, not investment advice. #forsteve
Kevin Xu @kevinxu
151K Followers 3K Following CEO @alpha_ai. Net worth $11,718,000.39. Current swing: $PALU
ClaudeDevs @ClaudeDevs
465K Followers 3 Following Official updates for developers building with @ClaudeAI
Cursive @CursiveIDE
3K Followers 91 Following Cursive is the Clojure IDE that understands your code.
وزارة الداخ... @moiuae
932K Followers 11 Following الحساب الرسمي لوزارة الداخلية - الإمارات العربية المتحدة .. The official account of the Ministry Of Interior, United Arab Emirates 📞Tel: 8005000
وزارة الدفا... @modgovae
300K Followers 3 Following الحساب الرسمي لوزارة الدفاع لدولة الإمارات العربية المتحدة The official account of the Ministry of Defence of the United Arab Emirates
Leonardo de Moura @Leonard41111588
7K Followers 29 Following
Eli Bendersky @elibendersky
6K Followers 132 Following
Marco Elver @maelver
406 Followers 132 Following Build reliable systems. Tweets about: Open source & Linux kernel. Opinions are my own.
Scott Wisniewski @scottwisniews
12K Followers 299 Following President @AST_SpaceMobile | Leading commercialization and growth of our space-based cellular broadband network
Nick Brown @NickBrownHPC
2K Followers 560 Following Senior Research Fellow @EPCCed, University of Edinburgh. Interested in novel architectures, HPC, FPGAs, RISC-V, programming language design and LLVM & MLIR.
Daniel Lemire @lemire
36K Followers 2K Following Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2025) and among GitHub's top 1000 developers. Father, husband.
Amjad Taha أمجد �... @amjadt25
681K Followers 2K Following Emirati Expert in Strategic and Political Affairs (Middle East) | Author | Analyst and Researcher | Bu Zayed| Posts reflect my views only.
Olivia Gallucci ✨ @OliviaGalluccii
6K Followers 892 Following macOS Internals | #FOSS Advocate | Opinions ≠ Employer | @intelligentCTF @oghealthfitness | RIT | Security @ Datadog - Prev. Apple, SECUINFRA, US Govt
Adonis - أدونيس @adonisband
8K Followers 119 Following Rock band from Lebanon. https://t.co/ACICwNCFUE
وزارة الاتص... @SyMOCAIT
13K Followers 4 Following الحساب الرسمي لوزارة الاتصالات وتقانة المعلومات في الجمهوريّة العربيّة السوريّة
Heather Adkins - Ꜻ ... @argvee
15K Followers 1K Following VP Security @Google, Co-Author "Building Secure and Reliable Systems" @r00t0wns, Medieval Historian
WeRide.ai @WeRide_ai
4K Followers 17 Following WeRide (NASDAQ: WRD, HKEX: 0800) is a leading global commercial-stage company that develops autonomous driving technologies from Level 2 to Level 4.
عبدو الحلبي @abdo_of_syr
7K Followers 2K Following الحرية هي الثابت الوحيد | ضد انظمة الاستبداد مستقل لا اتبع لاي طرف او جهة ساخر احيانا
$ASTS SpaceMob 🅰�... @ASTS_SpaceMob
29K Followers 3K Following Dedicated AST SpaceMobile info hub $ASTS 🧇📲 Researching $ASTS & sharing the collective knowledge of the Sp🅰️ceMob Since 2020👇Our Podcast👇 @SpaceMobileShow
Andrea Allievi @aall86
5K Followers 372 Following Currently Senior Windows Core OS Engineer, Windows Internals Enthusiast and Book author, tennis lover, currently working for MS. Opinions and tweets are my own.
[email protected] @HaskRay
4K Followers 309 Following Maintainer of LLVM MC, Clang driver, lld/ELF, and libunwind
Abel Avellan @AbelAvellan
27K Followers 209 Following Chairman and CEO, @AST_SpaceMobile; Founder, Emerging Markets Communications (EMC). Building and launching AST’s #SpaceMobile
AST SpaceMobile @AST_SpaceMobile
62K Followers 180 Following The first and only space-based cellular broadband network for mobile phones. Eliminating coverage gaps to enable billions of people globally to stay connected.
ASTS Investors 🅰�... @ASTS_Investors
21K Followers 493 Following Website for AST Spacemobile investors where you can learn all about the company and it's aim to connect the unconnected 📶 Join the Sp🅰️ceMob! 🤳🛰
الحملة الان... @henryhamrasy
2K Followers 1 Following الصفحة الرسمية لحملة السيد هنري حمره لعضوية مجلس الشعب في سوريا الحرة 2025
Mark Carney @MarkJCarney
716K Followers 798 Following Prime Minister of Canada and Leader of the Liberal Party | Premier ministre du Canada et chef du Parti libéral
Functor Fact @FunctorFact
27K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
MadeInCAD 🇨🇦�... @MadeInCAD
5K Followers 36 Following Canada's go-to economic/business media company. You’ll save some $CAD following us — all in X posts everyday. Join 300,000 + Canadians @MadelnCanada
Zeina Shahla | زين... @zeina_shahla
3K Followers 1K Following Journalist | #Damascus #Syria | Reporting Fellow @newhumanitarian | Contributor @Raseef22 @alqudsalarabi | Interests #environment #heritage |#دمشق #سوريا
Lean @leanprover
11K Followers 49 Following Lean is a dependently-typed programming language and theorem prover.
Kernel Extension @kernelext
492 Followers 7 Following Kext is a publication delivering outside-the-main-thread perspectives on software engineering.
جلال الدين �... @RumiArab
169K Followers 11 Following شاعر وعالم صوفي؛ يعتبر من أبرز أعلام التصوف الفلسفي في التاريخ الإسلامي وأكثرهم تأثيرا على مر العصور.
Lambda Days @LambdaDays
3K Followers 984 Following 📅 Lambda Days will take a break in 2026. Celebrate with us functional languages! 🦋We're on other platforms too📅
WILL: Follow The Ligh... @WILL_TheGame
14K Followers 16 Following WILL: Follow the Light is a first-person, narrative-driven adventure game by @tomorrowhead_st Available on Steam, Epic Games Store, Xbox Series X|S and PS5 ⛵
المرصد السو... @syriahr
124K Followers 2 Following المرصد السوري لحقوق الإنسان... من أجل وطن للجميع... من أجل دعم العدالة والمساواة والحرية في سوريا
the tiny corp @__tinygrad__
74K Followers 188 Following We make tinygrad; sell tinybox for the GPU middle class. Our mission is to commoditize the petaflop.






















