computer-science
11 posts
2026
- Knowledge Base (JSX)Browsers cannot natively parse JSX syntax. During the build process, compilers (such as Babel, TypeScript, Vite, or SWC) transpile JSX elements into standard…
- Attempto Controlled EnglishEveryone hates natural language and its ambiguity (maybe except your manager), because ambiguity is where responsibilities go to die. "The customer entered…
- Gale-Shapley Algorithm
- Deep Double DescentDeep Double Descent is a phenomenon in neural network training where test error follows a non-monotonic "W-shaped" curve. As model complexity, data size, or…
- Model AbliterationModel Abliteration is a weight-editing technique that removes specific high-level concepts (typically "refusal") from an LLM by orthogonalizing the model's…
- Eclipse AttackIn a decentralized network like Bitcoin, security relies on the assumption of perfect information—that everyone can observe the proofs-of-work and the true…
- Byzantine General's ProblemBefore we talk about servers, let's talk about the people who framed the problem. The Byzantine Generals Problem was formally introduced in a landmark 1982…
- IMP LanguageIf the Lambda Calculus is an elegant mathematical dream where everything is a pure, side-effect-free function evaluating to a value, IMP is the blue-collar…
- Lambda CalculusIn modern programming, we are used to defining named functions that operate on built-in data types. For example, in Python:
- Proof of WorkPBFT (Practical Byzantine Fault Tolerance) relies on knowing exactly how many nodes (N) exist, so it can calculate that 2/3rds threshold. But in a…
- Substitution CipherImagine you have two identical sets of the alphabet. You lay them side-by-side and draw arrows from the first set to the second. As long as every letter…