🌱 Enrico's Digital Garden

atomic

196 items with this tag.

Sep 15, 2026
Cargo links multiple versions of a crate as distinct types, so a version leaking into a public API breaks callers — re-export the dependency
- atomic
- flashcards/rust
Sep 14, 2026
Rust has no runtime reflection — type_name and TypeId are compile-time generics that report the static type
- atomic
- flashcards/rust
Sep 10, 2026
Self-referential structs are impossible in Rust because a move relocates the struct but not its interior pointer — use indices or Pin
- atomic
- flashcards/rust
Sep 10, 2026
The borrow rule (many &T XOR one &mut T) exists to guarantee no aliased mutation — enabling optimization and data-race-freedom
- atomic
- flashcards/rust
Sep 08, 2026
Generics keep the concrete type, trait objects erase it — that lever generates every tradeoff
- atomic
- flashcards/rust
Sep 08, 2026
Object safety is whether a vtable can be built; where Self Sized carves offending methods out of the dyn interface
- atomic
- flashcards/rust
Sep 02, 2026
Coherence guarantees one impl per (trait, type) pair, enforced by the orphan rule and no-overlap
- atomic
- flashcards/rust
Sep 02, 2026
Make invalid states inexpressible by carving the value-set to match the domain
- atomic
- flashcards/rust
Aug 31, 2026
A lock provides two guarantees, mutual exclusion and a happens-before edge
- atomic
- flashcards/stem/os
Aug 31, 2026
Acquire and release are the half-barriers that manufacture a synchronizes-with edge
- atomic
- flashcards/stem/os
Aug 31, 2026
An operation is atomic if no thread can observe it half-done
- atomic
- flashcards/stem/os
Aug 31, 2026
Happens-before is the single relation guaranteeing visibility and ordering across threads
- atomic
- flashcards/stem/os
Aug 31, 2026
Mutual exclusion makes a divisible region observably atomic by excluding other observers
- atomic
- flashcards/stem/os
Aug 31, 2026
The store-buffer litmus test proves mutual exclusion is not enough
- atomic
- flashcards/stem/os
Aug 29, 2026
A cumulative ACK N means "I have everything through N"
- atomic
- flashcards/software-engineering/networking
Aug 29, 2026
A network connection is identified by a 4-tuple, not a port
- atomic
- flashcards/software-engineering/networking
Aug 29, 2026
A new transport must be deployable through middleboxes, so it rides on UDP
- atomic
- flashcards/software-engineering/networking
Aug 29, 2026
Flow control protects the receiver, congestion control protects the network
- atomic
- flashcards/software-engineering/networking
Aug 29, 2026
Head-of-line blocking is the price of a single connection-wide byte order
- atomic
- flashcards/software-engineering/networking
Aug 29, 2026
IP promises nothing — it is best-effort and never reports delivery outcome
- atomic
- flashcards/software-engineering/networking
Aug 29, 2026
Sequence numbers make a gap in a stream proof of loss that names what was lost
- atomic
- flashcards/software-engineering/networking
Aug 29, 2026
TCP hands you a stream, so the application must frame its own messages
- atomic
- flashcards/software-engineering/networking
Aug 29, 2026
TCP is a byte stream and UDP preserves datagram boundaries — opposite answers
- atomic
- flashcards/software-engineering/networking
Aug 29, 2026
The three-way handshake is agreement on sequence-space plus injection resistance
- atomic
- flashcards/software-engineering/networking
Aug 29, 2026
A certificate authenticates a Diffie-Hellman exchange by signing the handshake transcript
- atomic
- flashcards/software-engineering/tls
Aug 29, 2026
An AEAD nonce must be unique, not secret — reuse under one key is catastrophic
- atomic
- flashcards/software-engineering/tls
Aug 29, 2026
An AEAD record nonce is the static IV XOR the record sequence number
- atomic
- flashcards/software-engineering/tls
Aug 29, 2026
HKDF has two operations, Extract whitens messy entropy and Expand clones one key into many
- atomic
- flashcards/software-engineering/tls
Aug 29, 2026
TLS 1.3 0-RTT trades forward secrecy and replay protection for a saved round trip
- atomic
- flashcards/software-engineering/tls
Aug 29, 2026
TLS 1.3 chains three HKDF-Extract calls to fold in secrets that arrive at different times
- atomic
- flashcards/software-engineering/tls
Aug 29, 2026
TLS KeyUpdate is a one-way HKDF-Expand ratchet giving forward secrecy within a connection
- atomic
- flashcards/software-engineering/tls
Aug 29, 2026
TLS provides confidentiality, integrity and authentication over a reliable stream
- atomic
- flashcards/software-engineering/tls
Aug 29, 2026
TLS uses asymmetric crypto to bootstrap a shared key, then symmetric crypto for bulk data
- atomic
- flashcards/software-engineering/tls
Aug 29, 2026
Transcript-binding welds derived keys to the exact handshake, detecting tampering and downgrade
- atomic
- flashcards/software-engineering/tls
Aug 10, 2026
Compilers can explode aggregate data structures into local variables
- atomic
Jun 16, 2026
Implementation from traits can be removed with negative impls
- atomic
May 18, 2026
The Newtype pattern wraps a single type in a single-field tuple struct
- atomic
May 18, 2026
non_exhaustive attribute prevents implicit construction and exhaustive matching outside the crate
- atomic
May 15, 2026
min-cut problem
- atomic
May 15, 2026
A randomized algorithm uses random(S) as a primitive, correctness and running time are random variables
- atomic
May 14, 2026
Availability cascade is the affect heuristic amplified by the media
- atomic
May 14, 2026
LSH for Euclidean distance, h(x) projects points on a random direction then quantizes
- atomic
May 14, 2026
If your code must own data, make the caller provide it. Use Cow when ownership is decided at runtime
- atomic
May 12, 2026
RCU allows one updater and many readers concurrently
- atomic
May 12, 2026
A Red-black tree is a BST where height invariant guarantees O(log n) operations
- atomic
May 12, 2026
CFS picks the task with the lowest vruntime, stored as the leftmost node of a rbtree
- atomic
May 12, 2026
inode
- atomic
- todo
May 06, 2026
Every Rust type should implement Debug, Send, Sync, Clone and Default
- atomic
May 06, 2026
Provide blanket implementations for &T, &mut T, Box<T> and IntoIterator, Deref for ergonomics
- atomic
May 06, 2026
Principle of Least Astonishment
- atomic
May 05, 2026
`tracing` models execution as spans and events, richer than flat logging because it captures context
- atomic
May 05, 2026
&a T is covariant in 'a and T, &mut T is invariant in T
- atomic
May 05, 2026
Variance Describes When a Subtype Can Be Used in Place of a Supertype, Covariant, Invariant, or Contravariant
- atomic
May 05, 2026
A Lifetime Names the Region of Code a Reference Must Be Valid For, Not Necessarily the Full Scope
- atomic
May 05, 2026
Interior Mutability Allows Mutation Through &T, Either by Runtime-Checked Exclusivity or In-Place Methods
- atomic
May 05, 2026
&mut T Is an Exclusive Reference, No Other Reference Can Coexist With It
- atomic
May 05, 2026
&T Is a Shared Reference, Copy but Not Mutable
- atomic
May 04, 2026
'static Means Valid Until Program Shutdown — Static Variables Have It, But Not All 'static References Point to Static Memory
- atomic
May 04, 2026
Rust compiler validates a graph of flows between accesses
- atomic
Apr 30, 2026
Use thiserror for structured error callers can match on, anyhow when error type doesn't matter
- atomic
Apr 23, 2026
A process terminates via exit()
- atomic
Apr 23, 2026
Processes in memory are represented by a tree
- atomic
Apr 17, 2026
I sistemi battono gli obiettivi
- atomic
Apr 17, 2026
I risultati arrivano dopo il plateau del potenziale latente
- atomic
Apr 17, 2026
Migliorare dell'1% porta ad un 37x in un anno
- atomic
Apr 17, 2026
Bad habits break through self-monitoring, mindfulness and replacing the reward
- atomic
Apr 17, 2026
New habits are formed through reminders, environment design, implementation intentions and rewards
- atomic
Apr 17, 2026
Swiss Table Breaks the Hash Array Into Groups of 8 — Each With a 64-bit Control Word for Metadata
- atomic
Apr 13, 2026
Natural Batching, start a batch as soon as requests arrive, complete it when full or queue is empty
- atomic
Apr 13, 2026
Single Writer Principle, one thread own all writes to a resource
- atomic
Apr 13, 2026
False sharing forces CPUs to serialise access when two threads write to the same cache line
- atomic
Apr 13, 2026
Prefer sequential memory access, CPUs predict and prefetch based on locality
- atomic
- todo
Apr 03, 2026
A context switch saves the PCB of the running process and restores another
- atomic
- todo
Apr 03, 2026
The process scheduler chooses an available process
- atomic
Apr 03, 2026
A process is represented in memory with the Process Control Block (PCB)
- atomic
- todo
Apr 03, 2026
In a process execution, it goes through many stages
- atomic
Apr 03, 2026
A process in operating systems is a program in execution
- atomic
Apr 02, 2026
Fermi estimation
- atomic
Apr 02, 2026
SLUB allocator
- atomic
Mar 30, 2026
Daily Zettelkasten process, fleeting notes rewritten to atomic
Mar 29, 2026
A Hash Function Must Be Deterministic, Uniform, and Fast — FNV-1a Is One Example
- atomic
Mar 29, 2026
Collisions are unavoidable by Pigeonhole, Chaining and Open Addressing resolve them
- atomic
Mar 29, 2026
Hash Table maps any key to a slot in O(1) time
- atomic
Mar 28, 2026
Atomic Notes are high cohesion low coupling, reusable in multiple outputs
- atomic
Mar 07, 2026
Documentation Is Not a Wiki — It Lives and Evolves With the Code
- atomic
Feb 26, 2026
Style Guides and Rules
- atomic
- flashcards/software-engineering
Jan 30, 2026
An SSTable is a segment of key-value pairs sorted by keys
- atomic
Jan 30, 2026
SSTables enable sparse indexes, simple merges and block compression
- atomic
Jan 30, 2026
SIMD - one operation applied to multiple data points simulaneously
- atomic
Dec 21, 2025
A Service Access Point (SAP) is where one OSI layer requests services from the layer below
- atomic
- flashcards/stem
Dec 21, 2025
OSI Model describes network communication in 7 layers from physical bits to application data
- atomic
- flashcards/stem
Dec 03, 2025
Gordon Growth Equation (GGM) calculates the stock intrinsic value
- atomic
Dec 03, 2025
Compounding is the interest on interest
- atomic
- flashcards/personal-finance
Dec 03, 2025
Future Value (FV) calculates the balance after the last payment of a debt
- atomic
- flashcards/personal-finance
Nov 18, 2025
Linear Recursion is a chain of deferred operations
- atomic
Nov 18, 2025
Tree Recursion branches at each level
- atomic
Oct 08, 2025
Scale and Efficiency applies to people, compute and codebase
- atomic
Oct 08, 2025
All Observable Behaviours of an API Will Be Depended On by Someone
- atomic
Jul 17, 2025
Optimism Bias drives entrepreneurial dynamism but distorts risk assessment
- atomic
Jul 15, 2025
Planning Fallacy, we predict ideal scenarios instead of consulting distributional data
- atomic
Jul 15, 2025
Inside View uses specific details, Outside View uses base rates
- atomic
May 16, 2025
Gödel's incompleteness theorems
- atomic
- flashcards/stem/math
May 16, 2025
Hilbert's program was to formalize all of math, disproven by Gödel
- atomic
May 16, 2025
Axiom of Choice - for each family of non-empty sets it exists a function f(S) in S
- atomic
May 16, 2025
Russell's Paradox — R = {x s.t. x∉x} Implies R∈R ⟺ R∉R
- atomic
May 16, 2025
Paradoxes Broke 19th-Century Math and Set Theory Rebuilt It — Until Gödel
- atomic
- flashcards/stem/math
Apr 22, 2025
Backus–Naur form is the traditional notation for representing context-free grammars
- atomic
Apr 17, 2025
Modus ponens, P è vero quindi Q è vero
- atomic
Apr 17, 2025
Chomsky hierarchy - Regular < Context-Free < Context-Sensitive < Recursively Enumerable
- atomic
Apr 13, 2025
h(x) = g(f(x)) — Composing Functions With ∘ and Its Reverse
- atomic
Apr 13, 2025
Imperative paradigm
- atomic
Apr 13, 2025
Functional Programming programs are trees of expressions, not sequences of steps
- atomic
Apr 10, 2025
Maximal Munch; when two rules match, the scanner picks the one that consumes most characters
- atomic
Apr 04, 2025
A Bloom Filter uses k hash function on a bit array, membership is probabilistic
- atomic
Feb 23, 2025
What’s Really Going On in Machine Learning Some Minimal Models - Notes
- atomic
Feb 23, 2025
Reality is full of details that are invisible until you notice them
- atomic
Feb 19, 2025
Local Branching
- atomic
Feb 19, 2025
Sequence to Sequence Architectures
- atomic
- todo
Feb 19, 2025
Transformer
- atomic
- todo
Feb 02, 2025
Atomic notes serve no immediate purpose, connections will create future usefulness
- atomic
Jan 29, 2025
Tail Call optimization replaces call with jmp
- atomic
Jan 29, 2025
Discovery Coding is about understanding a problem by straight up coding
- atomic
Jan 07, 2025
Pigeonhole Principle - if n items fill m containers and n>m, some container has more than one
- atomic
Jan 07, 2025
GMM produces a coreset of bounded size, proved via doubling dimension and pigeonhole
- atomic
Jan 03, 2025
The Hadamard Matrix Is Built Recursively via Sylvester's Construction
- atomic
Jan 03, 2025
The Hadamard Transform y = Hₘx Transforms 2ᵐ Numbers Using Only Additions and Subtractions
- atomic
Jan 03, 2025
Fast Hadamard Transform (FHT)
- atomic
- todo
Jan 03, 2025
Cross-Polytope LSH hashes to the nearest axis
- atomic
Dec 30, 2024
Hindsight Bias, after the outcome we believe we knew it all along and cannot recall our prior belifs
- atomic
Dec 28, 2024
Il Cervello è Progettato per Essere Efficiente non Accurato
- atomic
Dec 20, 2024
An IP Address Identifies the Location of a Resource Within a Network
- atomic
Dec 20, 2024
Kakorrhaphiophobia, la paura irrazionale del fallimento che paralizza completamente
- atomic
Dec 20, 2024
Interface Segregation Principle (ISP)
- atomic
Dec 20, 2024
Narrative Fallacy makes us explain the past through cause-and-effect
- atomic
Dec 20, 2024
Coreset is a small subset from P which represent P well
- atomic
Dec 20, 2024
Composable Coreset partitions P, the union of the coresets of P is still a coreset
- atomic
Dec 20, 2024
Conjunction Fallacy, P(A∩B) > P(A) feels true when B is representative
- atomic
Dec 20, 2024
Clustering is the task of grouping a set of objects
- atomic
Dec 20, 2024
Cosine Similarity is the cosine of the angle between two vectors
- atomic
Dec 20, 2024
Angular Distance is the true metric version of cosine distance
- atomic
Dec 19, 2024
Dynamic Routes
- atomic
- todo
Dec 19, 2024
Correcting Intuitive Predictions means regressing toward the mean proportionally to the evidence correlation
- atomic
Dec 19, 2024
Regression towards the Mean
- atomic
Dec 19, 2024
Affect Heuristic substitutes "what do I think?" with "what is my impression?"
- atomic
Dec 18, 2024
Availability Bias, frequency is judged by how easily examples come to mind not by actual count
- atomic
Dec 18, 2024
Anchoring è il processo di assegnazione di un valore ad una quantità ignota
- atomic
Dec 18, 2024
Chi sei è definito da ciò per cui sei disposto a lottare
- atomic
Dec 18, 2024
Colpa è al passato, responsabilità è al presente
- atomic
Dec 18, 2024
Fregarsene non è indifferenza
- atomic
Dec 18, 2024
I tuoi valori determinano le metriche con cui misuri te stesso e gli altri
- atomic
Dec 18, 2024
Il ciclo di feedback dall'inferno
- atomic
Dec 18, 2024
Il desiderio di più esperienze positive è in sé un'esperienza negativa
- atomic
Dec 18, 2024
Il vittimismo chich passa la responsabilità ad altri
- atomic
Dec 18, 2024
L'Azione non è Solo l'Effetto della Motivazione — È Anche la Sua Causa
- atomic
Dec 18, 2024
L'attenzione filtra l'eccezionale
- atomic
Dec 18, 2024
L'autocoscienza è una cipolla - emozioni, cause, valori in strati profondi
- atomic
Dec 18, 2024
L'impegno dà libertà perché elimina il rumore e concentra l'attenzione su ciò che conta
- atomic
Dec 18, 2024
La Magnitudine del Successo si Misura da Quante Volte Hai Fallito
- atomic
Dec 18, 2024
La domanda non è come smettere di soffrire, ma per quale scopo
- atomic
Dec 18, 2024
La felicità non è un'equazione risolvibile, insoddisfazione e disagio sono necessari
- atomic
Dec 18, 2024
La felicità viene dal risolvere problemi, evitarli la rimanda all'infinito
- atomic
Dec 18, 2024
La libertà da sola è vuota, il significato nasce dal restringere e scegliere
- atomic
Dec 18, 2024
La vera autostima si misura da come guardi le tue parti negative
- atomic
Dec 18, 2024
Le emozioni negative sono una chiamata all'azione
- atomic
Dec 18, 2024
Le persone davvero eccezionali sono ossessionate dal miglioramento
- atomic
Dec 18, 2024
Scegliere i propri problemi dà potere, sentirli imposti rende vittime
- atomic
Dec 18, 2024
Senza conflitto non può esserci fiducia
- atomic
Dec 18, 2024
Solo il Dolore Intenso ci Forza a Guardare i Nostri Valori e Cambiare Rotta
- atomic
Dec 18, 2024
Una relazione sana è due persone che risolvono i propri problemi
- atomic
Dec 18, 2024
Misjudging Reliability and Causality
- atomic
Dec 18, 2024
Human Tendency to Attribute Agency and Intentions
- atomic
Dec 18, 2024
Non possiamo eliminare i bias, possiamo solo riconoscere le situazioni a rischio
- atomic
Dec 18, 2024
Con la pratica i comportamenti si trasferiscono dal Sistema 2 al Sistema 1
- atomic
Dec 18, 2024
Single-Loop Optimizes the Method, Double-Loop Questions the Goal Itself
- atomic
Dec 17, 2024
Create a virtuous cycle where your personal life feeds the professional life and viceversa
- atomic
Dec 17, 2024
Willpower Isn't Depleted — It Shifts From Control to Reward
- atomic
Dec 17, 2024
Spacing Effect - suspending study to do unrelated activities are better recalled
- atomic
Dec 17, 2024
Unfinished tasks occupy short memory, closing or capturing them frees cognitive load
- atomic
Dec 17, 2024
Zeigarnik effect - interrupted or unfinished tasks are better recalled than complete ones
- atomic
Dec 17, 2024
Predatità - l'Essere di un'entità come condizionato e determinato da qualcos'altro
- atomic
Dec 17, 2024
Ontologia, la scienza dell'ente in quanto ente
- atomic
Dec 17, 2024
Ontico si riferisce ai fatti particolari degli enti
- atomic
Dec 17, 2024
Fenomenologia è lo studio dei fenomeni indipendentemente dalla realtà fisica esterna
- atomic
Dec 17, 2024
Ogni ontologia resta cieca finché non chiarisce prima il senso dell'essere
- atomic
Dec 17, 2024
L'Esserci è il suo passato, ma accade a partire dal suo futuro
- atomic
Dec 17, 2024
La Tradizione nasconde le sue origini e fa dimenticare il bisogno di risalire ad esse
- atomic
Dec 17, 2024
Esserci è il concetto più vicino e più lontano da noi
- atomic
Dec 17, 2024
Most of the cost of software is maintenance (operability, simplicity, evolvability)
- atomic
Dec 17, 2024
Measure latency with percentiles, not mean
- atomic
Dec 17, 2024
Scalability is a system's ability to cope with increased load
- atomic
Dec 17, 2024
Reliability means preventing faults from causing failures
- atomic
Dec 17, 2024
Three types of faults - hardware is random, software is systematic, human is the most common
- atomic
Dec 17, 2024
OCP - software should be open for extension and closed for modification
- atomic
Dec 17, 2024
Facade is a structural design pattern that provides a simplified interface to a library
- atomic
Dec 14, 2024
An LSH Family maps closer points to the same bucket with higher probability
- atomic
Dec 14, 2024
(k, δ) Nearest Neighbor problem
- atomic

Created with Quartz v5.0.0 © 2026

GitHub
Discord Community