Search references for SNARK. Phrases containing SNARK
See searches and references containing SNARK!SNARK
Topics referred to by the same term
Look up Snark or snark in Wiktionary, the free dictionary. Snark may refer to: Snark (Lewis Carroll), a fictional animal species in Lewis Carroll's The
Snark
Cryptographic primitive
the zk-SNARK protocol, an acronym for zero-knowledge succinct non-interactive argument of knowledge. The first widespread application of zk-SNARKs was in
Non-interactive zero-knowledge proof
Non-interactive_zero-knowledge_proof
Subreddits dedicated to gossip about public figures
Snark subreddits are user-created communities on the social platform Reddit (known as subreddits) created to gossip about and express frustration toward
Snark_subreddits
1876 nonsense poem by Lewis Carroll
The Hunting of the Snark, subtitled An Agony, in Eight Fits, is a poem by the English writer Lewis Carroll. It is typically categorised as a nonsense
The_Hunting_of_the_Snark
Surface-to-surface cruise missile
SM-62 Snark was an early intercontinental range ground-launched cruise missile that could carry a W39 thermonuclear warhead. Though the Snark was in
SM-62_Snark
3-regular graph with no 3-edge-coloring
In the mathematical field of graph theory, a snark is an undirected graph with exactly three edges per vertex whose edges cannot be colored with only
Snark_(graph_theory)
Proposed form of notation used to denote irony or sarcasm in text
placed after the period. Cunningham called this a snark and it is sometimes referred to as a snark mark. Cunningham suggested that font designers should
Irony_punctuation
Small, inexpensive, and lightweight sailboat
The Snark is a line of lightweight sailboats, at its introduction a two-person, lateen-rigged sailboat manufactured and marketed by Meyers Boat Company
Snark_sailboat
Infinite family of graphs
graph theory, the flower snarks form an infinite family of snarks introduced by Rufus Isaacs in 1975. As snarks, the flower snarks are connected, bridgeless
Flower_snark
Musical by Mike Batt
The Hunting of the Snark is a musical based on Lewis Carroll's 1876 poem The Hunting of the Snark, written by composer Mike Batt. The musical began life
The Hunting of the Snark (musical)
The_Hunting_of_the_Snark_(musical)
British author and scholar (1832–1898)
logic, and fantasy. His poems Jabberwocky (1871) and The Hunting of the Snark (1876) are classified in the genre of literary nonsense. Some of Alice's
Lewis_Carroll
Snark with 50 vertices and 75 edges
graph theory, the Watkins snark is a snark with 50 vertices and 75 edges. It was discovered by John J. Watkins in 1989. As a snark, the Watkins graph is a
Watkins_snark
Installations of the US Air Force in Maine
Interesting Night with the Snark". "SNARK". oocities.org. Retrieved 12 September 2015. "Plans for Construction Bidding on Presque Isle Snark Base Within a Week"
Presque_Isle_Air_Force_Base
SNARK, (SRI's New Automated Reasoning Kit), is a theorem prover for multi-sorted first-order logic intended for applications in artificial intelligence
SNARK_(theorem_prover)
Szekeres snark with 50 tops and 75 edges
the Szekeres snark is a snark with 50 vertices and 75 edges. It was the fifth known snark, discovered by George Szekeres in 1973. As a snark, the Szekeres
Szekeres_snark
1911 book by Jack London
Snark is a 1911 illustrated non-fiction book by Jack London chronicling his sailing adventure in 1907 across the south Pacific in his ketch the Snark
The_Cruise_of_the_Snark
Sharp, bitter remark
sarcasm that is not ironic. By contrast, more recent proposals, such as the snark mark, or the use of the following tilde are specifically intended to denote
Sarcasm
New Zealand homebuilt aircraft
The Barber Snark is an innovative two-seat microlight aircraft, designed and built in New Zealand by Bill Barber.[unreliable source?] Bill's first attempt
Barber_Snark
Patrol vessel of the United States Navy
USS Snark (SP-1291) was a United States Navy patrol vessel in commission from 1917 to 1919. Snark was built in 1917 by the Herreshoff Manufacturing Company
USS_Snark
snark is a snark with 30 vertices and 45 edges. In 1975, Rufus Isaacs introduced two infinite families of snarks—the flower snark and the BDS snark,
Double-star_snark
Proving validity without revealing other data
(e.g., zk-SNARK) protocols can be broadly categorized in the following four categories: Succinct Non-Interactive ARguments of Knowledge (SNARK), Scalable
Zero-knowledge_proof
Fictional creature from Lewis Carroll's "Through the Looking-Glass"
The Hunting of the Snark. Although neither work describes the appearance of a bandersnatch in great detail, in The Hunting of the Snark, it has a long neck
Bandersnatch
mathematical field of graph theory, a Descartes snark is an undirected graph with 210 vertices and 315 edges. It is a snark, a graph with three edges at each vertex
Descartes_snark
2010 New Zealand film
Russian Snark is a 2010 New Zealand film directed and written by Stephen Sinclair and produced by Liz DiFiore. The film features Stephen Papps, Elena
Russian_Snark
Blanuša snark (first) Blanuša snark (second) Double-star snark Flower snark Loupekine snark (first) Loupekine snark (second) Szekeres snark Tietze graph
List_of_graphs
Passenger ferry built in 1938 in Scotland
MV The Second Snark is a small passenger ferry, built in 1938 by William Denny of Dumbarton, later operated by Clyde Marine Services on the Firth of Clyde
MV_The_Second_Snark
Type of graph
In graph theory, the Loupekine snarks are an infinite family of snarks, graphs with three edges per vertex that cannot be partitioned into three perfect
Loupekine_snark
Two 3-regular graphs with 18 vertices and 27 edges
named after him. When discovered, only one snark was known—the Petersen graph. As snarks, the Blanuša snarks are connected, bridgeless cubic graphs with
Blanuša_snarks
Topics referred to by the same term
in Lewis Carroll's nonsense poem The Hunting of the Snark; a particularly dangerous kind of snark Jud Wilson (Jud "Boojum" Wilson), American baseball
Boojum
American brand of menthol cigarettes
payment. KOOL sales re "Sea Snark" display rose enough to more than cover the display payment and cost. KOOL's Sea Snark promotion was repeated in 1972
Kool_(cigarette)
becomes one of the main characters in the sequel, Closing Time. Corporal Snark – The mess sergeant before Milo Minderbinder. He was demoted for purposely
List_of_Catch-22_characters
British actor (born 1967)
Simon Davison's 2023 adaptation of Lewis Carroll's 'The Hunting of the Snark'. Tikaram provided voice acting for the character of Gabe Weller in the
Ramon_Tikaram
American wildlife rehabilitator and YouTuber
role of "snark subreddits", communities on Reddit dedicated to harassing and spreading rumors about a subject, in Raines's suicide. A snark subreddit
Mikayla_Raines
Fictional character by Lewis Carroll
the Snark" (1876). In "Jabberwocky," the only detail given about the bird is that the protagonist should "beware" it. In The Hunting of the Snark, however
Jubjub_bird
Japanese manga series
Shingeki no Kyojin Kui Naki Sentaku) is a Japanese manga series written by Gun Snark and illustrated by Hikaru Suruga, based on a visual novel of the same name
Attack_on_Titan:_No_Regrets
Nonsense poem by Lewis Carroll
pronounce 'rath' to rhyme with 'bath'." In the Preface to The Hunting of the Snark, Carroll wrote, "[Let] me take this opportunity of answering a question
Jabberwocky
British WW1 triplane fighter aircraft
The Sopwith Snark was a British prototype fighter aircraft designed and built towards the end of the First World War to replace the RAF's Sopwith Snipes
Sopwith_Snark
1977 novel by Gregory Benford
JPL team locates the Snark around Venus. Nigel hijacks the communications, transmitting his own signal to the Snark. The Snark receives the signal as
In_the_Ocean_of_Night
English musical group
Tomorrow, they appeared in the 1967 film Smashing Time under the name of the Snarks. Bassist Junior (real name John Wood) was ill during shooting of the film
Tomorrow_(band)
1865 children's novel by Lewis Carroll
Carpenter" "Haddocks' Eyes" "The Mock Turtle's Song" The Hunting of the Snark Related Alice Liddell Alice syndrome Alice's Shop Illustrators John Tenniel
Alice's Adventures in Wonderland
Alice's_Adventures_in_Wonderland
Former website
an episode's events, which the site referred to as "snark". Their official motto is "Spare the snark, spoil the networks", a takeoff on "spare the rod,
Television_Without_Pity
Military rocket launch site in Florida
for the Snark missile program. The first launch from this site was a Snark test conducted on February 18, 1954. The complex was used for Snark missions
Cape Canaveral Space Force Station
Cape_Canaveral_Space_Force_Station
Thermonuclear warhead
lacked its parachute, fins, and "false" nose. It was used on the SM-62 Snark missile, PGM-11 Redstone short-range ballistic missile, and in the B-58
Mark_39_nuclear_bomb
Film by Tim Burton
Carpenter" "Haddocks' Eyes" "The Mock Turtle's Song" The Hunting of the Snark Related Alice Liddell Alice syndrome Alice's Shop Illustrators John Tenniel
Alice in Wonderland (2010 film)
Alice_in_Wonderland_(2010_film)
Scottish singer (born 1956)
next 27 years. She has also worked with Mike Batt (on his Hunting of the Snark album), Jack Bruce, Dave Greenfield & Jean-Jacques Burnel, Nick Mason &
Maggie_Reilly
1978 film by David Greene
commanding officers. A small experimental submersible, Snark, is brought in to assist with the rescue. Snark is very capable, but run by a U.S. Navy officer
Gray_Lady_Down
Hunting the Snark is a compendium of poetic terminology that mirrored American contemporary poetry of nineteen seventies and eighties written by Robert
Hunting_the_Snark
Cycles in a graph that cover each edge twice
It turns out that snarks form the only difficult case of the cycle double cover conjecture: if the conjecture is true for snarks, it is true for any
Cycle_double_cover
English musician, photographer, and philanthropist (born 1963)
Lennon appeared as the Baker in Mike Batt's musical The Hunting of the Snark (based on Lewis Carroll's poem). The all-star lineup included Roger Daltrey
Julian_Lennon
The de Bruyne DB-2 Snark was a British experimental four-seat cabin monoplane designed by N. A de Bruyne and built by Aero Research Limited (ARL) of Cambridgeshire
De_Bruyne_Snark
Video game franchise
Carpenter" "Haddocks' Eyes" "The Mock Turtle's Song" The Hunting of the Snark Related Alice Liddell Alice syndrome Alice's Shop Illustrators John Tenniel
Kingdom_Hearts
American musician (born 1969)
him a target, both of mass-culture disdain and of superior alt-culture snark. All that was by design. He put himself out there to take those attacks
Marilyn_Manson
2000 anthology by S. M. Stirling
Drakas! is a science fiction anthology, containing stories set in S. M. Stirling's alternate history series The Domination. The anthology was released
Drakas!
English singer-songwriter and director (born 1949)
the song is still used in the stage version. The album The Hunting of the Snark, based on Lewis Carroll's poem, was recorded in 1984. However, the album
Mike_Batt
American thermonuclear bomb
Before cancellation, it had been intended for use on the SM-62 Snark missile. Instead, the Snark ended up using the W39 (see below). The W39 nuclear warhead
Mark_15_nuclear_bomb
2021 political satirical comedy film
Carpenter" "Haddocks' Eyes" "The Mock Turtle's Song" The Hunting of the Snark Related Alice Liddell Alice syndrome Alice's Shop Illustrators John Tenniel
Alice,_Through_the_Looking
US lightweight low-cost fighter aircraft
Fang Freedom Fighter Gamma Hornet Nomad Pioneer Raider Reporter Scorpion Snark Spirit Talon Tigershark See also: TR-3 v t e United States Air Force system
Northrop_F-5
Marvel Comics superhero team
planet from the alien conquerors known as the Zn'rx (also known as the Snarks). The children band together as the superhero team Power Pack. Along with
Power_Pack
2025 film by Osgood Perkins
for a "lack of dramatic coherence". He argued that the film's irony and snark undermine any intended commentary about parenthood or death, comparing it
The_Monkey_(film)
French poet (1897–1982)
of their own, and Aragon published his translation of The Hunting of the Snark in 1929, "shortly before he completed his transition from Snarxism to Marxism"
Louis_Aragon
American superhero television series (2023–2025)
(September 27, 2023). "'Gen V' Review: Amazon's 'The Boys' Spinoff Refreshes the Snark-and-Gore Formula". The Hollywood Reporter. Archived from the original on
Gen_V
New Zealand playwright, screenwriter and novelist
Rings: The Two Towers. He also wrote and directed the feature film Russian Snark, which premiered at the 2010 New Zealand Film Festival in Auckland, and
Stephen_Sinclair
American aircraft manufacturer (1939–1994)
experimental flying wing bombers, the F-89 Scorpion interceptor, the SM-62 Snark intercontinental cruise missile, and the F-5 Freedom Fighter economical
Northrop_Corporation
Topics referred to by the same term
Lewis Carroll's novel Through the Looking-Glass and poem The Hunting of the Snark. Bandersnatch may also refer to: Bandersnatch (Known Space), a sluglike
Bandersnatch_(disambiguation)
2025 Indian film
"Detective Sherdil review: Diljit Dosanjh leads a sleuth story with style, snark, and suspense lite". OTT Play. Retrieved 20 June 2025. Pande, Shreyas (20
Detective_Sherdil
American actress (born 1969)
heroine epitomized by Rosalind Russell, is miscast in a role that demands snark, not sleepy-eyed sweetness". In the western Appaloosa (2008), Zellweger
Renée_Zellweger
Japanese manga series and franchise
(進撃の巨人 悔いなき選択, Shingeki no Kyojin: Kuinaki Sentaku). It was written by Gun Snark and illustrated by Hikaru Suruga. It focuses on the origins of Levi Ackerman
Attack_on_Titan
American writer (1871–1955)
Alone Around the World, they decided to repeat the journey. The trip on the Snark, designed by Jack, went only to Australia, yet provided the material for
Charmian_London
American actress (born 1996)
2024). "My Lady Jane's Emily Bader Says 'Brooding' Edward Bluemel Had 'Snark and Charm' to Play Her Love Interest (Exclusive)". People. Retrieved September
Emily_Bader
American actor, animator, filmmaker, and singer (born 1973)
"This year's Academy Awards: a lively, occasionally uneasy mixture of snark and sincerity". Entertainment Weekly. Archived from the original on June
Seth_MacFarlane
American artificial intelligence researcher
incorporated into the design of Mark Stickel's SNARK theorem prover. NASA researchers, led by Mike Lowry, used SNARK in the implementation of the software-development
Richard_Waldinger
Canceled cruise missile project
determined to be too ambitious given technical difficulties with the SM-62 Snark which it was planned to follow, and it was canceled in 1951. As part of
SSM-A-5_Boojum
YouTube channel
"King James" by fans. Many of their subscribers are also part of "fundie snark" subreddits. Religion News Service described Fundie Fridays as a "subculture
Fundie_Fridays
Upcoming 2026 film
Carpenter" "Haddocks' Eyes" "The Mock Turtle's Song" The Hunting of the Snark Related Alice Liddell Alice syndrome Alice's Shop Illustrators John Tenniel
Descendants: Wicked Wonderland
Descendants:_Wicked_Wonderland
US Air Force formation
Air Commando Group (1944–1945); the 702nd Strategic Missile Wing (ICBM-Snark) (1959–1961) and the 39th Aerospace Rescue and Recovery (later Special Operations)
352nd_Special_Operations_Wing
Undirected cubic graph with 12 vertices and 18 edges
of the definition of a snark: it is a cubic bridgeless graph that is not 3-edge-colorable. However, most authors restrict snarks to graphs without 3-cycles
Tietze's_graph
Type of divorce
Martin. Tracy Schorn commented that the term was being received with "the snark and derision it so rightly deserves." Cherelus, Gina (2023-09-25). "Everyone's
Conscious_uncoupling
1960 book by Martin Gardner
compiled a companion volume, The Annotated Snark, dedicated to Carroll's classic nonsense poem The Hunting of the Snark. In 2015, The Annotated Alice: 150th
The_Annotated_Alice
2008 romantic comedy film
noted it as a turning point in the career of Ryan Reynolds as he "traded snark for sincerity." Siede said the plot was "essentially How I Met Your Mother
Definitely,_Maybe
Nautical terms for direction
rhymed larboard and starboard in "Fit the Second" of The Hunting of the Snark (1876). The navigational treaty convention, the International Regulations
Port_and_starboard
Historic Place in Hawaii County, Hawaii
August and September 1907, while his boat The Snark was being repaired. London's book The Cruise of the Snark (1911) is based on this journey. In the early
W._H._Shipman_House
2020 Italian film
Carpenter" "Haddocks' Eyes" "The Mock Turtle's Song" The Hunting of the Snark Related Alice Liddell Alice syndrome Alice's Shop Illustrators John Tenniel
Alice and the Land that Wonders
Alice_and_the_Land_that_Wonders
Fictional character in 1865 novel
Carpenter" "Haddocks' Eyes" "The Mock Turtle's Song" The Hunting of the Snark Related Alice Liddell Alice syndrome Alice's Shop Illustrators John Tenniel
Caterpillar (Alice's Adventures in Wonderland)
Caterpillar_(Alice's_Adventures_in_Wonderland)
Australian comedy-drama television series
his eye injured and the biker he is fighting has his nose bitten into, he snarks "nice eye" and Ray retorts with "nice face". 17 11 "There Rust, and Let
Mr_Inbetween
Australian actor (born 1968)
April 2016). "Ricky Gervais' media satire Special Correspondents is all snark, no bite". AV Club. Archived from the original on 1 January 2021. Retrieved
Eric_Bana
New Zealand actress
Birthday 2 You (2000) as Donna Heka Rude Awakenings (1 episode, 2007) Russian Snark (2010) as Roseanna Rest for the Wicked (2011) as Renata Blue Murder Motel
Stephanie_Tauevihi
One-design sailing dinghy
RS400 RS500 RS600 RS700 RS800 Sabre Scorpion Skimmer Skipjack 15 Skunk 11 Snark Snowbird Solo Speedball 14 Spindrift 13 Spiral Splash Streaker Sunburst
Laser_(dinghy)
1932 stage adaptation of Lewis Carroll's novels
Carpenter" "Haddocks' Eyes" "The Mock Turtle's Song" The Hunting of the Snark Related Alice Liddell Alice syndrome Alice's Shop Illustrators John Tenniel
Alice in Wonderland (Le Gallienne and Friebus)
Alice_in_Wonderland_(Le_Gallienne_and_Friebus)
Retired: Snark, Matador, Aerostat 28°27′54″N 80°32′15″W / 28.46500°N 80.53750°W / 28.46500; -80.53750 (LC-1) Launch Complex 2 Inactive Retired: Snark, Matador
List of Cape Canaveral and Merritt Island launch sites
List_of_Cape_Canaveral_and_Merritt_Island_launch_sites
Cubic graph with 10 vertices and 15 edges
the Petersen graph is a snark. It is the smallest possible snark, and was the only known snark from 1898 until 1946. The snark theorem, a result conjectured
Petersen_graph
Species of flowering plant
Tucson, Arizona, and is taken from Lewis Carroll's poem "The Hunting of the Snark". This plant is a columniform, upwardly tapering tree. The central axis
Fouquieria_columnaris
Military unit
SM-62 Snark in Florida. Later moving to Maine as an operational unit, it was inactivated in 1959 when Strategic Air Command reorganized its Snark missile
556th Strategic Missile Squadron
556th_Strategic_Missile_Squadron
2024 American musical teen fantasy comedy
Carpenter" "Haddocks' Eyes" "The Mock Turtle's Song" The Hunting of the Snark Related Alice Liddell Alice syndrome Alice's Shop Illustrators John Tenniel
Descendants:_The_Rise_of_Red
International forestry fraternal order
president or Snark of the Universe. The names for some of the order's officers were inspired by Lewis Carroll's The Hunting of the Snark, which had recently
Concatenated_Order_of_Hoo-Hoo
Inspirational phrase sent before the Battle of Trafalgar
itself continually disappointed. In Lewis Carroll's The Hunting of the Snark, the Bellman says: For England Expects – I forbear to proceed. Tis a maxim
England expects that every man will do his duty
England_expects_that_every_man_will_do_his_duty
Canadian actress (born 2001)
com/culture/tvandradioblog/2014/nov/28/grumpy-cats-worst-christmas-ever-snark-meets-schmaltz Leiren-Young, Mark (October 3, 2013). "Vancouver actor's
Megan_Charpentier
World's atomic warhead designs, 1945–present
Demolition Munition (1965–1989) Missile and Rocket warheads W4 for SM-62 Snark cruise missile (cancelled 1951) W5 for MGM-1 Matador cruise missile (1954–1963)
List_of_nuclear_weapons
American actor (born 2009)
with Aramide Tinubu of Variety praising him for playing Percy with "a snark and cynicism that perfectly encapsulates the experiences of a defiant boy
Walker_Scobell
2026 animated film
Mario and the rest of the cast firing off frenetic fast-paced gags and snark is still exhausting and comes off flat," criticizing the over-stuffed pacing
The_Super_Mario_Galaxy_Movie
Urbanist YouTube channel
in Ontario, Canada, in what he calls Fake London with no small amount of snark. (He and his young family have relocated to the Netherlands, specifically
Not_Just_Bikes
SNARK
SNARK
SNARK
SNARK
Male
Greek
(Î Ïοκόπιος) Greek name derived from the word prokope, PROKOPIOS means "advance, progress."
Boy/Male
Hindu, Indian, Marathi, Telugu, Traditional
One with a Bell Around his Neck
Boy/Male
Hindu
Unassuming, Knowledgeable, Modest, Venus, Requester
Girl/Female
Hindu, Indian
Joy
Girl/Female
Hindu, Indian
Mythological Flower
Girl/Female
Hindu, Indian
Two Souls
Girl/Female
French, German
Renowned in Battle; Form of Louise
Girl/Female
Muslim
As in May you always live
Male
Egyptian
, a surname of Rameses IV.
Male
Dutch
, God's judge.
SNARK
SNARK
SNARK
SNARK
SNARK