A_Happy_Kid @AddalaRaed

Software Engineer based on 🇹🇳. Programming languages enthusiast. Scala & Haskell Enjoyer. C++ Hardcore fan. Turns out Functional Programming isn't that hard. Tunisia Joined October 2018

Tweets

408
Followers

71
Following

1K
Likes

3K

Mo @atmoio

2 months ago

AI is giving every CEO the same advice

312 671 7K 587K 3K

View Details

Peyman Milanfar @docmilanfar

2 months ago

amen

8 47 239 57K 89

View Details

Pew (رضوان) @pewpieceAR

3 months ago

الفريم هذا عشق

4 54 2K 26K 85

View Details

A_Happy_Kid @AddalaRaed

3 months ago

@leanprover What do we mean by formalizing CS? What is the equivalent of this in Mathematics? and how can one start learning Theoretical Computer Science? Thank you for your time.

0 0 0 85 0

View Details

Massimo @Rainmaker1973

4 months ago

Farmer in China spent 16 years studying Law so he could sue a chemical company that had polluted his land and he won the case

173 5K 57K 488K 1K

View Details

HAJiME @saiyanhajime

4 months ago

He was right ya know.

34 4K 27K 520K 2K

View Details

The write-ahead log (WAL) is both how databases commit fast and how they safely recover from crashes. Outside of B-trees, it's probably the most important structure in Postgres and MySQL. (it's called the "redo log" in MySQL-land)

28 251 3K 158K 3K

View Details

Dmitrii Kovanikov @ChShersh

5 months ago

People say that it doesn't make sense to start a new project in C++ nowadays, given the existence of Rust and Zig. Here are some modern and active open-source C++ projects: 1. Ladybird (browser) 2. Hyprland (tiling window manager) 3. ArcticDB (high-performance time-series DB) 4. ClickHouse (real-time analytics DB) 5. BlazingMQ (high-performance message queue)

50 34 657 56K 429

View Details

A_Happy_Kid @AddalaRaed

6 months ago

I just completed "Secret Entrance" - Day 1 - Advent of Code 2025 adventofcode.com/2025/day/1 My solution in Golang: github.com/RaedAddala/Adv… #AdventOfCode #Go #Golang

0 0 2 63 0

View Details

Ivan Velichko @iximiuz

a year ago

Building container images FROM scratch? Then you need to be aware of these pitfalls 👇 By default, scratch containers lack: - Rootfs layout - CA certificates - Time zone info - Shared libraries - /etc/{passwd,group} Learn more in my new blog post: labs.iximiuz.com/tutorials/pitf…

1 53 251 12K 168

View Details

Ivan Velichko @iximiuz

6 months ago

How Containers Work: Building a Docker-like Container From Scratch 🛠️ One of the most researched pieces on containers I've written so far. Learn how to build a realistic Docker-like container using nothing but standard Linux commands. Learning by doing: labs.iximiuz.com/tutorials/cont…

11 185 1K 61K 1K

View Details

David Finsterwalder | eu/acc @DFinsterwalder

7 months ago

I vibecoded this neural network visualization for my students and open sourced it. It shows a simple MLP trained on MNIST handwritten digits at several training steps. The visualization is using @threejs and it comes with training code in @PyTorch . Link + repo 👇

149 779 8K 487K 6K

View Details

Uros Popovic @popovicu94

7 months ago

If your code to process a 10GB file looks like read(fd, buf, ...) in a loop, you're wasting memory and killing performance. There's a better way. mmap() lets you treat a 100GB file as if it's just a giant array in memory, even with only a few MB of RAM. Here's why it's a cornerstone of high-performance I/O. 🧵👇

65 159 2K 148K 1K

View Details

Dmitrii Kovanikov @ChShersh

7 months ago

Microservices in Python: "10 milliseconds response time is blazing fast!" Meanwhile, in C++

76 152 4K 277K 1K

View Details

Vivek Galatage @vivekgalatage

7 months ago

Always in awe of this fantastic book en.algorithmica.org/hpc/pipelining…

Vivek Galatage @vivekgalatage

7 months ago

Excellent details on how branches impact CPU performance, techniques to make the programs run faster, and associated experiments - a great read. johnnysswlab.com/how-branches-i…

3 25 240 215K 305

6 134 2K 205K 2K

View Details

Fermat's Library @fermatslibrary

7 months ago

Andrew Wiles on the morning he discovered how to fix his proof of Fermat's Last Theorem

459 2K 12K 2.0M 3K

View Details

ℏεsam @Hesamation

7 months ago

llm.c by hand is next level. i wonder sometimes how the brain of people who master things in unbelievably deep levels comprehend subjects differently.