Built Differently.
Engineering at scale unfolded in orbit.
This is cellular broadband from space.
BlueBird 10 has successfully deployed in low Earth orbit. Adding another of the world's largest communications array - the size of a tennis court - to our growing constellation.
BlueBirds 8 and 9 are next.
Engineered for broadband connectivity to everyday smartphones. No special hardware. No modifications. Cellular broadband from space. 🌎📶📱🇺🇸
#ASTSpaceMobile #Broadband #ConnectingtheUnconnected #BlueBirds
Execution in Motion
BlueBird 11 is on its way from Midland to Cape Canaveral ahead of next month's orbital launch.
BlueBirds 12 and 13 will follow soon. 🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀
Production continues through BlueBird 38 in Texas.
Build. Ship. Launch. Repeat.
Execution at scale. 🌎📶📱🇺🇲
#ASTSpaceMobile #Broadband #ConnectingtheUnconnected #BlueBirds
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
https://t.co/lP9X7lxp6W
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
Adding strict compile time evaluation 'consteval' to C# compiler 'Roslyn'
Here is my Roslyn fork:
https://t.co/tTtJgOKh1U
And my post about consteval (Hope you enjoy it 😃):
https://t.co/RyaIWJzsm4
#compiler#csharp#programming#dotnet
شخصيا بستخدم 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 ☺️
https://t.co/Yb7wBz1UqX
#Clang #LLVM #Compilers #Cpp
@omranthegreat لازم نعمل رحلة لنابولي كمان مشان يكون عنا مشروع جريمة منظمة أرقى و أشيك من شغل عصابات الشوارع بركي الليث حجو كمان بيعملنا شي مسلسل كم جزء لشي عائلة من عائلات المافية السورية
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 😊
https://t.co/JD6tODgKGx
#compilers #SSA
و بحب ضيف أنو السوريين بقدمو العمل على أنو عمل دافئ و جميل و مثالي عن العائلة ، علما أنو العائلات بالفصول الأربعة و العلاقات بيناتهم كانت سامة ،
بين حقد (نجيب) و استعلاء (املك) و المثالية(عادل) و قليل الشأن عديم الإعتبار (برهوم) و في كتير جزئيات بتحكي عن عائلة سامة و بعيدة عن المثالية يلي الناس بتحب تصورو فيها ، أنا بحس الذكاء العاطفي تبع الشخصيات كان تحت الصفر
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 😊
https://t.co/Rvcp6uZigY