edgepedia

Technology and the built world

61,984 articles

Prometheus (company)

Prometheus Group is a privately held American software company, founded in 1998 and headquartered in Raleigh, North Carolina, that develops enterprise asset management software for industries such as oil and gas and utilities.

Prometheus (software)

Prometheus is an open-source metrics monitoring and alerting system with a multidimensional time-series data model and the PromQL query language, started at SoundCloud in 2012 and now the default metrics layer for Kubernetes.

Promigas Pipeline Network

The Promigas Pipeline Network is the natural gas transportation system operated by Promigas, a Colombian utility founded in 1974 and headquartered in Barranquilla, carrying about 56% of Colombia's gas.

Promiscuous mode

Promiscuous mode is a network interface mode in which the hardware address filter is switched off, so the host receives every packet, used chiefly for packet capture.

Promobot

Promobot (ООО «Промобот») is a Russian service-robotics manufacturer based in Perm, founded in 2015, whose Promobot V.4 robots work in banks, museums, and airports worldwide.

ProModel

ProModel is a discrete-event simulation software product used to model and improve manufacturing, logistics, healthcare, and defense systems, created in Orem, Utah, in 1988 by Dr. Charles Harrell.

Prompt engineering

Prompt engineering is the practice of crafting and optimizing the prompts given to large language models, choosing wording, formatting, and examples so the model produces useful output.

Prompt injection

Prompt injection is an attack on large language model systems in which crafted input overrides the model's intended instructions, ranked first in OWASP's 2025 LLM Top 10.

Prompt injection defenses and spotlighting

Prompt injection defenses stop untrusted text in an LLM's inputs, such as retrieved web pages, from being executed as instructions; spotlighting is a Microsoft prompt-engineering defense.

Prompt tuning

Prompt tuning is a parameter-efficient fine-tuning method, introduced at Google in 2021, that learns a trainable soft prompt prepended to a frozen pre-trained language model.

Prompt-to-Prompt

Prompt-to-Prompt (P2P) is a 2022 image editing framework for diffusion models, introduced at ICLR 2023, that edits images by changing only the text prompt while preserving the original layout via cross-attention maps.

Promptfoo

Promptfoo is an open-source command-line tool and library for testing large language model applications, such as agents and retrieval-augmented generation systems, and red-teaming them for security vulnerabilities.

Pronunciation lexicon

A pronunciation lexicon maps words and short phrases to their pronunciations for speech recognition and text-to-speech engines; the best-known English one is the CMU Pronouncing Dictionary.

Proof complexity

Proof complexity is the study of the sizes of propositional proofs, asking whether every tautology has a short proof or some require exponential length; it began with Tseitin in 1966.

Proof of concept

A proof of concept (POC), also called proof of principle, is a small realization of an idea built to demonstrate it is feasible, preceding prototype and pilot stages.

Proof of stake

Proof of stake (PoS) is a blockchain consensus mechanism in which validators lock up a stake that can be destroyed for dishonesty, used by Ethereum, Cardano, and Solana.

Proof of work

Proof of work (PoW) is a scheme requiring costly computation that others can verify cheaply, securing blockchains like Bitcoin and first proposed against email spam in 1992.

Proof test

A proof test is an acceptance test that loads a structure or component above its expected service load to demonstrate structural integrity and screen out defective parts.

Proofreading

Proofreading is the final quality check before publication, following copyediting, in which a reader marks residual spelling, grammar, and layout errors on the typeset proof without rewriting the content.

Propane dehydrogenation

Propane dehydrogenation (PDH) is an industrial catalytic process converting propane into propylene and hydrogen, an on-purpose propylene route that reached 12% of world production in 2019.

Propane heat pump

A propane heat pump is a heat pump using propane, or R290, as its refrigerant instead of synthetic fluorinated gases, cutting climate impact but requiring safety measures for its flammability.

PropBank

PropBank (the Proposition Bank) is an English corpus annotated with predicate-argument structure, adding semantic role labels to the Penn Treebank's trees; it was created by Martha Palmer, Daniel Gildea, and Paul Kingsbury.

Propellant

A propellant is a substance or combination of substances that a rocket expends to produce thrust, including solid, liquid, and hybrid types, monopropellants, and expelled gases.

Propeller

A propeller is a rotating set of airfoil-shaped blades that converts engine rotational power into thrust by accelerating air or water backward, driving most small aircraft and ships.

Propeller Platform (software)

The Propeller Platform is a cloud-based drone survey processing and worksite measurement platform developed by Propeller Aero, founded in Sydney in 2014, for civil construction, mining, and aggregates.

Propeller slipstream

The propeller slipstream is the accelerated, swirling column of fluid behind a ship's propeller or aircraft propeller, carrying energy that propulsive-efficiency devices try to recover.

Property list

A property list, commonly called a plist, is a hierarchical data format used across Apple's macOS and iOS for preferences, application configuration, and bundle metadata such as Info.plist.

Property Specification Language

Property Specification Language (PSL) is a formal language for specifying temporal properties, or assertions, of digital hardware designs, standardized as IEEE Std 1850. Based on IBM's Sugar language, it works with VHDL, Verilog, SystemVerilog, and SystemC.

Property-based testing

Property-based testing is a software testing approach in which developers state general properties a program should satisfy, and tools check them against large numbers of generated inputs.

ProPetro

ProPetro Holding Corp. is a Midland, Texas-based oilfield services company founded in 2005 that provides hydraulic fracturing, wireline, cementing, and power generation services to producers in the Permian Basin.