Digital Garden
Search
Search
Dark mode
Light mode
Explorer
Advanced Git
Advanced git log
Git commits, trees and blobs
Git Refs
Git Submodules
Github Actions
Hooks
Merge vs Rebasing
Resetting, checking out & reverting
AI
Transformers model architecture
Algorithms
Bitonic Sort
Bittricks
Hough Transform
Oblivious Algorithms
Sorting Networks
Space Filling Curves
C++ Programming Language
C++ Compilation and Linking
C++ standard library functions for multi-threading
C++ std::regex
C++ std::tie
Copy and Move Semantics
CPP Tricks
Makefile
Smart Pointers
SWIG
Template Metaprogramming in C++
Computer Architecture
Concurrency
Execution Unit
Flynn's Taxonomy
Intel x86-64 Architecture
Memory Banking
Multi-core and Multi-CPU systems
Multithreading and Multiprocessing
Overview of Parallelism
Processes and Threads
Programming Model
Simultaneous multithreading (SMT)
Superscalar Processor
Computer Networking
DHCP protocol
Firewall
Network Address Translation
Network Aggregation
Network Devices
Virtual LANs
Functional Programming
Bridges in Functional Programming
Category Theory
Function Composition
Functional Programming
Lambda Calculus
Literate Programming
Persistent Data Structures
Pure Functions
Reactive Programming
Side-Effects in Functional Programming
High Performance Computing
Accelerated Computing
CUDA
Domain Decomposition
GPU Programming Paradigms
Heterogeneous-Compute Interface for Portability (HIP)
Low-Level Abstraction of Memory Access
Nextflow
NVIDIA CUB
Nvidia over the years
Performance Analysis
Roofline model
SPMD
Taskflow
vCPU
Working of GPU
Linux Container Ecosystem
Colima
Container Runtime Interface
containerd
CRI-O
Docker
k3d.md
Lima
Linux mechanisms used in containers
Networking in containers
OCI Container Runtimes
Organisations
Podman
Singularity Container Engine
Linux Operating System
CRIU
Devices
ext4
FIFO in linux
Inode
Links in Linux
Linux File Types and File Modes
Linux Networking Commands
Linux Pipes
Package Version management
POSIX
Security Enhanced Linux
System V IPC
systemd
Terminals
tmpfs
Mathematics
Affine Set
Arbitrary-precision arithmetic
Cadabra
Floating Point Numbers
Fourier Transform
Herbie
Logical Thinking
Numerical analysis Book
Penrose's Notation
Posit number format
SAT / SMT problems
Tensor Networks
The IEEE754 Floating Point Format
Python Programming Language
All the messy tools in python
Dask
Google Brax
JAX
JIT in python
Multithreading vs Multiprocessing in Python
Poetry
Pydantic
pypy
Python and C
Python Decorators
Python JIT performances
Reframe
xarray
Zarr
Security
Advanced Encryption Standard (AES)
Authentication and Signing
ChaCha
Cyclic Redunduncy Checks
Cypher Suite
Diffie-Hellman key exchange
Encryption
Error Correction
Error Detection
Forward Secrecy
GNU PG
Hamming Distance
Hashing
Man In The Middle
Public Key Infrastructure
RSA
Secured Hashing Algorithm
Transport Layer Security
X.509 Certificates
Writing
aspell
Associated Press Stylebook
Beamer
Pandoc
reStructuredText files
The Elements of Style
Zines
Home
❯
Mathematics
❯
Cadabra
Cadabra
a field-theory motivated approach to computer algebra
https://cadabra.science/
Graph View