Tweet Disematkan
Eagle ( )
22.9K posts

Eagle ( )
@Red_Chlorine
Computer Science || Backend Developer ⏳|| Rust, JS || web3, crypto maxi, privacy always || @ManUtd ❤️ || building on @octra ○ ||
Bunker Bergabung Şubat 2024
1.2K Mengikuti1.4K Pengikut
Eagle ( ) me-retweet

1300+ people showed interest in attending Rust School 🦀. in less than a week…
We’re now deep into review and shortlisting.
The first batch of approvals have gone out - check your emails!
We still have 650 applications to go!
Closing registration soon - apply now if you want to learn Rust with us
H.E.R. DAO (Mainnet Arc)@_HerDAO
The wait is almost over. First batch of Rust School 🦀 approvals goes out tomorrow.
English
Eagle ( ) me-retweet

Even if it sounds harsh to say, one candid piece of advice I’ll give you is this: you’re wasting your time.
Ola@dev_olayinka
Day 1 of learning HTML
English
Eagle ( ) me-retweet
Eagle ( ) me-retweet
Eagle ( ) me-retweet

"Being financed by 🇷🇺 Russia"
The day 🇺🇸America will finance such project in AFRICA, Jesus will return!!!
Africa Facts Zone@AfricaFactsZone
Egypt is building Africa's largest nuclear power plant, El Dabaa Nuclear Power Plant at a cost of $30 billion. It will generate 4,800 MW of stable affordable electricity, and have the capacity to serve 25 million people. It is being financed by Russia.
English
Eagle ( ) me-retweet
Eagle ( ) me-retweet
Eagle ( ) me-retweet
Eagle ( ) me-retweet
Eagle ( ) me-retweet
Eagle ( ) me-retweet
Eagle ( ) me-retweet

The Rust + QUIC ecosystem is quietly producing some impressive engineering work. 🦀⚡
Adolfo Ochagavía recently shared how his team verified correctness in a QUIC network simulator, built on quinn to model traffic across arbitrary IP topologies, including Earth-Mars links.
Unit tests weren't enough. So they:
🔹 Defined formal correctness properties on paper
🔹 Instrumented the simulation with an audit log
🔹 Built a verifier that auto-checks every simulation run
The result? Zero changes to core logic, a verifier simple enough to audit by reading, and golden tests for regression coverage. 🎯
A clean example of property-based verification done right, without overengineering.
🔗 ochagavia.nl/blog/a-real-wo…
#Rust #RustLang #QUIC #SystemsProgramming #SoftwareEngineering

English
Eagle ( ) me-retweet

We wrote 60,000 lines of Rust to power a TypeScript framework. Here's the full story of how we got here, what broke along the way, and what we'd do differently.
encore.dev/blog/rust-runt…
English
Eagle ( ) me-retweet
Eagle ( ) me-retweet
Eagle ( ) me-retweet
Eagle ( ) me-retweet
Eagle ( ) me-retweet
Eagle ( ) me-retweet

🇷🇺🧤 Igor Akinfeev (40) has been at CSKA Moscow for 35 YEARS! Akinfeev has made over 800 appearances for them and won 23 trophies. 🤯
He has played for just one club in his career: CSKA Moscow. Akinfeev has many incredible records to his name.... they include the most appearances in the Russian top flight, the most clean sheets in Russian football history and also the most appearances out of any other goalkeeper for the Russia national team.
Today, he turns 40-years-old... and yes, he's still playing. 👏


English




















