Software Engineer and free software advocate, my views are my own. English & بالعربي .
Joined August 2008
- Tweets2.2K
- Following143
- Followers2.4K
- Likes15.1K
Ahmed retweeted
BREAKING: World's largest crypto exchange Binance hacked with over $5.6 billion stolen:
• $1.45 billion $BTC
• $875 million $ETH
• $234 million $TRX
• $50 million $XAUT
• $1.57 billion $USDT
• $823 million $USDC
• $75 million $WBETH
• $88.5 million $RLUSD
+ $447.5 million additional cryptocurrencies
This is the largest hack in crypto history.
“It’s only when the tide goes out that you learn who’s been swimming naked.”
Ahmed retweeted
People are missing the point of Ginux.
I didn’t create another kernel to compete with Linux. That is idiotic!
In fact I consider the code disposable. Think about that…
Ginux wasn’t the product. The development process was the experiment. The kernel was the evidence.
Could AI, directed by an experienced engineer, could build and validate an extraordinarily complex software system.
In just 11 days, I produced an independent kernel capable of booting Rocky Linux 10 with systemd.
That was the experiment. And while Ginux isn’t a complete Linux aligned kernel, the experiment is complete.
The research paper documents the methodology, results, and limitations.
Since publishing, people have started finding bugs and security issues. That’s fantastic! Independent review is exactly how complex software gets better.
There has already been an initial security review, and there’s a remediation plan sitting in context that I’m considering implementing.
So the question is, since the experiment is complete, do I even do anything further here?
Maybe there is an interesting experiment in measuring how efficiently human-directed AI can fix the problems external reviewers discover?
How much time does it take to reproduce an issue, identify the root cause, implement a fix, and validate the result? How much human intervention is actually required?
That’s potentially an even more interesting situation than the original 11-day experiment.
Because the real question was never whether AI could replace Linux. Even if it can replace some aspects of its functionality, it can’t replicate the community, standards, collaboration, alignment, or stability.
If you still believe that Ginux was designed to be a Linux replacement, you should read the actual paper.
zenodo.org/records/23682548
The creator of CentOS and Rocky Linux built a new OS kernel with AI in just 11 days.
It’s called Ginux, and it can already run selected Linux programs without the Linux kernel underneath.
Gregory Kurtzer guided the design while Codex wrote and tested around 139,000 lines of code.
Written mainly in Rust, Ginux has its own memory management, scheduler and networking. It even boots Rocky Linux 10 with systemd in a virtual machine.
It’s still an experimental prototype, with incomplete compatibility and hardware support. The code is open source under Apache 2.0.
Eleven days to get this far. Now comes the harder part of making it reliable.
Source: github.com/gmkurtzer/ginux
Ahmed retweeted
‼️ Google won't fix an Android bug that lets one invisible text crash a phone's calling service, researcher Mark Blaszczyk says.
So he just released the Proof-of-Concept!
The malformed message never reaches the inbox and needs no user interaction. It drops active calls, emergency calls included.
He says about 30 sent in a row corrupt the phone's SMS database, so a Pixel 9 or Samsung Galaxy crashes on every boot. A factory reset only helps until the carrier delivers the texts again.
He reported it to Google on 5 May. Google closed it as "Won't Fix" and a "Non-Security Issue".
Ahmed retweeted
We’re running in person workshop with very limited spots for product designers in Berlin, let me know if you interested or send it to your friends who might be interested ✨
Online is also coming 🫶
120+ Product Designers and Product Managers registered for last night’s Ampli Berlin session with Aleksandra Lazović (PM & ex-Senior Product Designer @N26) on "What Your PM Really Means: Product Language & Money Logic for Designers."
Huge thank you to everyone who joined! 🧵👇
Ahmed retweeted
We are launching a PHP Capture the Flag challenge integrated with our Bug Bounty program to test our WAF protections. Security researchers are invited to bypass our defenses and capture the flag to help make the Internet safer. cfl.re/4iqHaQ1
اول مره اقرا عن أيلول الأسود بس من شهاده دكتور ، مش تنظير سياسي
المذكرات عامة لا تقدر بثمن سواء متفق أو مختلف مع الكاتب ، وخصوصا انها بتتكلم عن أفراد وحياتهم بشكل مفصل شوية وانها من دكتور ، دي حاجه خاصة اكتر
11 يوما مات بعدها جمال عبد الناصر by يسري هاشم goodreads.com/book/show/5651…
كلام بياكد اللي كله شايفه انك لسه محتاج بني ادم في البروسيس ويكون فاهم (وانه مايزال هو bottlenecks) حتي و ان كانت البروسيس بقت اسرع بكتير جدا
dl.acm.org/doi/10.1145/38446…
"code-review-agent-only PRs had a 45.20% mergerate, compared with 68.37% for human-only reviewed PRs . The samestudy found that 60.2% of closed PRs reviewed only by code-reviewagents contained just 0-30% useful signal in the automated reviewfeedback"
دا تصرف مصري اصيل شوفته قدامي كتير
تضحك عليا وتسرقني ، لا ، وهايبهدلك
بس لو محتاج ، خد بزياده
ويمكن بياع السمك دا عليه ديون وطالع عينه
Ahmed retweeted
Introducing Kimi K3.1 Pro: our most capable 3T-class open-weight model.
🔹 1M-token context, 2.8T total / 104B active params (MoE), Multimodal.
🔹 Full-project coding: games in Unreal, Unity & Godot.
🔹 Excels at parametric 3D modeling in Blender & CAD.
🔹 More reliable at finance work: Accurate modeling with hallucination down by 65%.
🔹 Matching the strongest proprietary models across coding, agentic and knowledge benchmarks.
Kimi K3.1 Pro and K3.1 Pro Highspeed (2–3× faster) are now live on Kimi.ai, Kimi Work, Kimi Code, and the Kimi API.
Open weights by Nov 4, 2026.
🔗 API: platform.kimi.ai
🔗 Tech blog: kimi.ai/blog/kimi-k3-1-pro
Ahmed retweeted
البورصة استثمار مش صالة قمار (الحلقة الأولى)
كتير بيشوفوا البورصة كأنها صالة قمار، الشخص بيحط فلوسه وبيستنى ضربة حظ تخليه غني تاني يوم، الكلام دا غلط تماما، فالبورصة سوق قايم على أسس علمية وواقعية، واللي بيخلط بينهم هو طريقة التعامل معاها.
🔴 الفرق الأساسي بين الاستثمار والقمار:
▪️ شراء قيمة حقيقية: لما تشتري سهم، إنت شريك بحصة في شركة ليها أصول وموظفين ومنتجات وإيرادات، ونجاحك مرتبط بنمو الشركة.
▪️ علم وليس حظ: المستثمر بيحلل القوائم المالية ويدرس السوق ويدير المخاطر، والقمار بيعتمد على الصدفة والاحتمالات اللي دايماً في صالح الكازينو.
▪️ مش لعبة صفرية: القمار ربح شخص يعني خسارة آخر. أما الاستثمار فبيخلي الكل يكسب مع توسع الاقتصاد، لأن الشركات بتستخدم فلوس المستثمرين في الابتكار والتوسع، فبتخلق أرباح بتتوزع على المساهمين.
🔴 البورصة بتتحول لقمار لما تتعامل معاها بعقلية المقامر، يعني مضاربة عشوائية من غير دراسة، ومطاردة شائعات، واستخدام روافع مالية مفرطة (مارجن) بحثاً عن مكسب سريع.
🟢 لتبدأ بشكل سليم
لازم تعرف إنت مين قبل ما تتداول، وعايز تكون إيه، وتقدر تكون إيه من الأربع أنواع للمتعاملين في سوق الأسهم.
١. المضارب اليومي (Day Trader)
٢. المضارب قصير الأجل (Swing Trader)
٣.المستثمر متوسط الأجل (Position Trader)
٤. المستثمر طويل الأجل (Long-term Investor)
▪️ بص على الجدول علشان تفهم أكتر.
🟢 ماذا تتعلم
لكل نوع أدواته الخاصة. الجدول التالي (بص على الصورة) بيوضح درجة أهمية ٢٦ أداة لكل نوع من الأربع أنواع بدرجة من صفر إلى ٥، والدرجة دي تقديرية ومتوسط تقييم من خمس نماذج ذكاء اصطناعي.
▪️ الأدوات المظللة بالأخضر (درجة ٤ من ٥ فأكثر) هي الأهم لكل نوع.
▪️ الأدوات المظللة بالأحمر (درجة ١ من ٥ فأقل) هي الأقل أهمية.
يا ريت تتوقف لحظة، تشوف انت تعرف كام من ال ٢٦ أداة الوجودين في الجدول!
🔵 الخلاصة
▪️ لا يمكنك التداول في البورصة من غير دراسة.
▪️ لازم تكون عندك أهداف، وتعرف إنت مين من الأربعة.
▪️ ذاكر أدواتك الأول، استعين بأدوات الذكاء الاصطناعي ليحدد لك ماذا تدرس وتفهم بما يطابق خطتك.
▪️ ما تشتريش أي سهم قبل ما تتقن أدواتك.
🔵 ما الذي يمكن عمله الآن، حتى تتعلم؟
أفضل حاجة إنك تستثمر في الصناديق (Mutual Funds) اللي بيديرها مديرين محافظ محترفين، وتضخ فيها الأموال تدريجياً لحد ما تكمل رحلتك التعليمية.
ودا اللي حنتكلم عنه في الحلقة التالية
Ahmed retweeted
Layoff Announcements in 2026:
1. UPS: 30,000 Employees
2. Oracle: 30,000 Employees
3. Amazon: 16,000 Employees
4. Omnicom: 15,000 Employees
5. Meta: 8,000 Employees
6. Microsoft: 4,800 Employees
7. Dow Chemical: 4,500 Employees
8. Cisco: Fewer Than 4,000 Employees
9. American Express: 3,840 Employees
10. Uber: 3,300 Employees
11. Renault: Up to 2,400 Employees
12. Nike: 1,400 Employees
13. General Motors: 1,300 Employees
14. Disney: 1,000 Employees
15. Citigroup: 1,000 Employees
The tech sector alone has seen 135,000 layoffs so far in 2026 across 330 companies.
Amid rising prices and AI adoption, US corporations are looking reduce expenses and increase efficiency.
Keep watching the labor market.