Identity Types
Explores identity and equality types in type theory, contrasting definitional vs. propositional equality and their role in proofs.
Explores identity and equality types in type theory, contrasting definitional vs. propositional equality and their role in proofs.
A technical guide on configuring Microsoft Copilot Studio Agents with MCP servers using Azure Logic Apps, including deployment steps and JSON examples.
Explores the CSS @starting-style rule, its specificity issues, and provides practical workarounds for developers.
Explores the journey and technical details of PHP's compile-time generics RFC, from a blog series to a comprehensive book.
A tutorial on implementing Queryable Encryption for sensitive fields using the MongoDB Entity Framework Core provider, enabling encrypted data to remain searchable.
Announcing libghostty-vt, a zero-dependency library for parsing terminal sequences and managing terminal state, extracted from the Ghostty terminal emulator.
A beginner's guide to setting up a web development environment, covering essential tools like IDEs and project setup.
Introducing CDK Booster, a tool that speeds up AWS CDK projects by bundling all Lambda functions in parallel instead of sequentially.
Explores how Python's readable, English-like syntax reflects a philosophy of programming that reduces cognitive load and shapes computational thinking.
A developer reflects on managing multiple WordPress blogs with custom themes, discussing the pros and cons of separating content by topic versus consolidating.
A guide to troubleshooting the Azure Connected Machine agent for Azure Arc, covering installation, connectivity, and common issues.
Analyzes the true role of web standards bodies, arguing they ratify existing designs rather than invent the future, and critiques misconceptions about browser feature development.
Introduces agent-rules, an open-source CLI tool that standardizes security and coding rules across AI coding assistants like GitHub Copilot and Cursor.
Explores advanced C++ techniques for iterating through std::tuple, focusing on std::apply and generic approaches.
Exploring the philosophical and technical significance of the Unix 'fortune' command as an antidote to modern algorithmic engagement.
A web developer shares the hidden challenges of remote work, from blurred home/work boundaries to isolation and the need for a proper setup.
Emad Mostaque argues AI will make capitalism obsolete by replacing human labor and transforming the economy within 1,000 days.
A developer details the challenges and design decisions in building a JSContact/iCalendar converter for the pimsync project, focusing on timezone and recurrence rule handling.
A guide to setting up Java development in Emacs using the Language Server Protocol (LSP) and the Eclipse JDT server for a lightweight, customizable coding experience.
Explains how Kube-proxy uses iptables for load-balancing in Kubernetes and the implications for gRPC/HTTP/2 traffic.