Sign in

Seifeddine / ⵙⵢⴼ 🐘 🦀

@carthage.software
440 followers 188 following 184 posts

creating solutions for nonexistent problems. 39AC CCA4 FD30 0D04 C840 6EB3 B00E 0A46 B3F1 C157

PostsRepliesMedia
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 04/03/2026
PSL 5.0 ships a full terminal UI framework. Buffered rendering, layouts, widgets, keyboard/mouse events. You can build TUI apps, dashboards, and even games entirely in PHP. github.com/azjezz/psl/b...
100
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 04/03/2026
Binary protocol parsing in PSL 5.0: file:///Users/azjezz/Downloads/carbon(6).png
100
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 04/03/2026
Encryption in PSL 5.0: Symmetric, asymmetric, signing, AEAD, KDF, key exchange, stream ciphers. All built on libsodium. file:///Users/azjezz/Downloads/carbon(5).png
100
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 20/12/2025
Mago 1.0 is live. 🦊 🚀 ✅ Linter ✅ Formatter ✅ Static Analyzer ✅ Architectural Guard A unified, oxidized PHP toolchain. 🦀🐘 github.com/carthage-sof... #PHP #StaticAnalysis #Linter
0187
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 18/10/2025
I LOVE RUST
000
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 16/10/2025
And of course, we have to talk about performance. 🚀 mago guard is ~38x faster than phparkitect and ~26x faster than an uncached deptrac. Better yet, it's still ~9x faster than a fully cached deptrac run. All with zero caching. ⚡️
010
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 23/09/2025
Mago 1.0.0-beta.19 is here! 🚀 📝 Full support for object{...} shapes, including optional (?) and unsealed (...) properties. ✨ Colored type diffs in error messages to make debugging complex mismatches a breeze. Check out what's new: github.com/carthage-sof... #PHP #Mago
010
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 24/05/2025
Results of analyzing the same code block using Mago, Psalm, and PHPStan. Which one do you prefer? 👀 #php #rust #typechecking #staticanalysis
160
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 20/05/2025
👀
011
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 20/05/2025
I haven't shared any progress about mago here recently, but big things are coming! #rust #php #staticanalysis #mago
132
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 12/04/2025
I got a Sympony! Thanks @nicolasgrekas.bsky.social and @symfony.com #Symfony
040
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 07/02/2025
Mago is finally getting @mago-ignore comments 🎉 #PHP #Rust
141
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 30/01/2025
NOOOOOOO, I DONT KNOW HOW TO WRITE FRONT END CODE MYSELF, PLEASE LEAVE THE CHINESE CHATGPT ALONE, I HAVE STUFF TO DO!!!!!!!! 😭
130
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 27/01/2025
This is amazing!
031
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 16/01/2025
The speed-up came from changing nothing in the formatter itself! I discovered that external files were mistakenly loaded in the source manager, even though they’re never formatted. Fixing that saved most of the time spent in `mago fmt`. 😅
010
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 15/12/2024
🚀 Mago 0.0.9 is here! Linter now supports `--reporting-target` & `--reporting-format` for more flexible output. github.com/carthage-sof... #PHP #RustLang #Mago
020
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 11/12/2024
🐘🦀 Mago is getting a Laravel plugin! 🎉 #php #rust #laravel github.com/carthage-sof...
040
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 11/12/2024
🚀 Mago 0.0.7 is here! 🦀🐘 This release brings several bug fixes and a brand-new PHPUnit plugin! 👉 github.com/carthage-sof... Watch the PHPUnit plugin in action below! 👇 #PHP #Rust
031
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 07/12/2024
bruh
110
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 06/12/2024
Fennec Formatter now compiles to WASM! will be publishing an online playground soon :) 🦀🐘🦊
130
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 03/11/2024
here is the output of all three :)
010
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 03/11/2024
could your CI use a boost? Fennec might offer a 100-270x speed-up soon :) #PHP #Rust #Fennec 🦊 🐘 🦀
110
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software · 24/10/2024
Its done! a PHPDoc parser and linter just landed in Fennec :D
020