radio frequency, antenna design, signal propagation, wireless
Browse Popular Interests
Browse:
💻 Technology
academic papers, arXiv, peer review, CS publications
Build Systems, Software Supply Chain, Deterministic Compilation, Verification
Backtracking, Automata Theory, Pattern Matching, Text Processing
chain of thought, reasoning, o1, thinking models, inference-time compute
Observables, Event Streams, Functional Reactive
ratatui, TUI, terminal UI, Rust terminal interface
Target Tracking, Signal Processing, Doppler Effects, Range Detection
Language-Oriented Programming, Macros, Scheme, PLT, DrRacket
query code generation, JIT compilation, LLVM query, compiled queries
Vector Database, Rust Backend, Neural Search, Similarity Matching
proton mail, proton drive, protonvpn, proton ecosystem
TLS, Cryptographic Protocols, Formal Methods, Security Properties, ProVerif
electrical grid, power grid reliability, grid infrastructure, transmission lines, grid modernization
PostGIS spatial database, geospatial SQL, spatial queries, geographic database
programming language design, type systems, compilers, language theory
Digital Platforms, Infrastructure, Computational Media, Software Studies
platform engineering, developer experience, internal tools, DX
Plan 9 from Bell Labs, 9front, inferno OS, Bell Labs Unix
public key infrastructure, certificates, certificate authority, X.509