Andrew Naguib's Homepage

Andrew Naguib's Homepage
(آندرو نجيب؛ الصفحة الشخصية)




Search:
News: <2024-09-12 Thu 21:52> Why Haskell?

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 is the greatest piece of software

Emacs is my news reader (social media, blogs, …), pdf viewer and annotator, file manager, email client (gnus no no), \(\LaTeX\) editor, greatest 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 the Principia Mathematica by Prof. Bertrand Russell

Blogs/Resources/Articles

Esoteric Programming Languages

Open-source Contributions

[GitHub]

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.
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

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

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.1 and magit version 20240831.2255 (commit id #e767463) on Emacs 29 (the greatest software of all time) and gnu/linux

Andrew Naguib's Homepage (آندرو نجيب؛ الصفحة الشخصية)