I am currently working on a fun project, that is zk-auctions, where we are developing a toolkit for executing auctions on blockchains that use zero-knowledge proofs to protect the participants' sensitive decisions, attributes, etc.

Emacs

news reader (social media, blogs, …), pdf viewer and annotator, file manager, email client (gnus no no), \(\LaTeX\) editor, life manager of all time, journal, ad-blocked browser, agenda, event scheduler, IDE (for possibly every language I use), search engine, terminal, greatest user interface to git, remote file access interface.

conv2d_pytorch_trace.png

Figure 1: Tracing the implementation of the Conv2d layer in PyTorch.

formalization-of-principia-mathematica.png

Figure 2: During the formalization of the Principia Mathematica by Prof. Bertrand Russell

Blogs/Resources/Articles

Open-source Contributions

profile for ndrwnaguib at Stack Overflow, Q&A for professional and enthusiast programmers

[GitHub]

Considerable

ecole-logo-bare.png Extended the integer programs to include the bin packing and vehicle routing problems. 2560px-Moodle-logo.svg.png A Moodle plugin that evaluates source code by testing against pre-defined test cases in a sandboxed environment. The engine accepts C/C++.
46582722-e9e11380-ca4b-11e8-8dc3-ce015916c853.jpg Free open-source web-based visualization library based on Wilkinson's Grammar of Graphics logo.png As a part of (incomplete) GSoC program, I made contributions to HIR dump in the rust frontend for GCC.

yamllint

Added an option that allows for ignoring a list of files enclosed in an input file
Basic learning management system that includes course-management, assignments, quizzes, grading, online judging, and plagiarism detection components

Modest

Pytorch_logo.png?20211003060202 Reported three bugs that shows invalid construction of a tensor on higher dimensions (specifically greater than \(n = 62\)). numpylogoicon.png?raw=true 1024px-Elasticsearch_logo.svg.png?20210414071206 xtensor.svg

awesome-copycats

1024px-Keras_logo.svg.png?20200317115153 Hydra-Readme-logo2.svg ray_header_logo.png Editorial changes, e.g., adding examples, fixing typos, or document components

Books

Here are some books I read or currently reading.

STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS INTRODUCTION TO ALGORITHMS (CLRS) CONCEPTS OF PROGRAMMING LANGUAGES The Complete Reference Linux
  DesigningDataIntensiveApplications.jpg (suggested by my friend Mohamed El-Qdusy)   linux_the_complete_reference.png

Open-source Front-ends to Software

nitter.net invidious.io  
(Twitter; also allows you to pull feeds as RSS) (YouTube)  

(btw, icecat automatically uses them)

♚

I maintain this webpage using Org mode version 9.7.1 and magit version 20240912.1705 (commit id #526de83) on Emacs 29 and gnu/linux