Discover

Syscalls, Kernel Interface, POSIX, System API

synthetic training data, data generation, LLM-generated data, self-play

KLEE, Path Exploration, Constraint Solving, Bug Finding

Kafka, event streaming, real-time data, data pipelines

SSD, NVMe, HDD, RAID array, disk performance

speculative execution, speculation barrier, Spectre, transient execution

Apache Spark, Distributed Computing, Big Data, PySpark

satellites, SpaceX, aerospace, rocketry, NewSpace

solana, SOL, solana program, anchor framework

social networks, platforms, social apps, online communities

session types, communication protocols, linear types, typed channels

Literate Programming, Executable Documentation, Notebook Computing, Knuth

application security, secure coding, threat modeling, AppSec

secure enclaves, SGX, TrustZone, confidential computing, TEE

UEFI secure boot, boot keys, shim, bootloader security

Classification, Regression, Clustering, Data Mining

software bill of materials, SBOM, syft, cyclonedx, spdx

Python Linter, Code Formatter, Fast Tooling, Rust Implementation

rails, ActiveRecord, Ruby, RubyGems