We use privacy-friendly product analytics (no session recording, PII masked) to improve OpenStem. Load analytics? Privacy Policy
Software: explore STEM content (page 15 of 25) · openstem
Explore STEM Content
Search the community's STEM library — free to study, yours to make your own.
Software
Programming, algorithms and systems on openstem — flashcards, notes, quizzes, sketches and flowcharts shared by the community. Study free, or clone anything into your library.
The Pipeline Stages AWS splits CI/CD into three composable services rather than one monolithic tool. CodePipeline orchestrates the stages, CodeBuild compiles and tests, and CodeDeploy rolls the result out to running infrastructure. What Hap
In a 'may' dataflow analysis, how are facts from multiple incoming CFG edges combined at a merge point?
ABy intersection (∩), keeping only facts true on every incoming pathBBy union (∪), keeping facts true on at least one incoming pathCBy discarding all incoming facts and restarting from bottomDBy averaging numeric fact values
Software
Software · L5 · Program Analysis & Abstract Interpretation
AA bug where the outcome depends on the unpredictable timing/interleaving of threads accessing shared stateBAn exception thrown when a thread starts too fastCA compile-time error in multi-threaded codeDA deadlock between two locks
From Text to Searchable Tokens A plain `LIKE '%word%'` search can't rank results and can't skip suffixes or grammatical variants. Postgres full-text search instead normalizes text into lexemes — stemmed, lowercased tokens — so 'running' and
A React framework for building full-stack web apps. It adds file-based routing, server rendering, data fetching, bundling, and a build/deploy toolchain on top of React.
What problem does GraphQL's single-endpoint, client-specified query model primarily solve compared to REST?
AIt removes the need for a schemaBOver-fetching and under-fetching, by letting the client ask for exactly the fields it needs in one requestCIt eliminates the need for authenticationDIt guarantees faster network transport than REST
Why is `counter++` unsafe when called from two threads without synchronization?
AIt is really three steps (read, add, write) that can interleave between threadsBThe `++` operator doesn't exist in most languagesCIntegers can't be shared between threadsDIt only fails on single-core machines
Software
Software · L1 · Concurrency: Protecting Shared State
Generics add compile-time type safety to collections and APIs, eliminating most casts and catching type errors at compile time instead of as runtime ClassCastExceptions. `List<String>` guarantees only Strings go in and come out.
From Credentials to a Trusted Session Every login screen hides a short pipeline: the app takes what a user typed, proves it matches an account, and then hands back something reusable so the user isn't asked to log in on every click. Notice
What exactly does Terraform store in state, beyond a list of resources?1 / 10
A JSON document mapping each resource address to the provider's full attribute snapshot, plus dependency edges, the resource's provider, and a serial/lineage for change tracking. It's the source of truth Terraform diffs against to compute a plan — without it Terraform can't tell what it already manages.
One File, Every Matching Request A `middleware.ts` at the project root runs before a request reaches its matched route — redirecting, rewriting, setting headers/cookies, or gating access based on auth, all before any page or route handler c
What does EXPLAIN ANALYZE tell you that EXPLAIN alone does not?1 / 10
`EXPLAIN ANALYZE` actually executes the query and reports actual row counts, actual execution times, and loop counts alongside planner estimates. `EXPLAIN` alone shows only the estimated plan. Discrepancies between estimated and actual rows signal stale statistics.
One-Way Functions: The Minimal Assumption Modern cryptography is built on computational hardness, not information-theoretic secrecy (with the exception of the one-time pad, which requires a key as long as the message). The foundational prim
Software
Software · L5 · Theoretical Cryptography: Hardness, Pseudorandomness, and Proof
What is a JIT compiler and how does V8 use it?1 / 10
A Just-In-Time compiler compiles JS to native machine code at runtime (not ahead of time). V8 initially interprets with Ignition (the bytecode interpreter), then identifies 'hot' functions and compiles them to optimized native code with TurboFan. This gives JS near-native performance on hot paths.
Why Cache at All A cache trades memory for latency: keeping a copy of expensive-to-compute or expensive-to-fetch data somewhere faster to read than the source of truth. The two design questions that matter most are how reads and writes flow
In GKE, what is the difference between Standard and Autopilot modes?1 / 10
Standard mode lets you manage and pay for nodes directly. Autopilot manages nodes for you, billing per-Pod resource requests, reducing operational overhead and enforcing best-practice defaults.
What is the key structural difference between small-step and big-step operational semantics?
ASmall-step is used only for typed languages; big-step only for untyped languagesBSmall-step defines a single-step relation e → e' composed via →*; big-step defines a direct relation e ⇓ v to the final valueCBig-step semantics can express non-termination directly, small-step cannotDThey differ only in notation and are otherwise formally identical