InnocentZero's Treasure Chest

HomeFeedAbout MeList of interesting people

Posts tagged "programming":

resources

14 Jul 2025

I'm tired of being asked for resources again and again. I'm dumping all of them here. I'll keep updating this list. I'm not categorizing them, I have better things to do in life. They are in no particular order. Ping me if an entry is stale. This is all I know atm. Will add more as and when I know. My own blog also has some notes, might be helpful.

Tags: programming

Experiments with OCaml - part 3

05 Jul 2025

Ok, so the error last time was the fact that emacs was not able to pick up the change in ocaml switches, hence I restarted for my compositor to pick my settings and emacs picked it up wonderfully. Next, Fira Code ligatures were actually insanely annoying in emacs so I switched to ProFont, and it looks wonderful. Third, dune and dune-format packages are lifesavers.

(...)
Tags: programming ocaml

Experiments with OCaml - Part 2

27 Jun 2025

Ok, so it was getting a bit on my nerves that I wasn't able to cleanly do the things I wanted to. So I switched to git back. Sorry for disappointing :/ Another issue I keep running into is the fact that for some god knows what reason emacs isn't able to find the LSP in the path and I need to set it manually. It's so annoying. I'm using helix for now, as everything works out of the box for it.

(...)
Tags: programming ocaml

Experiments with OCaml

26 Jun 2025

I feel embarrassed to admit that I've never written a real project in OCaml. So let's settle that today. I'll be doing this series to learn both jujutsu and OCaml properly. I'll push it to my codeberg once I've learned how to do that. So keep following along!

(...)
Tags: programming ocaml

sublinear algorithms

04 May 2025

Notes from sepehr assadi's course

(...)
Tags: programming theory

HVM, a new model of computation

03 May 2025

We have combinators with two main rewrite rules over here. One is the \(K\) combinator, which consumes two arguments and returns the first one.

(...)
Tags: programming parallel

ELF Relocations

20 Jan 2025

The reason we need relocations is because of a simple fact, the existence of shared libraries.

(...)
Tags: programming

ELF Structure

10 Jan 2025

ELF files have a header section that can be read with readelf -h executable which gives you quite a bit of information about the binary.

(...)
Tags: programming

Cool C++ features

13 Dec 2024

I'm not mentioning stuff that got deprecated later on, or stuff that's trivial.

(...)
Tags: programming C++

Haskell notes

09 Dec 2024

The above was just a test for seeing if org-babel works.

(...)
Tags: programming haskell

Memory layouts

20 Nov 2024

Whenever a program is run, it has two kinds of memories, stack and heap.

(...)
Tags: programming hardware C

OS Notes

19 Nov 2024

Manages runtime of the system. Provides virtualization to the underlying system.

(...)
Tags: programming C

UGRC hints

11 Nov 2024

As of now printing everything using printk functions.

(...)
Tags: programming C++ C

Memory Ordering in C++ and OS support (Linux)

11 Nov 2024

Some basic things to note:

(...)
Tags: programming C C++ hardware

C Practice Questions

20 Oct 2024

THESE QUESTIONS ARE HARD! PROCEED WITH CAUTION!

(...)
Tags: C programming study

Computer Architecture

19 Oct 2024

Different Instructions: x86, ARM, RISC V, MIPS.

(...)
Tags: programming hardware

Compilers

03 Oct 2024

Read a source file, and write the output to another file.

(...)
Tags: programming

Pacdef

23 Aug 2024

My first open source contributions and serious code, and how I want to take it much further …

(...)
Tags: programming rust

GPU Programming

30 Jul 2024

To set up google colab, set the runtime to T4 and run

(...)
Tags: programming CUDA parallel

Emacs setup

12 Jul 2024

I began using emacs when a friend of mine bullied me into it. I had fiddled with emacs before but never lasted on it for a long time. I tried Doom, spacemacs, and whatnot, but it was always annoying to not have something that I wanted (Heck, I still want those buffer tabs).

(...)
Tags: programming networks

Classes in C++

01 May 2024

Classes are nothing but a collection of variables and member functions that are also called methods.

(...)
Tags: programming C++

Calcurs update

25 Apr 2024

Ok, let's roll.

(...)
Tags: programming projects

CSD

23 Apr 2024

Moore's Law: The number of transistors in a dense integrated circuit doubles every two years.

(...)
Tags: programming hardware

Calcurs

19 Apr 2024

I wanted to have a sort of a parser that picked up my todos from my notes and scraped that as well as my schedule into a neat displayable format. The result, calcurs.

(...)
Tags: programming projects

Hacking snippets

