Abdelrahman Abdelhafez

@[email protected]
4 Followers
58 Following
148 Posts
Human code formatter @ trivago • Current obsessions include Nix  & Kotlin 
🌐 Bloghttps://abdelrahman.sh
🌍 From🇪🇬
🏠 Lives in🇩🇪
Abdelrahman Abdelhafez2d ago

Worth checking out every file in this thing  

LarpOS is a NixOS configuration that takes the concept of "bloated Linux distro" to its absolute logical extreme.

https://github.com/gitlab-stack/larpos

GitHub - gitlab-stack/larpos: the worst fucking operating system ever

the worst fucking operating system ever. Contribute to gitlab-stack/larpos development by creating an account on GitHub.

GitHub
Abdelrahman AbdelhafezFeb 22
Jess RoseFeb 22
Coin operated vending machines dispensing kibble for streetcats are my favourite shared infrastructure discovery this week.
Abdelrahman AbdelhafezJan 31
Electronic Frontier FoundationJan 31
Courts should treat biometric locks as equivalent to password protection, EFF’s Andrew Crocker told @theintercept. “Your constitutional right against self-incrimination should not be dependent on technical convenience or lack thereof.”
https://theintercept.com/2026/01/30/washington-post-hannah-natanson-fbi-biometrics-unlock-phone/
Washington Post Raid Is a Frightening Reminder: Turn Off Your Phone’s Biometrics Now

The search warrant to raid a Washington Post reporter’s home shows how authorities can open your phone without your consent.

The Intercept
Show threadAbdelrahman AbdelhafezDec 6
TIL: The TCP protocol handles a continuous stream of bytes, with no internal boundaries. It's up the application layer to split up those bytes and make sense of them.
Show threadAbdelrahman AbdelhafezDec 6

Got a TCP server up and running! 🚀

Dodged a bullet by not having to use Java sockets - Ktor already wraps java.nio in a coroutines-friendly API   

https://ktor.io/docs/server-sockets.html

Abdelrahman AbdelhafezDec 6

Let's build our own Redis in Kotlin !

https://build-your-own.org/redis

https://codeberg.org/abdelrahman/build-your-own-redis

Build Your Own Redis with C/C++ | Build Your Own Redis with C/C++

Build Your Own Redis with C/C++ | Learn network programming and data structures

build-your-own.org
Abdelrahman AbdelhafezDec 5

@mre Your blog post is on HN's frontpage!

https://news.ycombinator.com/item?id=46163609

Patterns for Defensive Programming in Rust | Hacker News

Abdelrahman AbdelhafezDec 2

RE: https://mastodon.social/@jagmeets13/115650028332342817

“This comes in addition to a recent directive ordering smartphone manufacturers to preinstall the government’s Sanchar Saathi app on all new handsets and push it onto existing devices through a software update.”

🤮🤮

Abdelrahman AbdelhafezNov 22

@msfjarvis Hey Harsh, just came across your nice blog post about formatting/linting code using Nix flake checks: https://msfjarvis.dev/posts/writing-your-own-nix-flake-checks

You'll definitely be pleasantly surprised to learn about treefmt-nix from @numtide: https://github.com/numtide/treefmt-nix

Not only does it support 120 formatters (as of today), it also runs them concurrently and on files that have changed since its last run 😍

Writing your own Nix Flake checks

Quick how-to for writing ad-hoc checks for your own Nix Flakes

Abdelrahman AbdelhafezNov 16

RE: https://mastodon.social/@kagihq/115552884735953094

“Degree Celsius Namibian dollars” 😂