Andrew Naguib's Homepage
(آندرو نجيب؛ الصفحة الشخصية)
📌 I am currently working on a fun project, that is zk-auctions, where I am
developing a toolkit for executing auctions on blockchains that use
zero-knowledge proofs to protect the participants' sensitive decisions,
attributes, etc.1
Open-source Contributions
Considerable
 Extended the integer programs to include the bin packing and vehicle routing problems. |
 A Moodle plugin that evaluates source code by testing against pre-defined test cases in a sandboxed environment. The engine accepts C/C++. |
 Free open-source web-based visualization library based on Wilkinson's Grammar of Graphics |
 As a part of (incomplete) GSoC program, I made contributions to HIR dump in the rust frontend for GCC. |
yamllintAdded 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
 Reported three bugs that shows invalid construction of a tensor on higher dimensions (specifically greater than \(n = 62\)). |
   awesome-copycats   Editorial changes, e.g., adding examples, fixing typos, or document components |
Blogs/Resources/Articles
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.
Figure 1: Tracing the implementation of the Conv2d layer in PyTorch.
Figure 2: During the formalization of Principia Mathematica
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 |
 (suggested by my friend Mohamed El-Qdusy) |
 |
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.2 and magit version 20250219.2325 (commit id #0cd9876) on Emacs 29 and gnu/linux; the philosophy of its design is minimalism.
Footnotes:
: Sponsored by Ethereum's Privacy, Scaling, and Explorations team.