10 Apr 2024
Tags: programming python

GOT and PLT

10 Mar 2024

[2025-03-24 Mon 22:26] <- Lazy linking

(...)
Tags: programming C

Natas Solutions

28 Feb 2024

Password is in the comments.

(...)
Tags: programming networks

CMake

19 Feb 2024

Set up the dir tree as follows:

(...)
Tags: programming

Regex

30 Dec 2023

General format:

(...)
Tags: programming

Notes on C

22 Dec 2023

Must read: Brian Jorgensen Hall's blog

(...)
Tags: programming C

References in C++

09 Dec 2023

C++11 introduced 5 types of objects; lvalues, rvalues, glvalues, prvalues, xvalues.

(...)
Tags: programming C++

CS2200

24 Oct 2023

[2025-03-24 Mon 22:26] <- Class

(...)
Tags: programming lang-theory

Network Stack

20 Oct 2023
Tags: programming networks

Traceroute

13 Aug 2023

[2025-03-24 Mon 22:26] <- icmp

(...)
Tags: programming networks

TCP

12 Aug 2023

Transmission Control Protocol. Originated along with ipv4 and hence the entire system is called TC/IP. It's IP Protocol Number is 6.

Tags: programming networks

IPv6

10 Aug 2023
Tags: programming networks

IPv4

10 Aug 2023

Fun fact: ARPAnet was 10.x.x.x

Tags: programming networks

Rvalue references

06 Aug 2023

Introduced on C++11, these are references to rvalues. These exist to extend the object lifetime of an rvalue, say, a function return value.

(...)
Tags: programming C

Concurrency

05 Aug 2023

C++ 11: Threads

(...)
Tags: programming C C++

Registers in x86 and friends

20 Jul 2023

There are 3 types of General-purpose data registers they are:

(...)
Tags: programming C

CV Qualifiers

13 Jul 2023

cvqualifiers

(...)
Tags: programming C++

Enum Classes in C++

18 Jun 2023

Problems with regular enums:

(...)
Tags: programming C++

Sway Config

24 May 2023

Getting coding superpowers with this dark theme! NOTE: This is very obsolete atp

(...)
Tags: programming

wtf is std::forward

18 May 2023

Most of the article was inspired from this brilliant answer from stackoverflow.

(...)
Tags: programming C++

GDB Cheatsheet

18 May 2023

More important commands have a (*) by them.

Tags: programming

Static variables and functions

13 Apr 2023

Initialised at the beginning of the program, before the main function is called. Stored in the data section of the program if initialised or bss if not. Basically shares a location with a global variable.

(...)
Tags: programming C++

Branch predictions

13 Apr 2023

We can usually fit many operations in one clock cycle. So if all instructions were independent, we can in theory do like 5 or 6 instructions at once.

(...)
Tags: programming hardware

ICMP

12 Apr 2023

Used by network devices such as routers to send error messages back. Typically used for network diagnostic tools such as traceroute.

Tags: programming networks

File Descriptors

10 Apr 2023

On *nix systems, file descriptors are a number that are given to files that have a stream attached to them. C can directly read and write from file descriptors using the read() command that takes a file descriptor, a buffer and a length to be read.

(...)
Tags: programming C

ARP

10 Apr 2023

The packet has 48-bit fields for the sender hardware address (SHA) and target hardware address (THA), and 32-bit fields for the corresponding sender and target protocol addresses (SPA and TPA).

(...)
Tags: programming networks

DHCPv6

02 Apr 2023

In this example, without rapid-commit present, the server's link-local address is fe80::0011:22ff:fe33:5566 and the client's link-local address is fe80::aabb:ccff:fedd:eeff.

Tags: programming networks

DHCP

01 Apr 2023

[2025-03-24 Mon 22:26] <- IP Broadcast

(...)
Tags: programming networks

DNS

17 Mar 2023

DNS is the domain name system. It is a methodical address-book kinda thing that returns the location of the nearest server for that domain name.

(...)
Tags: programming networks

OpenMP Optimizations

20 Oct 2022

Who knew parallelisation would be so easy!

(...)
Tags: programming C parallel C++

C Macros

20 Oct 2022

#define defines a variable to a value (or nothing if it's not defined). It is a literal find and replace kinda stuff, so be aware of what's happening after rewrites. It can also be used in a functional fashion and has a bunch of operators.

(...)
Tags: programming C

Python notes

14 Feb 2022

Python has the capability of carrying out calculations. Enter a calculation directly into a print statement:

(...)
Tags: programming python
Other posts

Other posts
Creative Commons License
This website by Md Isfarul Haque is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.