Encyclopedia

snark

Also found in: Dictionary, Acronyms, Wikipedia.

snark

[Lewis Carroll, via the Michigan Terminal System] 1. A system failure. When a user's process bombed, the operator would get the message "Help, Help, Snark in MTS!"

2. More generally, any kind of unexplained or threatening event on a computer (especially if it might be a boojum). Often used to refer to an event or a log file entry that might indicate an attempted security violation. See snivitz.

3. UUCP name of snark.thyrsus.com, home site of the Hacker Jargon File versions 2.*.*.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

snark

elusive imaginary animal. [Br. Lit.: The Hunting of the Snark]
See: Quarry
Allusions—Cultural, Literary, Biblical, and Historical: A Thematic Dictionary. Copyright 2008 The Gale Group, Inc. All rights reserved.

SNARK

(Succinct Non-interactive ARgument of Knowledge) An algorithmic method for validating a result without divulging the inputs. A SNARK is typically very computation intensive. See zero-knowledge proof.
Copyright © 1981-2025 by The Computer Language Company Inc. All Rights reserved. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction is strictly prohibited without permission from the publisher.
Mentioned in
References in periodicals archive
A ragbag band of explorers, some colourful and interesting creatures and a boy who overcomes adversity to find his father - and maybe a Snark.
"Freeform kicked booty on a variety of levels," said Ascheim, who wasn't daunted by the Internet snark when the new name was unveiled in October.
Bucky's snark and ever-so-slightly evil schemes are held in check by Satchel's unwitting yet faithful stupidity--or are they?
Especially on serious matters that deserve more nuance and less snark.
He comes without almost any snark, which used to be a modern American late-night talk show host's must-have quality.
Based on the poem by Lewis Carroll "The Hunting of the Snark", Gardner [16] introduced the name snark for nontrivial cubic graphs that are not 3-edge-colorable, without giving a precise definition for "nontrivial".
In this paper we will show that the property of being a snark can be combined with being Type 2.
Co-directors Bobby and Peter Farrelly adore their characters and are trying to give fans what they want: The nostalgic joy of an unfussy reunion, devoid of modern snark or meta commentary.
This is covered in the next article in the series, 'Seeking the Snarks' -- (the snark is a mythical and hard to find creature in Lewis Carol's poem by the same name).
He was the author of a number of notable theorem-proving systems, including the very fast Prolog Technology Theorem Prover and SNARK (SRI's New Automated Reasoning Kit).
Copyright © 2003-2025 Farlex, Inc Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.