Sami Badawi

Code, data and math.
Programming language aficionado.
Big data, GIS, computer vision, NLP and category theory.

[Sami Badawi @Sami_Badawi]

@augustin_popa @amazeQuaternio @machengine vcpkg is great. It addresses C++'s biggest pain point, package management.

Zig has a great build language: Zig. This is why my install of Marc was so easy.

CMake is slowing me down. I see why CMake is the leading cross platform build system, but there is room for improvement.

[Sami Badawi @Sami_Badawi]

@augustin_popa @amazeQuaternio @machengine vcpkg is great. It addresses C++'s biggest pain point, package management.

Zig has a great build language: Zig. This is why my install of Marc was so easy.

CMake is slowing me down. I see why CMake is the leading cross platform build system, but there is room for improvement.

[Sami Badawi @Sami_Badawi]

I tried #Ziglang game engine, @machengine. Mach Engine ships with several cross platform 2D and 3D demos, which compiled and ran in seconds.

Getting 2D and 3D demos running in C++ took me many long weekends between learning and configuring CMake, vcpkg, GLFW, GLEW and OpenGL.

[Sami Badawi @Sami_Badawi]

@liamarzola @machengine C++20 has picked up a few tricks from Rust.

Scala borrowed from Java, then Java borrowed from Scala.

Maybe C will borrow from Zig.

Programming languages have started to converge.

I am not placing any bets on what languages will look like in 50 years, but I expect surprises...

[Sami Badawi @Sami_Badawi]

@liamarzola @machengine C++20 has picked up a few tricks from Rust.

Scala borrowed from Java, then Java borrowed from Scala.

Maybe C will borrow from Zig.

Programming languages have started to converge.

I am not placing any bets on what languages will look like in 50 years, but I expect surprises...

[Sami Badawi @Sami_Badawi]

@JamalIsBaad @machengine The minimalism of #ZigLang is great, but it is close to C and I would not dare to write complex production code in C.

I hope Zig's clean design and safety features hit a sweet spot between unsafe C and complex C++.

I will try Zig to see if that is the case.

[Sami Badawi @Sami_Badawi]

@amazeQuaternio @machengine :'(

Vcpkg is a big step forward for C++, but still ...

[Sami Badawi @Sami_Badawi]

@awhillas @machengine True, C++ is tough.

But what attracts me to @ziglang is that it is also a build system and that types are first class.

That is innovative. It opens a lot of new possibilities and sets Zig apart from other languages.

[Sami Badawi @Sami_Badawi]

@awhillas @machengine True, C++ is tough.

But what attracts me to @ziglang is that it is also a build system and that types are first class.

That is innovative. It opens a lot of new possibilities and sets Zig apart from other languages.

[Sami Badawi @Sami_Badawi]

@rikarends I used Rust for scripting a few years ago, but just discovered Ziglang.

Considering the tradeoffs between Rust's and Zig's memory management.

I heard the argument that Rust is better for complex tasks.

[Unison | @unison-lang.org on bsky @unisonweb]

Here's @alvaro_c1 with "Abilities: the ultimate domain-specific language". Alvaro discusses "Abilities" (Unison’s effect system), walking through an example that implements an imperative canvas drawing functionality. Pretty graphics! 🤩

https://t.co/M0OPgPjA9e

[Sami Badawi @Sami_Badawi]

String Theory or Loop Quantum Gravity?
David Gross vs Carlo Rovelli.

After a lot of trash talk between String Theory or LQG, here is finally an open confrontation.

I found the debate very informative. It gave me a better understanding of both theories
https://t.co/RbrKxUDXAS

[Sami Badawi @Sami_Badawi]

Best cover of the song My Favorite Things:

Monad transformers and macros and handlers
Tuples and pre-sheaves and posets and closures
Lifting and joins and commutative rings
These are a few of my favorite things

https://t.co/2oK0nycUuC

[Albert Einstein @AlbertEinstein]

Intuitionist mathematics demands that numbers must be constructible; real numbers cannot exist as complete entities. Four new papers argue that this mathematical language may hold the key to one of the greatest mysteries in physics: time. https://t.co/D0KqstW859

[Sami Badawi @Sami_Badawi]

What were the skies like when you were young

[Sami Badawi @Sami_Badawi]

Midsummer

[Sami Badawi @Sami_Badawi]

Where you come from is gone
Where you thought you were going to was never there

[Scala @scala_lang]

🎺🎺🎺

After 8 years of work, 28,000 commits, 7,400 pull requests, 4,100 closed issues – Scala 3 is finally out!

Read more here: https://t.co/qyqRlVOjwY

[Sami Badawi @Sami_Badawi]

The last 2 years I have worked with a particularly well-designed software architecture and have shared some principles in a post -

Big Data Lean Architecture

https://t.co/DlbqkVeA2b

[Sami Badawi @Sami_Badawi]

@volpegabriel87 Based on your preferences maybe check out @unisonweb.
Written in Haskell by famous Scala programmers.
Trying to rethink functional programming and to strip away incidental complexity.
Unison is still in alpha.